Triple

T1057155
Position Surface form Disambiguated ID Type / Status
Subject local existence and uniqueness theorem E22820 entity
Predicate concludes P7026 FINISHED
Object existence of a unique solution on some neighborhood of t0 LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69a493dada0481909c43649f9843ea91 elicitation completed
NER batch_69a4b8da80dc8190b79beaf509910725 ner completed
Created at: March 1, 2026, 7:42 p.m.