This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A166746 #4 Feb 16 2025 08:33:11
%S A166746 0,0,4,12,72,262,1396,6126,31186,144606,713078,3384796
%N A166746 Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.
%C A166746 Jonathan Vos Post conjectures that a(n) is approximately D^n for some real number D.
%H A166746 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PropositionalCalculus.html">Propositional Calculus</a>.
%H A166746 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/Connective.html">Connective</a>.
%H A166746 Eric Weisstein et al., <a href="https://mathworld.wolfram.com/GoedelNumber.html">Goedel Number</a>.
%e A166746 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 A166746 A101273, A100200, A101248
%K A166746 more,nonn
%O A166746 1,3
%A A166746 _Charles R Greathouse IV_, Oct 21 2009