THEOREMS TOP 50

End of 1995

(i)
(ii)
(iii)
1.
TARSKI:def 1
2867
1.8171%
2.
AXIOMS:22
2574
1.6314%
3.
BOOLE:9
2377
1.5065%
4.
FINSEQ_1:def 3
2144
1.3589%
5.
BOOLE:8
1877
1.1896%
6.
BOOLE:29
1712
1.0851%
7.
NAT_1:38
1679
1.0641%
8.
TARSKI:def 3
1341
0.8499%
9.
AXIOMS:13
1259
0.7980%
10.
TARSKI:def 4
1083
0.6864%
11.
FUNCT_1:11
1048
0.6642%
12.
FINSEQ_3:27
1027
0.6509%
13.
BOOLE:10
875
0.5546%
14.
FINSEQ_1:3
862
0.5463%
15.
FUNCT_1:12
832
0.5273%
16.
NAT_1:29
809
0.5127%
17.
REAL_1:def 5
807
0.5115%
18.
AFF_1:def 1
771
0.4887%
19.
TARSKI:def 2
726
0.4601%
20.
AFF_1:15
711
0.4506%
21.
ZFMISC_1:106
656
0.4158%
22.
BOOLE:64
654
0.4145%
23.
RLVECT_1:def 1
642
0.4069%
24.
AXIOMS:18
629
0.3987%
25.
BOOLE:28
627
0.3974%
26.
REAL_2:17
620
0.3930%
27.
REAL_1:14
618
0.3917%
28.
ZFMISC_1:37
606
0.3841%
29.
AXIOMS:21
596
0.3777%
30.
AXIOMS:16
591
0.3746%
31.
MCART_1:7
590
0.3739%
32.
ANALMETR:55
562
0.3562%
33.
BOOLE:37
559
0.3543%
34.
AFF_1:13
554
0.3511%
35.
FINSEQ_1:35
540
0.3423%
36.
REAL_1:36
511
0.3239%
37.
FINSEQ_1:def 4
501
0.3175%
38.
PBOOLE:def 3
478
0.3030%
39.
BOOLE:60
472
0.2992%
40.
AFF_1:39
466
0.2953%
41.
FUNCT_2:def 4
452
0.2865%
42.
REAL_1:55
449
0.2846%
RLVECT_1:9
449
0.2846%
44.
TARSKI:2
442
0.2801%
45.
AFF_1:14
439
0.2782%
46.
ZFMISC_1:33
426
0.2700%
47.
BOOLE:42
424
0.2687%
EUCLID:57
424
0.2687%
49.
NAT_1:37
422
0.2675%
50.
BOOLE:31
400
0.2535%

Explanations:
    (i) - Number of theorem and its ranking.
   (ii) - Number of references.
  (iii) - Percentage of all references.

Previous year Next year