Triple
T16445583
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Fraenkel–Mostowski permutation models |
E399414
|
entity |
| Predicate | formalSetting |
P57964
|
FINISHED |
| Object | first-order set theory |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d87f2c6778819080fcfae53be8f12a |
elicitation | completed |
| NER | batch_69e32cdb5d908190bb6c5cb3c794cf4b |
ner | completed |
Created at: April 10, 2026, 5:10 a.m.