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 A263183 #18 Feb 03 2018 13:04:42 %S A263183 6,3,9,5,7,7,6,8,9,9,9,4,7,2,0,1,3,3,1,1,2,8,9,9,8,7,0,5,6,5,7,3,1,3, %T A263183 8,4,1,1,5,2,7,6,4,8,1,9,1,4,4,1,9,6,2,2,5,8,2,7,4,2,3,5,5,8,3,6,1,3, %U A263183 2,3,5,3,1,8,5,8,8,1,6,7,7,3,6,8,6,9,5,7,0,5,0,8,4,0,1,7,9,5,9,1 %N A263183 Decimal expansion of 1/log_2(r), where r is Otter's rooted tree constant. %C A263183 The article "Beweisbar oder nicht? Die Grenzzahl 0,639578175..." (linked below) has a wrong value (already in the title). %H A263183 Andreas Weiermann, <a href="http://www.jstor.org/stable/4147731">An Application of Graphical Enumeration to PA</a>, The Journal of Symbolic Logic, Vol. 68, No. 1 (2003), 5-16 (see page 13). %H A263183 Andreas Weiermann and Dirk Huylebrouck, <a href="http://dx.doi.org/10.1515/dmvm-2015-0060">Beweisbar oder nicht? Die Grenzzahl 0,639578175...</a>, Mitteilungen der DMV, Volume 23, Issue 3 (2015), 156-159. %F A263183 Equals 1/log_2(A051491). %e A263183 0.63957768999472013311289987056573138411527648191441962258274235583613235318588... %Y A263183 Cf. A051491. %K A263183 nonn,cons %O A263183 0,1 %A A263183 _Moritz Firsching_, Oct 11 2015