Triple

T36409097
Position Surface form Disambiguated ID Type / Status
Subject Lubin–Tate formal groups E896826 entity
Predicate appearsIn P795 FINISHED
Object local class field theory for finite extensions of Q_p LITERAL FINISHED

Provenance (2 batches)

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