scientific article
From MaRDI portal
Publication:3998420
zbMath0704.08005MaRDI QIDQ3998420
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Congruence modularity, congruence distributivity (08B10)
This page was built for publication: