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 A007411 M3558 #39 Nov 27 2023 10:30:19
%S A007411 1,4,19,179,16142,489996794,1392195548399980209,
%T A007411 789204635842035039135545297410259321
%N A007411 Number of matrices with n columns whose rows do not cover each other. Also antichain covers of an unlabeled n-set.
%D A007411 V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.
%D A007411 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A007411 M. Hofri, <a href="/A007411/a007411.pdf">Email to N. J. A. Sloane, May 1994</a>.
%H A007411 V. Jovovic and G. Kilibarda, <a href="http://mi.mathnet.ru/eng/dm/v11/i4/p127">On the number of Boolean functions in the Post classes F^{mu}_8</a>, in Russian, Diskretnaya Matematika, 11 (1999), no. 4, 127-138.
%H A007411 V. Jovovic and G. Kilibarda, <a href="http://dx.doi.org/10.1515/dma.1999.9.6.593">On the number of Boolean functions in the Post classes F^{mu}_8</a>, English translation, in Discrete Mathematics and Applications, 9, (1999), no. 6, 593-605.
%F A007411 a(n) = A003182(n) - A003182(n-1) - 1 = A006602(n) - 1.
%Y A007411 Cf. A037843, A006126, A003182, A006602.
%K A007411 nonn,hard,more
%O A007411 2,2
%A A007411 Micha Hofri (hofri(AT)cs.rice.edu)
%E A007411 a(7) from A003182. - _N. J. A. Sloane_, Aug 13 2015
%E A007411 a(8) from A003182. - _Bartlomiej Pawelski_, Nov 27 2022
%E A007411 a(9) from A003182. - _Dmitry I. Ignatov_, Nov 27 2023