On the role of unification in mechanical theorem proving

DOI10.1007/BF00290340zbMath0325.68049MaRDI QIDQ1225469

Robert E. Shostak

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

Cites Work

• A Proof Method for Quantification Theory: Its Justification and Realization
• Toward Mechanical Mathematics
• A Machine-Oriented Logic Based on the Resolution Principle
• A Computing Procedure for Quantification Theory
• Unnamed Item

This page was built for publication: On the role of unification in mechanical theorem proving