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 A220880 #11 Nov 29 2023 11:41:57 %S A220880 1,2,4,9,25,95,552,5460,100708,3718353,289725508,49513793525, %T A220880 19089032278260,16951604697397301,35231087224279091309, %U A220880 173550485517380958360610,2047581288200721764035942913 %N A220880 Number of profiles of monotone Boolean functions of n variables. %C A220880 Equals A007695(n) - 1. %D A220880 Matthias Thimm, On the expressivity of inconsistency measures, Artificial Intelligence, Volume 234, May 2016, Pages 120-151. %H A220880 Tamon Stephen and Timothy Yusun, <a href="http://arxiv.org/abs/1209.4623">Counting inequivalent monotone Boolean functions</a>, arXiv preprint arXiv:1209.4623 [cs.DS], 2012. %Y A220880 Cf. A007695. %K A220880 nonn %O A220880 0,2 %A A220880 _N. J. A. Sloane_, Dec 28 2012