Triple
T5256265
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Carathéodory’s extension theorem |
E118705
|
entity |
| Predicate | ensures |
P2194
|
FINISHED |
| Object | measure of empty set is zero in the extension |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd446978108190bb5f9c5c23d93f88 |
elicitation | completed |
| NER | batch_69bd7ba4ecd88190800b5e4eea3abed5 |
ner | completed |
Created at: March 20, 2026, 1:50 p.m.