Publication:2765578
From MaRDI portal
DOI<557::AID-MALQ557>3.0.CO;2-O 10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-OzbMath0992.03042MaRDI QIDQ2765578
Publication date: 16 September 2002
03B25: Decidability of theories and sets of sentences
03C10: Quantifier elimination, model completeness, and related topics