| case | 96060 | 8940 | 10.65 | 0.001208 | 1901.00004,1901.00043,etc |
| result | 76327 | 8784 | 8.942 | 0.000981 | 1901.00004,1901.00043,etc |
| proof | 78618 | 7328 | 10.606 | 0.001192 | 1901.00004,1901.00050,etc |
| note | 61842 | 7166 | 8.955 | 0.000868 | 1901.00004,1901.00043,etc |
| paper | 43393 | 7069 | 6.121 | 0.000743 | 1901.00004,1901.00043,etc |
| section | 49276 | 6966 | 6.721 | 0.000816 | 1901.00004,1901.00043,etc |
| function | 59352 | 5790 | 10.442 | 0.001781 | 1901.00050,1901.00058,etc |
| use | 37752 | 5703 | 6.787 | 0.000632 | 1901.00050,1901.00061,etc |
| order | 42349 | 5673 | 7.439 | 0.001045 | 1901.00004,1901.00058,etc |
| fact | 35549 | 5300 | 6.435 | 0.000577 | 1901.00004,1901.00050,etc |
| example | 34684 | 5278 | 6.833 | 0.000765 | 1901.00004,1901.00050,etc |
| point | 60715 | 5061 | 11.305 | 0.002192 | 1901.00050,1901.00061,etc |
| number | 46071 | 5046 | 10.498 | 0.001562 | 1901.00004,1901.00050,etc |
| term | 36831 | 4919 | 7.226 | 0.000867 | 1901.00053,1901.00058,etc |
| definition | 35922 | 4833 | 7.732 | 0.00075 | 1901.00050,1901.00053,etc |
| form | 30558 | 4359 | 7.306 | 0.000955 | 1901.00004,1901.00050,etc |
| problem | 36279 | 4068 | 9.865 | 0.001441 | 1901.00004,1901.00050,etc |
| solution | 47583 | 3956 | 12.601 | 0.002016 | 1901.00050,1901.00058,etc |
| work | 22082 | 3925 | 5.625 | 0.000616 | 1901.00004,1901.00050,etc |
| respect | 26105 | 3891 | 6.904 | 0.000836 | 1901.00058,1901.00061,etc |
| condition | 26122 | 3699 | 8.112 | 0.000973 | 1901.00050,1901.00082,etc |
| value | 26134 | 3698 | 6.891 | 0.000962 | 1901.00050,1901.00058,etc |
| item | 35574 | 3697 | 9.354 | 0.001566 | 1901.00082,1901.00087,etc |
| theorem | 21014 | 3561 | 5.788 | 0.00092 | 1901.00050,1901.00053,etc |
| time | 31650 | 3334 | 10.453 | 0.001362 | 1901.00090,1901.00123,etc |
| property | 19803 | 3294 | 6.433 | 0.000784 | 1901.00050,1901.00079,etc |
| need | 17703 | 3275 | 5.495 | 0.000454 | 1901.00004,1901.00078,etc |
| sequence | 27679 | 3237 | 8.826 | 0.001554 | 1901.00050,1901.00082,etc |
| element | 30412 | 3204 | 10.514 | 0.001532 | 1901.00050,1901.00061,etc |
| study | 16820 | 3156 | 5.538 | 0.000627 | 1901.00082,1901.00124,etc |
| equation | 29272 | 3151 | 10.447 | 0.001691 | 1901.00004,1901.00050,etc |
| assumption | 19033 | 3006 | 6.309 | 0.000677 | 1901.00050,1901.00082,etc |
| right | 25817 | 2953 | 8.335 | 0.001495 | 1901.00050,1901.00058,etc |
| space | 25591 | 2935 | 8.233 | 0.001392 | 1901.00050,1901.00079,etc |
| system | 29896 | 2906 | 9.515 | 0.001923 | 1901.00004,1901.00050,etc |
| method | 23251 | 2795 | 8.835 | 0.001538 | 1901.00079,1901.00107,etc |
| map | 33665 | 2729 | 14.755 | 0.001784 | 1901.00050,1901.00129,etc |
| notation | 14037 | 2641 | 5.364 | 0.000409 | 1901.00050,1901.00079,etc |
| parameter | 17134 | 2481 | 7.562 | 0.000957 | 1901.00115,1901.00123,etc |
| lemma | 14757 | 2419 | 6.613 | 0.000646 | 1901.00123,1901.00179,etc |
| model | 21609 | 2354 | 9.071 | 0.001501 | 1901.00090,1901.00112,etc |
| equivalent | 12556 | 2292 | 5.292 | 0.000714 | 1901.00050,1901.00058,etc |
| construction | 15544 | 2291 | 7.905 | 0.000877 | 1901.00082,1901.00107,etc |
| estimate | 20424 | 2251 | 9.109 | 0.001195 | 1901.00079,1901.00112,etc |
| existence | 13222 | 2132 | 6.426 | 0.00087 | 1901.00115,1901.00123,etc |
| dimension | 15443 | 2121 | 7.944 | 0.001058 | 1901.00050,1901.00078,etc |
| pair | 14524 | 2111 | 6.767 | 0.001088 | 1901.00053,1901.00078,etc |
| part | 12114 | 2110 | 6.613 | 0.000797 | 1901.00123,1901.00179,etc |
| algorithm | 21241 | 2048 | 10.373 | 0.001652 | 1901.00090,1901.00164,etc |
| vector | 13521 | 2032 | 8.297 | 0.001049 | 1901.00004,1901.00050,etc |
| choice | 11139 | 2025 | 5.681 | 0.00052 | 1901.00123,1901.00144,etc |
| class | 14585 | 2016 | 8.291 | 0.001483 | 1901.00004,1901.00124,etc |
| matrix | 16918 | 2013 | 9.25 | 0.00158 | 1901.00050,1901.00053,etc |
| approach | 11002 | 1991 | 5.724 | 0.000683 | 1901.00090,1901.00262,etc |
| degree | 16963 | 1918 | 7.953 | 0.001619 | 1901.00050,1901.00078,etc |
| way | 9360 | 1914 | 5.142 | 0.000469 | 1901.00061,1901.00123,etc |
| edge | 29970 | 1894 | 16.961 | 0.002865 | 1901.00004,1901.00053,etc |
| subset | 11818 | 1877 | 7.182 | 0.00099 | 1901.00050,1901.00082,etc |
| graph | 30638 | 1856 | 17.025 | 0.003992 | 1901.00004,1901.00043,etc |
| convergence | 14047 | 1845 | 6.465 | 0.001126 | 1901.00136,1901.00208,etc |
| state | 13174 | 1810 | 7.374 | 0.001249 | 1901.00090,1901.00220,etc |
| sum | 10833 | 1806 | 5.837 | 0.000946 | 1901.00004,1901.00179,etc |
| component | 16425 | 1804 | 8.806 | 0.001496 | 1901.00050,1901.00053,etc |
| detail | 7952 | 1770 | 4.199 | 0.00035 | 1901.00123,1901.00193,etc |
| sense | 8920 | 1757 | 5.635 | 0.000415 | 1901.00058,1901.00082,etc |
| vertices | 23649 | 1723 | 14.664 | 0.002573 | 1901.00004,1901.00043,etc |
| boundary | 14457 | 1706 | 8.544 | 0.001232 | 1901.00129,1901.00208,etc |
| inequality | 10535 | 1689 | 6.338 | 0.001106 | 1901.00050,1901.00079,etc |
| family | 12268 | 1653 | 6.837 | 0.001398 | 1901.00053,1901.00078,etc |
| coefficient | 11357 | 1610 | 6.57 | 0.001171 | 1901.00107,1901.00112,etc |
| application | 7597 | 1606 | 4.705 | 0.0005 | 1901.00079,1901.00123,etc |
| claim | 9805 | 1588 | 6.537 | 0.000633 | 1901.00050,1901.00053,etc |
| instance | 9305 | 1578 | 5.816 | 0.000676 | 1901.00124,1901.00208,etc |
| limit | 11087 | 1568 | 7.491 | 0.000948 | 1901.00123,1901.00129,etc |
| end | 8254 | 1565 | 6.176 | 0.000587 | 1901.00004,1901.00043,etc |
| norm | 10451 | 1529 | 7.463 | 0.001151 | 1901.00050,1901.00079,etc |
| argument | 8294 | 1524 | 5.504 | 0.000516 | 1901.00356,1901.00705,etc |
| length | 11610 | 1506 | 7.201 | 0.001486 | 1901.00043,1901.00123,etc |
| domain | 10680 | 1496 | 6.862 | 0.00113 | 1901.00058,1901.00061,etc |
| size | 10064 | 1487 | 7.331 | 0.001141 | 1901.00164,1901.00262,etc |
| set | 9818 | 1479 | 7.685 | 0.001314 | 1901.00082,1901.00123,etc |
| vertex | 18606 | 1477 | 11.355 | 0.002439 | 1901.00004,1901.00043,etc |
| group | 16970 | 1469 | 16.563 | 0.002275 | 1901.00061,1901.00123,etc |
| addition | 7461 | 1452 | 5.865 | 0.000471 | 1901.00043,1901.00079,etc |
| operator | 13537 | 1451 | 9.874 | 0.001766 | 1901.00079,1901.00208,etc |
| distribution | 12703 | 1446 | 8.204 | 0.001449 | 1901.00123,1901.00179,etc |
| action | 16497 | 1444 | 16.202 | 0.001575 | 1901.00061,1901.00115,etc |
| relation | 9567 | 1436 | 6.745 | 0.00106 | 1901.00061,1901.00335,etc |
| probability | 12643 | 1426 | 9.224 | 0.001164 | 1901.00050,1901.00123,etc |
| type | 11934 | 1423 | 8.891 | 0.001428 | 1901.00144,1901.00179,etc |
| integer | 8489 | 1423 | 5.488 | 0.001091 | 1901.00079,1901.00193,etc |
| notice | 8987 | 1412 | 6.298 | 0.000633 | 1901.00050,1901.00129,etc |
| proposition | 7688 | 1411 | 5.752 | 0.000547 | 1901.00123,1901.00265,etc |
| notion | 8503 | 1408 | 6.584 | 0.000807 | 1901.00107,1901.00123,etc |
| formula | 9779 | 1403 | 8.5 | 0.001195 | 1901.00053,1901.00265,etc |
| analysis | 7227 | 1377 | 5.134 | 0.000534 | 1901.00079,1901.00179,etc |
| node | 35450 | 1358 | 23.406 | 0.004254 | 1901.00004,1901.00053,etc |
| statement | 7758 | 1354 | 5.739 | 0.000636 | 1901.00220,1901.00347,etc |
| image | 9966 | 1341 | 8.234 | 0.001055 | 1901.00050,1901.00129,etc |
| datum | 10869 | 1331 | 7.372 | 0.001257 | 1901.00090,1901.00129,etc |
|