118311

Appears in sequences

• Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.at n=31A100200
• Erroneous version of A100200.at n=21A151996