| case | 88920 | 8253 | 10.853 | 0.001202 | 1501.00001,1501.00028,etc |
| result | 68439 | 7969 | 8.607 | 0.001021 | 1501.00001,1501.00028,etc |
| proof | 68470 | 6715 | 10.233 | 0.001179 | 1501.00028,1501.00046,etc |
| paper | 40329 | 6554 | 6.205 | 0.000801 | 1501.00001,1501.00046,etc |
| note | 54235 | 6476 | 8.077 | 0.000896 | 1501.00028,1501.00046,etc |
| section | 42692 | 6053 | 7.122 | 0.000793 | 1501.00028,1501.00046,etc |
| function | 55279 | 5237 | 10.951 | 0.001739 | 1501.00028,1501.00046,etc |
| order | 39725 | 5117 | 7.477 | 0.001283 | 1501.00028,1501.00046,etc |
| use | 31799 | 5111 | 5.786 | 0.000601 | 1501.00028,1501.00046,etc |
| fact | 33477 | 5049 | 6.488 | 0.000589 | 1501.00028,1501.00046,etc |
| example | 32712 | 4912 | 6.633 | 0.000787 | 1501.00028,1501.00061,etc |
| number | 44626 | 4758 | 9.37 | 0.001582 | 1501.00001,1501.00028,etc |
| point | 55859 | 4754 | 12.978 | 0.00209 | 1501.00028,1501.00047,etc |
| term | 32362 | 4404 | 7.465 | 0.000904 | 1501.00001,1501.00028,etc |
| definition | 29827 | 4254 | 6.798 | 0.000708 | 1501.00028,1501.00090,etc |
| form | 28567 | 4130 | 6.779 | 0.000842 | 1501.00001,1501.00028,etc |
| theorem | 22191 | 3561 | 6.743 | 0.000886 | 1501.00028,1501.00046,etc |
| problem | 29668 | 3503 | 8.943 | 0.001492 | 1501.00001,1501.00028,etc |
| condition | 24857 | 3467 | 7.314 | 0.001036 | 1501.00001,1501.00046,etc |
| respect | 22781 | 3451 | 6.939 | 0.000805 | 1501.00028,1501.00145,etc |
| value | 23780 | 3382 | 7.163 | 0.000993 | 1501.00028,1501.00046,etc |
| solution | 38994 | 3360 | 12.26 | 0.001991 | 1501.00047,1501.00069,etc |
| item | 28192 | 3161 | 9.376 | 0.001354 | 1501.00001,1501.00028,etc |
| work | 16587 | 3131 | 5.265 | 0.000546 | 1501.00028,1501.00093,etc |
| sequence | 25738 | 3068 | 8.302 | 0.001614 | 1501.00028,1501.00051,etc |
| element | 29521 | 3029 | 8.907 | 0.001599 | 1501.00028,1501.00077,etc |
| property | 17717 | 2947 | 6.117 | 0.000785 | 1501.00028,1501.00047,etc |
| time | 28276 | 2941 | 9.69 | 0.001442 | 1501.00069,1501.00128,etc |
| equation | 25332 | 2933 | 9.696 | 0.001634 | 1501.00001,1501.00069,etc |
| need | 15514 | 2865 | 5.593 | 0.000461 | 1501.00028,1501.00069,etc |
| study | 14644 | 2746 | 5.379 | 0.000628 | 1501.00156,1501.00161,etc |
| system | 27055 | 2666 | 9.059 | 0.001869 | 1501.00001,1501.00047,etc |
| right | 25149 | 2659 | 8.136 | 0.00158 | 1501.00028,1501.00051,etc |
| assumption | 15873 | 2654 | 5.815 | 0.000665 | 1501.00046,1501.00047,etc |
| space | 21421 | 2516 | 8.605 | 0.00143 | 1501.00028,1501.00097,etc |
| map | 29443 | 2497 | 12.312 | 0.001705 | 1501.00028,1501.00090,etc |
| lemma | 14115 | 2354 | 6.249 | 0.000718 | 1501.00028,1501.00069,etc |
| notation | 11624 | 2323 | 4.802 | 0.000407 | 1501.00028,1501.00093,etc |
| method | 17346 | 2218 | 6.896 | 0.001417 | 1501.00001,1501.00046,etc |
| parameter | 15044 | 2168 | 7.428 | 0.00103 | 1501.00001,1501.00047,etc |
| equivalent | 11399 | 2107 | 5.324 | 0.000644 | 1501.00028,1501.00097,etc |
| construction | 14109 | 2101 | 7.247 | 0.000874 | 1501.00028,1501.00093,etc |
| estimate | 18060 | 2046 | 7.643 | 0.001159 | 1501.00001,1501.00093,etc |
| model | 19390 | 2043 | 11.125 | 0.001566 | 1501.00046,1501.00177,etc |
| matrix | 16032 | 1937 | 8.765 | 0.001459 | 1501.00046,1501.00047,etc |
| existence | 11452 | 1916 | 5.759 | 0.000888 | 1501.00028,1501.00221,etc |
| dimension | 13649 | 1915 | 7.434 | 0.00117 | 1501.00046,1501.00090,etc |
| part | 10845 | 1910 | 5.842 | 0.000753 | 1501.00028,1501.00069,etc |
| pair | 13328 | 1907 | 7.289 | 0.001054 | 1501.00028,1501.00080,etc |
| way | 9406 | 1872 | 5.027 | 0.00048 | 1501.00028,1501.00090,etc |
| class | 14173 | 1852 | 7.961 | 0.001409 | 1501.00028,1501.00069,etc |
| vector | 12312 | 1841 | 6.634 | 0.001187 | 1501.00001,1501.00046,etc |
| edge | 28286 | 1802 | 13.317 | 0.003266 | 1501.00028,1501.00123,etc |
| degree | 15496 | 1777 | 9.595 | 0.001564 | 1501.00001,1501.00028,etc |
| choice | 9926 | 1768 | 5.395 | 0.000566 | 1501.00028,1501.00093,etc |
| sum | 10543 | 1747 | 6.096 | 0.000916 | 1501.00001,1501.00028,etc |
| graph | 27809 | 1730 | 15.555 | 0.004168 | 1501.00046,1501.00051,etc |
| component | 14374 | 1702 | 10.276 | 0.001359 | 1501.00028,1501.00046,etc |
| approach | 8949 | 1685 | 5.754 | 0.000741 | 1501.00028,1501.00047,etc |
| subset | 10120 | 1640 | 5.902 | 0.000898 | 1501.00077,1501.00128,etc |
| algorithm | 17923 | 1630 | 9.36 | 0.001778 | 1501.00077,1501.00080,etc |
| vertices | 21747 | 1608 | 11.471 | 0.002766 | 1501.00061,1501.00123,etc |
| boundary | 14004 | 1600 | 7.752 | 0.001252 | 1501.00028,1501.00225,etc |
| sense | 8096 | 1573 | 4.983 | 0.000461 | 1501.00028,1501.00156,etc |
| limit | 11108 | 1553 | 7.193 | 0.000863 | 1501.00093,1501.00168,etc |
| group | 17899 | 1525 | 12.409 | 0.002509 | 1501.00028,1501.00156,etc |
| state | 11526 | 1525 | 6.904 | 0.001384 | 1501.00097,1501.00123,etc |
| detail | 6579 | 1466 | 4.654 | 0.00037 | 1501.00028,1501.00093,etc |
| convergence | 10454 | 1463 | 5.903 | 0.001029 | 1501.00188,1501.00251,etc |
| family | 10736 | 1457 | 8.31 | 0.001254 | 1501.00028,1501.00097,etc |
| coefficient | 9806 | 1436 | 6.035 | 0.001122 | 1501.00028,1501.00069,etc |
| distribution | 12243 | 1434 | 9.15 | 0.001505 | 1501.00001,1501.00128,etc |
| end | 7671 | 1429 | 5.46 | 0.000863 | 1501.00001,1501.00028,etc |
| length | 11496 | 1425 | 7.686 | 0.001531 | 1501.00153,1501.00168,etc |
| relation | 10079 | 1424 | 8.94 | 0.001301 | 1501.00028,1501.00185,etc |
| application | 6505 | 1409 | 4.737 | 0.00063 | 1501.00047,1501.00097,etc |
| probability | 12678 | 1401 | 9.471 | 0.001409 | 1501.00046,1501.00128,etc |
| argument | 7195 | 1400 | 5.639 | 0.000464 | 1501.00028,1501.00168,etc |
| inequality | 9169 | 1398 | 7.972 | 0.00131 | 1501.00046,1501.00093,etc |
| vertex | 17879 | 1397 | 10.643 | 0.002626 | 1501.00061,1501.00123,etc |
| proposition | 7794 | 1366 | 5.495 | 0.00059 | 1501.00028,1501.00069,etc |
| set | 9436 | 1359 | 6.911 | 0.001316 | 1501.00115,1501.00153,etc |
| instance | 7483 | 1359 | 6.078 | 0.000638 | 1501.00069,1501.00128,etc |
| type | 12308 | 1351 | 9.779 | 0.001688 | 1501.00051,1501.00181,etc |
| operator | 13430 | 1339 | 10.136 | 0.001784 | 1501.00051,1501.00069,etc |
| image | 9555 | 1332 | 7.803 | 0.000963 | 1501.00028,1501.00046,etc |
| size | 9113 | 1319 | 6.148 | 0.001421 | 1501.00077,1501.00176,etc |
| analysis | 6821 | 1309 | 5.571 | 0.000533 | 1501.00001,1501.00093,etc |
| action | 14646 | 1308 | 11.832 | 0.00162 | 1501.00028,1501.00181,etc |
| claim | 7797 | 1299 | 6.295 | 0.00062 | 1501.00221,1501.00225,etc |
| formula | 9051 | 1283 | 7.726 | 0.001291 | 1501.00028,1501.00093,etc |
| domain | 9303 | 1261 | 7.41 | 0.001118 | 1501.00028,1501.00069,etc |
| norm | 8366 | 1241 | 7.118 | 0.001087 | 1501.00046,1501.00047,etc |
| integer | 7972 | 1233 | 5.853 | 0.001155 | 1501.00028,1501.00090,etc |
| notion | 7340 | 1219 | 5.895 | 0.000745 | 1501.00028,1501.00097,etc |
| notice | 7658 | 1196 | 6.096 | 0.000627 | 1501.00028,1501.00168,etc |
| addition | 5743 | 1195 | 4.694 | 0.000473 | 1501.00161,1501.00163,etc |
| measure | 10476 | 1179 | 9.391 | 0.001559 | 1501.00128,1501.00181,etc |
| figure | 7238 | 1177 | 5.024 | 0.000879 | 1501.00028,1501.00046,etc |
| structure | 8231 | 1165 | 7.373 | 0.001189 | 1501.00329,1501.00348,etc |