Triple
T713827
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Burali-Forti paradox |
E14267
|
entity |
| Predicate | resolvedIn |
P19807
|
FINISHED |
| Object |
Morse–Kelley set theory by class–set distinction
Morse–Kelley set theory by class–set distinction is a foundational system that avoids certain set-theoretic paradoxes by rigorously distinguishing between sets and proper classes within a powerful axiomatic framework.
|
E91147
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4934a36e081909e7abef98b898a4e |
elicitation | completed |
| NER | batch_69a4aa9a1dcc81908bdb7b960765fde5 |
ner | completed |
| NED1 | batch_69a6666cd4788190ab1ddffa616fdc58 |
ned_source_triple | completed |
| NED2 | batch_69a6688c133c8190acb36273ed794df2 |
ned_description | completed |
| NEDg | batch_69a66818145c81908e1ce1d1e835dcd4 |
nedg | completed |
Created at: March 1, 2026, 7:36 p.m.