scientific article; zbMATH DE number 475429
From MaRDI portal
Publication:4273676
zbMath0798.68151MaRDI QIDQ4273676
Publication date: 31 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
NP-completenessdecidabilityunificationautomated theorem provingautomated deductionSkolem formSkolem- Herbrand-Gödel theorem
Related Items (3)
Uses Software
This page was built for publication: