Triple

T179452
Position Surface form Disambiguated ID Type / Status
Subject Janet–Cartan theorem E3651 entity
Predicate strengthenedBy P3261 FINISHED
Object Nash C^1 isometric embedding theorem E631 NE FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69a25374990081909766d30c79a18e0e elicitation completed
NER batch_69a25bafd5808190a0a0cb2b21ce007f ner completed
NED1 batch_69a2fd0405608190bf4c1aa8a8fa9ad1 ned_source_triple completed
Created at: Feb. 28, 2026, 2:39 a.m.