Triple

T23953831
Position Surface form Disambiguated ID Type / Status
Subject positive mass theorem E603722 entity
Predicate ensures P2194 FINISHED
Object ADM mass is nonnegative for suitable asymptotically flat manifolds NE NERFINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e2954222288190a7323554d0cca8d7 elicitation completed
NER batch_69f1d0d558748190a51b5732a3e6713c ner completed
Created at: April 17, 2026, 9:21 p.m.