Triple
T1266616
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | von Neumann–Bernays–Gödel set theory |
E15613
|
entity |
| Predicate | isWeakerThan |
P24324
|
FINISHED |
| Object | Morse–Kelley set theory (in proof-theoretic strength) |
E91147
|
NE FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4935a94308190bb92555b79032824 |
elicitation | completed |
| NER | batch_69a4c037f14c8190baa42f70f8846583 |
ner | completed |
| NED1 | batch_69acbf1fa1148190a8a8a5b3e34946f0 |
ned_source_triple | completed |
| PD | batch_69a4bede52a081909665d60acbe41d31 |
pd | completed |
Created at: March 1, 2026, 7:50 p.m.