Triple

T22668874
Position Surface form Disambiguated ID Type / Status
Subject Chevalley’s theorem in algebraic geometry E559865 entity
Predicate oftenFormulatedAs P87213 FINISHED
Object if f : X → Y is a morphism of finite type of schemes, then f(X) is a constructible subset of Y LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e2454a158c819093b8e35f5045efb6 elicitation completed
NER batch_69f1781de1d48190947cb1bb9d0890d9 ner completed
Created at: April 17, 2026, 3:09 p.m.