scientific article
From MaRDI portal
Publication:3680805
zbMath0566.03006MaRDI QIDQ3680805
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessunificationSoundnessgroundterm rewritingmany-sorted calculusresolution calculus with paramodulation ruleSort-Theorem
This page was built for publication: