Triple

T36409086
Position Surface form Disambiguated ID Type / Status
Subject Lubin–Tate formal groups E896826 entity
Predicate hasProperty P274 FINISHED
Object gives canonical formal module structure on maximal ideal of ring of integers LITERAL FINISHED

Provenance (2 batches)

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