Triple

T24823242
Position Surface form Disambiguated ID Type / Status
Subject Freyd–Mitchell embedding theorem E621113 entity
Predicate typicalTargetCategory P132779 FINISHED
Object category of modules over a ring LITERAL FINISHED

Provenance (3 batches)

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