| case | 102250 | 9322 | 10.158 | 0.001185 | 2001.00001,2001.00013,etc |
| result | 84341 | 9297 | 8.367 | 0.001013 | 2001.00001,2001.00036,etc |
| proof | 85703 | 7677 | 10.422 | 0.001189 | 2001.00037,2001.00042,etc |
| note | 66909 | 7500 | 8.265 | 0.000832 | 2001.00001,2001.00036,etc |
| paper | 46139 | 7394 | 5.979 | 0.000768 | 2001.00001,2001.00037,etc |
| section | 53784 | 7355 | 7.161 | 0.000747 | 2001.00001,2001.00037,etc |
| use | 42435 | 6271 | 6.718 | 0.000608 | 2001.00001,2001.00037,etc |
| function | 62213 | 6159 | 9.584 | 0.001656 | 2001.00001,2001.00036,etc |
| order | 46689 | 5913 | 8.391 | 0.001079 | 2001.00037,2001.00045,etc |
| fact | 38983 | 5680 | 6.606 | 0.00059 | 2001.00001,2001.00037,etc |
| example | 37832 | 5591 | 6.831 | 0.000758 | 2001.00001,2001.00036,etc |
| number | 52532 | 5496 | 9.467 | 0.001572 | 2001.00001,2001.00042,etc |
| point | 61446 | 5288 | 10.573 | 0.002036 | 2001.00001,2001.00036,etc |
| term | 40151 | 5204 | 7.369 | 0.00085 | 2001.00001,2001.00045,etc |
| definition | 39272 | 5132 | 7.536 | 0.000705 | 2001.00001,2001.00037,etc |
| form | 33144 | 4690 | 6.98 | 0.000875 | 2001.00001,2001.00037,etc |
| work | 25213 | 4467 | 5.663 | 0.000607 | 2001.00001,2001.00045,etc |
| problem | 39830 | 4384 | 9.72 | 0.001472 | 2001.00001,2001.00063,etc |
| solution | 51531 | 4285 | 12.448 | 0.001807 | 2001.00013,2001.00063,etc |
| respect | 28508 | 4095 | 6.578 | 0.000858 | 2001.00036,2001.00037,etc |
| value | 28151 | 3957 | 7.178 | 0.001008 | 2001.00001,2001.00036,etc |
| condition | 28393 | 3921 | 6.85 | 0.000978 | 2001.00036,2001.00037,etc |
| item | 38497 | 3897 | 9.007 | 0.001765 | 2001.00037,2001.00042,etc |
| theorem | 22422 | 3680 | 6.15 | 0.000816 | 2001.00042,2001.00045,etc |
| time | 35339 | 3626 | 10.657 | 0.001348 | 2001.00001,2001.00046,etc |
| study | 19584 | 3571 | 5.692 | 0.000674 | 2001.00001,2001.00045,etc |
| element | 34587 | 3541 | 9.321 | 0.001446 | 2001.00001,2001.00036,etc |
| need | 19533 | 3538 | 5.593 | 0.000466 | 2001.00001,2001.00037,etc |
| sequence | 30170 | 3479 | 8.462 | 0.001625 | 2001.00001,2001.00037,etc |
| property | 21118 | 3434 | 5.893 | 0.000756 | 2001.00037,2001.00042,etc |
| equation | 31615 | 3370 | 9.287 | 0.001532 | 2001.00013,2001.00092,etc |
| assumption | 20689 | 3250 | 6.302 | 0.000647 | 2001.00037,2001.00042,etc |
| right | 30541 | 3222 | 8.591 | 0.001597 | 2001.00001,2001.00045,etc |
| system | 33138 | 3105 | 9.716 | 0.002044 | 2001.00045,2001.00073,etc |
| space | 26392 | 3023 | 8.398 | 0.001304 | 2001.00001,2001.00013,etc |
| method | 24878 | 2959 | 8.203 | 0.001434 | 2001.00001,2001.00045,etc |
| notation | 14878 | 2800 | 5.522 | 0.000384 | 2001.00001,2001.00042,etc |
| map | 34364 | 2750 | 10.976 | 0.001675 | 2001.00001,2001.00036,etc |
| parameter | 18986 | 2691 | 6.667 | 0.000987 | 2001.00013,2001.00036,etc |
| lemma | 16011 | 2589 | 5.736 | 0.000668 | 2001.00037,2001.00042,etc |
| model | 23293 | 2506 | 9.25 | 0.001464 | 2001.00036,2001.00045,etc |
| construction | 16563 | 2484 | 6.337 | 0.000728 | 2001.00037,2001.00045,etc |
| equivalent | 13622 | 2468 | 5.011 | 0.00061 | 2001.00001,2001.00045,etc |
| estimate | 22737 | 2420 | 8.975 | 0.001123 | 2001.00093,2001.00152,etc |
| part | 13470 | 2266 | 6.734 | 0.000736 | 2001.00001,2001.00037,etc |
| dimension | 16066 | 2257 | 6.906 | 0.000993 | 2001.00001,2001.00036,etc |
| existence | 13884 | 2253 | 5.175 | 0.001015 | 2001.00001,2001.00045,etc |
| choice | 12604 | 2252 | 5.417 | 0.000522 | 2001.00001,2001.00037,etc |
| pair | 15687 | 2246 | 6.05 | 0.001135 | 2001.00001,2001.00037,etc |
| algorithm | 23437 | 2225 | 9.753 | 0.001669 | 2001.00046,2001.00073,etc |
| approach | 12187 | 2205 | 5.531 | 0.000762 | 2001.00001,2001.00036,etc |
| class | 16727 | 2186 | 8.026 | 0.001614 | 2001.00037,2001.00042,etc |
| way | 10615 | 2152 | 4.843 | 0.000508 | 2001.00001,2001.00046,etc |
| matrix | 17884 | 2146 | 7.374 | 0.001461 | 2001.00046,2001.00073,etc |
| vector | 14437 | 2137 | 6.829 | 0.001011 | 2001.00001,2001.00045,etc |
| state | 14926 | 2063 | 8.018 | 0.001221 | 2001.00001,2001.00037,etc |
| convergence | 15074 | 2025 | 8.11 | 0.001001 | 2001.00152,2001.00169,etc |
| degree | 17081 | 1972 | 8.797 | 0.00152 | 2001.00001,2001.00013,etc |
| component | 17165 | 1955 | 8.711 | 0.001502 | 2001.00037,2001.00042,etc |
| subset | 12485 | 1952 | 6.914 | 0.000995 | 2001.00001,2001.00037,etc |
| detail | 8694 | 1940 | 4.305 | 0.000349 | 2001.00036,2001.00045,etc |
| edge | 34183 | 1920 | 17.752 | 0.003069 | 2001.00037,2001.00042,etc |
| sum | 12054 | 1872 | 6.755 | 0.001033 | 2001.00001,2001.00046,etc |
| claim | 11992 | 1869 | 5.214 | 0.00058 | 2001.00037,2001.00042,etc |
| graph | 34691 | 1850 | 18.137 | 0.003958 | 2001.00037,2001.00042,etc |
| sense | 9469 | 1841 | 5.142 | 0.000441 | 2001.00001,2001.00045,etc |
| family | 13062 | 1823 | 6.095 | 0.001201 | 2001.00013,2001.00045,etc |
| boundary | 15656 | 1816 | 7.962 | 0.001199 | 2001.00176,2001.00298,etc |
| application | 8648 | 1816 | 5.038 | 0.000496 | 2001.00001,2001.00036,etc |
| inequality | 11997 | 1808 | 6.364 | 0.001144 | 2001.00042,2001.00134,etc |
| instance | 10517 | 1778 | 6.146 | 0.000787 | 2001.00073,2001.00134,etc |
| end | 10349 | 1767 | 6.023 | 0.00078 | 2001.00077,2001.00083,etc |
| vertices | 24911 | 1727 | 16.55 | 0.002551 | 2001.00037,2001.00042,etc |
| limit | 12110 | 1715 | 7.894 | 0.000773 | 2001.00001,2001.00045,etc |
| argument | 9230 | 1699 | 5.25 | 0.000508 | 2001.00037,2001.00042,etc |
| coefficient | 12143 | 1680 | 8.305 | 0.001043 | 2001.00001,2001.00045,etc |
| size | 12185 | 1675 | 6.756 | 0.001215 | 2001.00001,2001.00042,etc |
| analysis | 8746 | 1621 | 4.963 | 0.000517 | 2001.00001,2001.00077,etc |
| addition | 8324 | 1613 | 5.241 | 0.000534 | 2001.00042,2001.00083,etc |
| norm | 11177 | 1599 | 6.042 | 0.001036 | 2001.00045,2001.00093,etc |
| domain | 11640 | 1583 | 7.024 | 0.001209 | 2001.00001,2001.00046,etc |
| probability | 14289 | 1573 | 8.805 | 0.001367 | 2001.00001,2001.00407,etc |
| group | 19273 | 1569 | 12.709 | 0.002696 | 2001.00001,2001.00045,etc |
| operator | 15335 | 1545 | 10.015 | 0.001613 | 2001.00001,2001.00045,etc |
| length | 12856 | 1539 | 7.177 | 0.001565 | 2001.00046,2001.00073,etc |
| action | 17291 | 1533 | 11.66 | 0.001587 | 2001.00045,2001.00077,etc |
| relation | 10695 | 1533 | 7.838 | 0.001077 | 2001.00073,2001.00077,etc |
| statement | 8569 | 1519 | 5.371 | 0.000494 | 2001.00045,2001.00077,etc |
| notice | 10316 | 1503 | 7.731 | 0.000639 | 2001.00073,2001.00077,etc |
| vertex | 20240 | 1502 | 15.239 | 0.002231 | 2001.00037,2001.00042,etc |
| notion | 8868 | 1492 | 5.343 | 0.000686 | 2001.00037,2001.00046,etc |
| type | 12960 | 1491 | 7.955 | 0.001481 | 2001.00073,2001.00077,etc |
| set | 9664 | 1490 | 6.303 | 0.001119 | 2001.00037,2001.00077,etc |
| distribution | 12792 | 1481 | 8.409 | 0.001562 | 2001.00013,2001.00250,etc |
| node | 36938 | 1471 | 33.288 | 0.003746 | 2001.00077,2001.00126,etc |
| integer | 9365 | 1471 | 5.608 | 0.001091 | 2001.00045,2001.00073,etc |
| proposition | 8293 | 1470 | 5.483 | 0.000587 | 2001.00042,2001.00143,etc |
| datum | 11259 | 1438 | 8.348 | 0.001184 | 2001.00045,2001.00046,etc |
| image | 11101 | 1438 | 7.899 | 0.00097 | 2001.00001,2001.00045,etc |
| step | 9048 | 1425 | 7.624 | 0.001025 | 2001.00001,2001.00073,etc |