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 A280031 #7 Dec 26 2016 12:10:45 %S A280031 1,2,4,7,15,43 %N A280031 Number of knowledge bases of a certain type. %C A280031 See Thimm (2016) for precise definition. %H A280031 Matthias Thimm, <a href="http://www.mthimm.de/pub/2016/Thimm_2016a.pdf">On the expressivity of inconsistency measures</a>, Artificial Intelligence, Volume 234, May 2016, Pages 120-151. See Table 1. %Y A280031 Cf. A220880. %K A280031 nonn,more %O A280031 0,2 %A A280031 _N. J. A. Sloane_, Dec 25 2016