The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #3 Sep 21 2017 09:03:22
%S 0,0,4,12,72,262,1396,6126,31186,144606,713078,3384796
%N Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.
%C Jonathan Vos Post conjectures that a(n) is approximately D^n for some real number D.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PropositionalCalculus.html">Propositional Calculus</a>.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Connective.html">Connective</a>.
%H Eric Weisstein et al., <a href="http://mathworld.wolfram.com/GoedelNumber.html">Goedel Number</a>.
%e The first five theorems in A101273 are 171 ("A->A"), 181 ("A=A"), 272 ("B->B"), 282 ("B=B"), and 1531 ("A xor -A"), so a(1) = 0, a(2) = 0, and a(3) = 4.
%Y A101273, A100200, A101248
%K more,nonn
%O 1,3
%A _Charles R Greathouse IV_, Oct 21 2009