scientific article; zbMATH DE number 3404232
From MaRDI portal
Publication:5670622
zbMath0256.02026MaRDI QIDQ5670622
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)
Related Items (2)
Decision procedures for the conditions true in certain metric structures ⋮ Primality and model-completions
This page was built for publication:
