The problem of demodulating across argument and literal boundaries

DOI10.1007/BF00245299zbMath0783.68111WikidataQ114267068 ScholiaQ114267068MaRDI QIDQ688583

Larry Wos

Publication date: 20 December 1993

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

demodulationunsolved research problem

Mathematics Subject Classification ID

Cites Work

• Set theory in first-order logic: Clauses for Gödel's axioms
• Complexity and related enhancements for automated theorem-proving programs
• The Concept of Demodulation in Theorem Proving

This page was built for publication: The problem of demodulating across argument and literal boundaries