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 A051115 #15 Dec 17 2022 12:42:41
%S A051115 0,0,0,0,0,490,1308270,1085660748,483349680164,147791677696350,
%T A051115 35419166732721930,7189973830216081696,1298090729995668204288,
%U A051115 215276329320562758744210,33531967207612008887673350
%N A051115 Number of monotone Boolean functions of n variables with 7 mincuts.
%D A051115 J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21.
%D A051115 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 A051115 V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean functions, Belgrade, 1999, in preparation.
%H A051115 K. S. Brown, <a href="http://www.mathpages.com/home/kmath030.htm">Dedekind's Problem</a>
%H A051115 Vladeta Jovovic, <a href="/A047707/a047707.pdf">Illustration for A016269, A047707, A051112-A051118</a>
%H A051115 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 A051115 <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%Y A051115 Cf. A016269, A047707, A051112, A051113, A051114, A051116, A051117, A051118.
%K A051115 nonn
%O A051115 0,6
%A A051115 _Vladeta Jovovic_, Goran Kilibarda, Zoran Maksimovic