Triple
T3930985
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Abraham Fraenkel |
E90792
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
Fraenkel–Mostowski permutation models
Fraenkel–Mostowski permutation models are set-theoretic constructions using permutations of atoms to demonstrate the independence of certain choice principles from Zermelo–Fraenkel set theory.
|
E399414
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69aed95f26e0819094b0e71974543a19 |
elicitation | completed |
| NER | batch_69aeeda98058819094dd6ab223670860 |
ner | completed |
| NED1 | batch_69b5288408f0819090217513e7a21091 |
ned_source_triple | completed |
| NED2 | batch_69b529f6a3488190a7a9ae37f71cff56 |
ned_description | completed |
| NEDg | batch_69b5294a9b80819083124bc2ff6828aa |
nedg | completed |
Created at: March 9, 2026, 3:23 p.m.