scientific article
From MaRDI portal
Publication:3778728
zbMath0638.03028MaRDI QIDQ3778728
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication:
