Triple

T24822909
Position Surface form Disambiguated ID Type / Status
Subject Artinian ring E621106 entity
Predicate structureTheorem P49212 FINISHED
Object every commutative Artinian ring is a finite direct product of Artinian local 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.