Triple

T1382877
Position Surface form Disambiguated ID Type / Status
Subject Noether normalization lemma E29377 entity
Predicate implies P1661 FINISHED
Object Krull dimension of a finitely generated k-algebra equals the transcendence degree of its field of fractions over k LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69a498d883a48190bfdca525296ef7ee elicitation completed
NER batch_69a4c3361bf08190b3f6bbf82e17685b ner completed
Created at: March 1, 2026, 7:59 p.m.