scientific article; zbMATH DE number 475429

zbMath0798.68151MaRDI QIDQ4273676

Jean H. Gallier

Publication date: 31 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

NP-completenessdecidabilityunificationautomated theorem provingautomated deductionSkolem formSkolem- Herbrand-Gödel theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

E-Unification based on Generalized Embedding ⋮ What Is Essential Unification? ⋮ Cyclic connections

Uses Software

• ETPS

This page was built for publication: