The problem of demodulating across argument and literal boundaries

DOI10.1007/BF00245299zbMATH Open0783.68111WikidataQ114267068 ScholiaQ114267068MaRDI QIDQ688583FDOQ688583

Authors: Larry Wos 

Publication date: 20 December 1993

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

Recommendations

• The problem of demodulation during inference rule application
• The problem of demodulator adjunction
• The problem of hyperparamodulation
• The problem of reasoning by case analysis
• The problem of reasoning by analogy

zbMATH Keywords

demodulationunsolved research problem

Mathematics Subject Classification ID

Cites Work

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

Cited In (4)

• The problem of demodulation during inference rule application
• The problem of demodulator adjunction
• The problem of hyperparamodulation
• The problem of hyperparamodulation and nuclei

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688583)