Disambiguation evidence for “A Decision Method for Elementary Algebra and Geometry” via surface form
"Tarski–Seidenberg theorem"
Triples (1)
Triples where some other subject referred to this entity
as "Tarski–Seidenberg theorem".
Tarski’s theorem on the completeness of elementary algebra and geometry
→
relatedTo
→
"Tarski–Seidenberg theorem"
ⓘ
↳ resolves to “A Decision Method for Elementary Algebra and Geometry”