Triple
T1266599
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | von Neumann–Bernays–Gödel set theory |
E15613
|
entity |
| Predicate | isEquiconsistentWith |
P28011
|
FINISHED |
| Object | Zermelo–Fraenkel set theory with choice |
E13857
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4935a94308190bb92555b79032824 |
elicitation | completed |
| NER | batch_69a4c037f14c8190baa42f70f8846583 |
ner | completed |
| NED1 | batch_69acb2fa8aec8190ad68b9dc87c85cfc |
ned_source_triple | completed |
| PD | batch_69a4bede52a081909665d60acbe41d31 |
pd | completed |
| PDg | batch_69a4bfa205ec81909d8170b398345615 |
pdg | completed |
Created at: March 1, 2026, 7:50 p.m.