Triple

T22668856
Position Surface form Disambiguated ID Type / Status
Subject Chevalley’s theorem in algebraic geometry E559865 entity
Predicate holdsUnderAssumption P61769 FINISHED
Object source scheme is of finite type over the target scheme — LITERAL FINISHED

Provenance (3 batches)

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