Triple

T1057140
Position Surface form Disambiguated ID Type / Status
Subject local existence and uniqueness theorem E22820 entity
Predicate alsoKnownAs P39 FINISHED
Object Picard existence theorem E22820 NE FINISHED

Provenance (3 batches)

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