Count of propositional theorems up to 10^n in Richard Schroeppel's Goedelization of A101273.
0, 0, 4, 12, 72, 262, 1396, 6126, 31186, 144606, 713078, 338479
4 seqfan posts
Fri Sep 9 10:10:11 CEST 2011 [seqfan] Re: On editors-authors discussions
Fri Sep 9 09:38:53 CEST 2011 [seqfan] Re: On editors-authors discussions
Fri Sep 9 03:14:10 CEST 2011 [seqfan] Re: On editors-authors discussions
Thu Sep 8 23:31:54 CEST 2011 [seqfan] Re: On editors-authors discussions
Index of A-numbers in seqfan: by ascending order
by month
by frequency
by keyword
Links to OEIS content are included according to
The OEIS End-User License Agreement
.