| case | 92460 | 8644 | 10.243 | 0.001165 | 1801.05089,1801.02259,etc |
| result | 74439 | 8568 | 7.884 | 0.000991 | 1801.05089,1801.02259,etc |
| proof | 75491 | 7034 | 9.484 | 0.001146 | 1801.05875,1801.03931,etc |
| note | 59587 | 6967 | 8.005 | 0.000847 | 1801.03867,1801.05089,etc |
| paper | 43226 | 6960 | 6.305 | 0.00079 | 1801.03867,1801.02259,etc |
| section | 47962 | 6678 | 6.942 | 0.000757 | 1801.03867,1801.02259,etc |
| function | 57886 | 5663 | 10.676 | 0.001755 | 1801.03867,1801.05875,etc |
| use | 37299 | 5636 | 6.138 | 0.000634 | 1801.05089,1801.02259,etc |
| order | 42126 | 5513 | 7.125 | 0.001131 | 1801.03867,1801.05089,etc |
| fact | 35686 | 5296 | 6.324 | 0.000586 | 1801.03931,1801.03557,etc |
| example | 34881 | 5192 | 6.311 | 0.000756 | 1801.03867,1801.05875,etc |
| number | 46621 | 5058 | 9.112 | 0.001537 | 1801.03867,1801.05089,etc |
| point | 55930 | 4909 | 10.533 | 0.001997 | 1801.03867,1801.02259,etc |
| term | 35451 | 4790 | 6.709 | 0.000941 | 1801.03867,1801.05875,etc |
| definition | 34379 | 4722 | 6.76 | 0.000705 | 1801.05875,1801.00246,etc |
| form | 29653 | 4252 | 6.653 | 0.0009 | 1801.06209,1801.02008,etc |
| problem | 35488 | 3956 | 8.092 | 0.001442 | 1801.02259,1801.03931,etc |
| work | 21262 | 3850 | 5.342 | 0.000608 | 1801.00246,1801.02008,etc |
| solution | 44490 | 3774 | 10.213 | 0.001871 | 1801.05875,1801.05411,etc |
| respect | 24649 | 3685 | 6.513 | 0.00078 | 1801.02259,1801.06209,etc |
| value | 25183 | 3623 | 6.518 | 0.001033 | 1801.03867,1801.05089,etc |
| condition | 25289 | 3599 | 7.139 | 0.000974 | 1801.03867,1801.05875,etc |
| item | 32753 | 3501 | 8.577 | 0.001615 | 1801.05875,1801.03931,etc |
| theorem | 21298 | 3457 | 5.686 | 0.000774 | 1801.04773,1801.06209,etc |
| sequence | 28546 | 3285 | 8.052 | 0.001665 | 1801.05089,1801.02259,etc |
| time | 32340 | 3264 | 9.571 | 0.001556 | 1801.05089,1801.02259,etc |
| need | 17617 | 3221 | 5.15 | 0.000471 | 1801.05411,1801.02008,etc |
| property | 19420 | 3136 | 5.708 | 0.000804 | 1801.05875,1801.05411,etc |
| element | 30372 | 3129 | 9.182 | 0.001599 | 1801.03867,1801.00246,etc |
| study | 16348 | 3113 | 5.328 | 0.000635 | 1801.00246,1801.05411,etc |
| equation | 26771 | 3081 | 7.711 | 0.001335 | 1801.02259,1801.05875,etc |
| assumption | 19108 | 2998 | 6.122 | 0.000645 | 1801.05875,1801.03116,etc |
| right | 27329 | 2883 | 8.374 | 0.001883 | 1801.02259,1801.03557,etc |
| space | 24296 | 2776 | 8.212 | 0.001346 | 1801.04773,1801.02749,etc |
| system | 27452 | 2743 | 10.101 | 0.001892 | 1801.02259,1801.00246,etc |
| method | 21930 | 2645 | 7.371 | 0.001345 | 1801.05875,1801.00246,etc |
| map | 31547 | 2562 | 12.059 | 0.001748 | 1801.03867,1801.04773,etc |
| notation | 13013 | 2507 | 5.092 | 0.000401 | 1801.00246,1801.00616,etc |
| parameter | 16932 | 2437 | 6.1 | 0.001098 | 1801.05875,1801.03557,etc |
| lemma | 15171 | 2429 | 5.729 | 0.0007 | 1801.05875,1801.04773,etc |
| construction | 15742 | 2304 | 6.751 | 0.000852 | 1801.04853,1801.02749,etc |
| model | 21273 | 2240 | 8.674 | 0.001527 | 1801.02259,1801.00246,etc |
| equivalent | 11955 | 2201 | 5.179 | 0.000701 | 1801.05875,1801.04773,etc |
| estimate | 20086 | 2159 | 9.41 | 0.001208 | 1801.05875,1801.03557,etc |
| part | 12264 | 2087 | 6.023 | 0.000891 | 1801.05875,1801.00246,etc |
| existence | 12968 | 2053 | 6.536 | 0.000891 | 1801.05875,1801.03116,etc |
| dimension | 14597 | 2043 | 6.375 | 0.001151 | 1801.02749,1801.04658,etc |
| pair | 14316 | 2014 | 6.73 | 0.001085 | 1801.03867,1801.05089,etc |
| class | 14376 | 1951 | 7.64 | 0.001466 | 1801.03867,1801.04773,etc |
| matrix | 16110 | 1933 | 7.85 | 0.001591 | 1801.05089,1801.05875,etc |
| algorithm | 20794 | 1929 | 10.421 | 0.001766 | 1801.05089,1801.04873,etc |
| vector | 12762 | 1910 | 6.621 | 0.001191 | 1801.05089,1801.02259,etc |
| choice | 10382 | 1894 | 5.552 | 0.000472 | 1801.05875,1801.02749,etc |
| way | 9229 | 1867 | 5.193 | 0.00042 | 1801.02749,1801.03191,etc |
| graph | 31675 | 1864 | 15.507 | 0.003952 | 1801.04773,1801.06209,etc |
| edge | 30681 | 1848 | 17.788 | 0.003005 | 1801.05240,1801.06334,etc |
| approach | 10211 | 1841 | 5.349 | 0.000717 | 1801.02259,1801.00246,etc |
| sum | 11572 | 1832 | 6.478 | 0.000999 | 1801.02259,1801.05411,etc |
| degree | 15889 | 1831 | 8.268 | 0.001429 | 1801.05875,1801.00246,etc |
| subset | 11367 | 1799 | 6.128 | 0.000895 | 1801.03867,1801.04773,etc |
| state | 13130 | 1762 | 7.952 | 0.001382 | 1801.02259,1801.01309,etc |
| convergence | 12563 | 1761 | 7.82 | 0.000966 | 1801.05411,1801.04573,etc |
| component | 14383 | 1709 | 8.824 | 0.001208 | 1801.03867,1801.00246,etc |
| sense | 8529 | 1684 | 5.105 | 0.000452 | 1801.02749,1801.05240,etc |
| detail | 7423 | 1676 | 4.325 | 0.000346 | 1801.05875,1801.00246,etc |
| limit | 11547 | 1667 | 6.579 | 0.000789 | 1801.01309,1801.03172,etc |
| boundary | 14329 | 1663 | 8.626 | 0.001164 | 1801.02749,1801.00614,etc |
| vertices | 23006 | 1661 | 13.931 | 0.002956 | 1801.05240,1801.03191,etc |
| family | 12563 | 1634 | 8.67 | 0.001556 | 1801.03867,1801.04573,etc |
| coefficient | 11031 | 1601 | 6.655 | 0.000997 | 1801.00246,1801.06209,etc |
| inequality | 10128 | 1593 | 6.224 | 0.001095 | 1801.03931,1801.01309,etc |
| claim | 9564 | 1589 | 5.479 | 0.00063 | 1801.02749,1801.05624,etc |
| end | 8201 | 1551 | 5.523 | 0.000695 | 1801.05411,1801.03191,etc |
| application | 7202 | 1537 | 4.479 | 0.000472 | 1801.00246,1801.05411,etc |
| instance | 8481 | 1500 | 5.101 | 0.000663 | 1801.02259,1801.02749,etc |
| norm | 10482 | 1497 | 7.71 | 0.001032 | 1801.05875,1801.00246,etc |
| domain | 11221 | 1493 | 7.586 | 0.001136 | 1801.04773,1801.02008,etc |
| size | 10234 | 1488 | 6.829 | 0.001059 | 1801.05089,1801.05875,etc |
| probability | 13868 | 1463 | 9.016 | 0.001232 | 1801.05240,1801.04873,etc |
| argument | 7720 | 1452 | 5.137 | 0.000485 | 1801.03557,1801.02008,etc |
| type | 12580 | 1451 | 7.277 | 0.001576 | 1801.05240,1801.03191,etc |
| vertex | 18786 | 1446 | 13.752 | 0.002722 | 1801.05240,1801.06334,etc |
| length | 10981 | 1441 | 7.722 | 0.001344 | 1801.05089,1801.06209,etc |
| operator | 14487 | 1441 | 9.168 | 0.001748 | 1801.00246,1801.02008,etc |
| distribution | 12213 | 1436 | 9.364 | 0.001399 | 1801.02259,1801.05411,etc |
| set | 9355 | 1415 | 6.19 | 0.001115 | 1801.03867,1801.04773,etc |
| node | 39457 | 1401 | 24.903 | 0.004892 | 1801.03931,1801.00246,etc |
| relation | 9234 | 1394 | 7.276 | 0.001185 | 1801.05875,1801.04573,etc |
| group | 15981 | 1387 | 8.303 | 0.002514 | 1801.05089,1801.06334,etc |
| formula | 9637 | 1387 | 6.394 | 0.001302 | 1801.04573,1801.02920,etc |
| analysis | 7451 | 1377 | 5.5 | 0.000599 | 1801.05875,1801.01309,etc |
| integer | 8187 | 1369 | 5.23 | 0.00111 | 1801.05411,1801.04262,etc |
| notion | 8176 | 1362 | 6.167 | 0.000689 | 1801.05240,1801.03191,etc |
| addition | 6638 | 1358 | 4.689 | 0.000475 | 1801.00246,1801.03557,etc |
| notice | 8809 | 1342 | 6.11 | 0.000666 | 1801.01875,1801.04873,etc |
| action | 14237 | 1332 | 8.657 | 0.001525 | 1801.02259,1801.00246,etc |
| proposition | 7278 | 1322 | 5.578 | 0.000548 | 1801.03116,1801.05106,etc |
| statement | 7201 | 1322 | 5.303 | 0.000553 | 1801.03867,1801.06209,etc |
| image | 10258 | 1313 | 8.242 | 0.000937 | 1801.03881,1801.03359,etc |
| structure | 8828 | 1264 | 8.298 | 0.0013 | 1801.03379,1801.02749,etc |
|