Triple
T2300711
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ernst Zermelo |
E51722
|
entity |
| Predicate | proved |
P21917
|
FINISHED |
| Object |
well-ordering theorem
The well-ordering theorem is a fundamental result in set theory stating that every set can be equipped with a well-order, meaning its elements can be arranged so that every nonempty subset has a least element.
|
E87367
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88b0a9f248190bcff941463d8f65a |
elicitation | completed |
| NER | batch_69abc5edc1348190a4d84606b1310711 |
ner | completed |
| NED1 | batch_69ae8954a804819092c716582f23af14 |
ned_source_triple | completed |
| NED2 | batch_69ae8b83efd48190a832032775803919 |
ned_description | completed |
| NEDg | batch_69ae8b188f18819088eaa3866485191a |
nedg | completed |
Created at: March 4, 2026, 7:49 p.m.