Triple
T25107375
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hilbert's first problem |
E628900
|
entity |
| Predicate | resultByGödel |
P161440
|
FINISHED |
| Object | continuum hypothesis is consistent with ZFC if ZFC is consistent |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69e2ff3071548190b62d1ac237397197 |
elicitation | completed |
| NER | batch_69f613bc641c819084343cc78d080640 |
ner | completed |
| PD | batch_69f611a72780819082f44e66ca2c6ac9 |
pd | completed |
| PDg | batch_69f613502d808190b89927e5e734b43a |
pdg | completed |
Created at: April 18, 2026, 6:26 a.m.