scientific article
From MaRDI portal
Publication:2732556
zbMath0968.12003MaRDI QIDQ2732556
Publication date: 24 July 2001
Full work available at URL: https://eudml.org/doc/187784
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication:
