Triple
T2631196
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lebesgue integration |
E59633
|
entity |
| Predicate | characterizedBy |
P662
|
FINISHED |
| Object |
monotone convergence theorem
The monotone convergence theorem is a fundamental result in measure theory stating that the integral of a pointwise increasing sequence of nonnegative measurable functions equals the limit of their integrals.
|
E284671
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ab4ac8596c8190b34997e73d9e991c |
elicitation | completed |
| NER | batch_69abd8c567408190b94ff047efa4bc06 |
ner | completed |
| NED1 | batch_69af90a7021081909f81c4ddb48fa00c |
ned_source_triple | completed |
| NED2 | batch_69af92500920819082c651f75a06dd72 |
ned_description | completed |
| NEDg | batch_69af9172ba248190bbc68a00b43d9b44 |
nedg | completed |
Created at: March 6, 2026, 9:50 p.m.