Triple

T24822910
Position Surface form Disambiguated ID Type / Status
Subject Artinian ring E621106 entity
Predicate structureTheorem P49212 FINISHED
Object every Artinian principal ideal ring is a finite direct product of Artinian principal ideal local rings LITERAL FINISHED

Provenance (3 batches)

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