Triple

T4552412
Position Surface form Disambiguated ID Type / Status
Subject Hardy–Littlewood maximal function E120395 entity
Predicate usedFor P98 FINISHED
Object Lebesgue differentiation theorem
The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
 E451526 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69bd4636f1648190a701445c2fcd9c17 elicitation completed
NER batch_69bd581160e08190b715a8ce5c3e6c9b ner completed
NED1 batch_69bdb95b01b0819094a600752e41aa09 ned_source_triple completed
NED2 batch_69bdbe1bcd8c819094adea59c91c6f5b ned_description completed
NEDg batch_69bdbdbf73508190b64a78ff9274ee6d nedg completed
Created at: March 20, 2026, 1:09 p.m.