Triple

T1994340
Position Surface form Disambiguated ID Type / Status
Subject Hilbert’s syzygy theorem E43323 entity
Predicate relatedTo P37 FINISHED
Object Auslander–Buchsbaum formula
The Auslander–Buchsbaum formula is a fundamental result in commutative algebra that relates the projective dimension of a finitely generated module over a Noetherian local ring to the depth of the module and the depth of the ring.
 E223665 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69a88714cf2c819081644be450b8356e elicitation completed
NER batch_69abb8640f30819080322bddb85881f1 ner completed
NED1 batch_69ae033c6cf88190acf6418f0d784914 ned_source_triple completed
NED2 batch_69ae0445a9608190918a7bd45b9bf999 ned_description completed
NEDg batch_69ae03c4faac8190a13aa0882eda3629 nedg completed
Created at: March 4, 2026, 7:37 p.m.