Triple

T20471193
Position Surface form Disambiguated ID Type / Status
Subject Hermite–Minkowski theorem E502195 entity
Predicate hasConsequence P812 FINISHED
Object finiteness of class of orders in number fields with bounded discriminant LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e0b4ae5f1081908768b0c9a3a0bf38 elicitation completed
NER batch_69e699608d7c8190910217817e789915 ner completed
Created at: April 16, 2026, 11:33 a.m.