Triple
T131677
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | John von Neumann |
E2665
|
entity |
| Predicate | notableConcept |
P201
|
FINISHED |
| Object |
von Neumann–Bernays–Gödel set theory
Von Neumann–Bernays–Gödel set theory is an axiomatic set theory extending Zermelo–Fraenkel set theory by formally distinguishing between sets and classes, widely used in foundational studies of mathematics.
|
E15613
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a2520c0f3481908b0ed054a2fca8d0 |
elicitation | completed |
| NER | batch_69a25785ad5c819097c00f31719fea7e |
ner | completed |
| NED1 | batch_69a2b01814e88190a21f98527b8f9420 |
ned_source_triple | completed |
| NED2 | batch_69a2b0db1180819096f569241e07de3b |
ned_description | completed |
| NEDg | batch_69a2b0820abc8190b495c6347c989882 |
nedg | completed |
Created at: Feb. 28, 2026, 2:30 a.m.