The problem of demodulating across argument and literal boundaries

DOI10.1007/BF00245299MaRDI QIDQ688583zbMATH OpenWikidataFDO

Authors 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

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

Cites work

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

Cited in

(4)

• The problem of hyperparamodulation
• The problem of demodulation during inference rule application
• The problem of demodulator adjunction
• 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)