scientific article
From MaRDI portal
Publication:3758805
zbMath0622.03010MaRDI QIDQ3758805
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexityalgebraic theoriesApplicationsamalgamation propertyefficient decision and quantifier elimination proceduresexistentially closed models of a locally finite universal theory
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:
