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 A262546 #5 Oct 06 2015 13:59:00 %S A262546 1,1,4,16,544 %N A262546 Number of Post functions of n variables which fail to satisfy Post's second condition. %H A262546 R. F. Wheeler, <a href="/A002543/a002543.pdf">Complete propositional connectives</a>, Z. Math. Logik Grundlagen Math. 7 1961 185-198. [Annotated scanned copy] %H A262546 R. F. Wheeler, <a href="/A002543/a002543_2.pdf">An asymptotic formula for the number of complete propositional connectives</a>, Z. Math. Logik Grundlagen Math. 8 (1962),1-4. [Annotated scanned copy] %Y A262546 Equals A002857 - A002543. %K A262546 nonn,more %O A262546 1,3 %A A262546 _N. J. A. Sloane_, Oct 06 2015