Triple

T24822950
Position Surface form Disambiguated ID Type / Status
Subject Krull’s principal ideal theorem E621107 entity
Predicate givesBound P96513 FINISHED
Object height of prime ideals minimal over a principal ideal LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69e2fabfd4648190bd0e5c7f4dbb6cab elicitation completed
NER batch_69f42d9000b8819081ea2605f3c193d6 ner completed
PD batch_69f420f471a0819095a6cd24ed8f7476 pd completed
Created at: April 18, 2026, 5:05 a.m.