On computer-assisted proofs in ordinal number theory (Q1284712)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On computer-assisted proofs in ordinal number theory |
scientific article; zbMATH DE number 1279229
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On computer-assisted proofs in ordinal number theory |
scientific article; zbMATH DE number 1279229 |
Statements
On computer-assisted proofs in ordinal number theory (English)
0 references
26 April 1999
0 references
ordinal number theory
0 references
OTTER
0 references
Gödel's class theory
0 references
0 references
0.8808225
0 references
0.88038445
0 references
0.8758079
0 references
0.8751352
0 references
0 references
