scientific article; zbMATH DE number 1159570
From MaRDI portal
Publication:4391984
zbMath0899.03024MaRDI QIDQ4391984
Publication date: 7 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)
This page was built for publication: