Triple

T37475705
Position Surface form Disambiguated ID Type / Status
Subject Hurwitz theorem (composition algebras) E931272 entity
Predicate implies P1661 FINISHED
Object every finite-dimensional real normed division algebra is isomorphic to R, C, H, or O as a normed algebra LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f76ec2af148190897d101070d7f415 elicitation completed
NER batch_69fb8e652328819082cff21f5a1fe709 ner completed
Created at: May 3, 2026, 4:17 p.m.