Triple

T24822975
Position Surface form Disambiguated ID Type / Status
Subject Krull’s principal ideal theorem E621107 entity
Predicate proofTechniques P27215 FINISHED
Object induction on dimension LITERAL FINISHED

Provenance (3 batches)

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