Triple
T8850216
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hilbert’s second problem |
E210618
|
entity |
| Predicate | connectedToResult |
P845
|
FINISHED |
| Object |
Gentzen’s consistency proof for arithmetic
Gentzen’s consistency proof for arithmetic is a landmark 1930s result in proof theory that established the consistency of Peano arithmetic using transfinite induction up to the ordinal ε₀.
|
E761263
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca838a424c8190b1ecac115c2927e7 |
elicitation | completed |
| NER | batch_69cc60abb0748190af41d4e1f419e39c |
ner | completed |
| NED1 | batch_69cf89cb853c8190a7664f2e7de0de87 |
ned_source_triple | completed |
| NED2 | batch_69cf8bd252a4819098891bbb67baf897 |
ned_description | completed |
| NEDg | batch_69cf8ab7da348190b423f0768fe9dc1a |
nedg | completed |
Created at: March 30, 2026, 6:49 p.m.