Triple

T36468461
Position Surface form Disambiguated ID Type / Status
Subject T1 separation axiom E898480 entity
Predicate characterizes P662 FINISHED
Object spaces in which convergence of sequences is determined by limits being unique when the space is also Hausdorff LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f76e58ebd88190b75d9b169b59d793 elicitation completed
NER batch_69f7bdd157d8819080d5458ddfd73084 ner completed
Created at: May 3, 2026, 4:10 p.m.