Triple

T24822973
Position Surface form Disambiguated ID Type / Status
Subject Krull’s principal ideal theorem E621107 entity
Predicate proofTechniques P27215 FINISHED
Object localization of rings 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.