Triple

T24337007
Position Surface form Disambiguated ID Type / Status
Subject Bochner theorem on characteristic functions E613407 entity
Predicate assumption P1458 FINISHED
Object function is continuous at zero LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e2d7dcc5a08190b53691130d56cbc4 elicitation completed
NER batch_69f293212a0881908da028e81d26247d ner completed
Created at: April 18, 2026, 1:57 a.m.