Triple
T5256268
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Carathéodory’s extension theorem |
E118705
|
entity |
| Predicate | holdsUnderCondition |
P61769
|
FINISHED |
| Object | pre-measure is σ-finite (for uniqueness on generated σ-algebra in some formulations) |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd446978108190bb5f9c5c23d93f88 |
elicitation | completed |
| NER | batch_69bd7ba4ecd88190800b5e4eea3abed5 |
ner | completed |
| PD | batch_69bd77c30bac8190a883ca45da35d667 |
pd | completed |
| PDg | batch_69bd787975788190848ffbac87896efe |
pdg | completed |
Created at: March 20, 2026, 1:50 p.m.