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.

A101248 Decimal Goedelization of contingent WFFs (well-formed formulas) from propositional calculus, in Richard C. Schroeppel's metatheory of A101273. Truth value depends on truth value of variables, but is neither always true (theorem) nor always false (antitheorem).

Table of values

n a(n)
1 1
2 2
3 11
4 12
5 21
6 22
7 31
8 32
9 111
10 112
11 121
12 122
13 141
14 142
15 152
16 161
17 162
18 172
19 182
20 211
21 212
22 221
23 222
24 241
25 242
26 251
27 261
28 262
29 271
30 281
31 311
32 312
33 321
34 322
35 331
36 332
37 910
38 920
39 1111
40 1112
41 1121
42 1122
43 1141
44 1142
45 1151
46 1152
47 1161
48 1162
49 1171
50 1172
51 1181
52 1182

List of values

[1, 2, 11, 12, 21, 22, 31, 32, 111, 112, 121, 122, 141, 142, 152, 161, 162, 172, 182, 211, 212, 221, 222, 241, 242, 251, 261, 262, 271, 281, 311, 312, 321, 322, 331, 332, 910, 920, 1111, 1112, 1121, 1122, 1141, 1142, 1151, 1152, 1161, 1162, 1171, 1172, 1181, 1182]

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

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