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