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 A051117 #15 Dec 17 2022 12:42:33
%S A051117 0,0,0,0,0,20,1484230,15946757960,60089234465176,122281201867047920,
%T A051117 168329227672583040430,178185327268349957044060,
%U A051117 156921594738520322214197672,121014019160263331691800711500
%N A051117 Number of monotone Boolean functions of n variables with 9 mincuts.
%D A051117 J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21.
%D A051117 V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6)
%D A051117 V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean functions, Belgrade, 1999, in preparation.
%H A051117 K. S. Brown, <a href="http://www.mathpages.com/home/kmath030.htm">Dedekind's Problem</a>
%H A051117 Vladeta Jovovic, <a href="/A047707/a047707.pdf">Illustration for A016269, A047707, A051112-A051118</a>
%H A051117 Goran Kilibarda and Vladeta Jovovic, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL7/Kilibarda/kili2.html">Antichains of Multisets</a>, J. Integer Seqs., Vol. 7, 2004.
%H A051117 <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%Y A051117 Cf. A016269, A047707, A051112, A051113, A051114, A051115, A051116, A051118.
%K A051117 nonn,easy
%O A051117 0,6
%A A051117 _Vladeta Jovovic_, Goran Kilibarda, and Zoran Maksimovic