Triple

T1057062
Position Surface form Disambiguated ID Type / Status
Subject Riemann curvature tensor E22818 entity
Predicate equalsZeroIf P9150 FINISHED
Object manifold is locally isometric to Euclidean space LITERAL FINISHED

Provenance (3 batches)

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