cp's OEIS Frontend

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.

A300696 a(n) is the number of n-place formulas in first-order logic when variables are allowed to coincide.

Table of values

n a(n)
0 1
1 2
2 8
3 46
4 350
5 3324
6 37874
7 503458
8 7648564
9 130722474
10 2482437926
11 51856030736
12 1181704007894
13 29172943488602
14 775597634145192
15 22093062633006326
16 671280598744505190
17 21671112459225274300
18 740767465663838556074
19 26727829360555847269034

List of values

[1, 2, 8, 46, 350, 3324, 37874, 503458, 7648564, 130722474, 2482437926, 51856030736, 1181704007894, 29172943488602, 775597634145192, 22093062633006326, 671280598744505190, 21671112459225274300, 740767465663838556074, 26727829360555847269034]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.