The problem of demodulator adjunction

DOI10.1007/BF00245464MaRDI QIDQ688566zbMATH OpenWikidataFDO

Authors Larry Wos

Publication date 20 December 1993

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

zbMATH Keywords

automated reasoningdemodulatorsunsolved research problem

Mathematics Subject Classification ID

Recommendations

• The problem of demodulating across argument and literal boundaries
• The problem of demodulation during inference rule application
• The problem of hyperparamodulation
• The problem of hyperparamodulation and nuclei
• The problem of reasoning from inequalities

Cites work

• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 590572 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Complexity and related enhancements for automated theorem-proving programs
• Refutational theorem proving using term-rewriting systems
• The Concept of Demodulation in Theorem Proving

Cited in

(3)

• The problem of demodulation during inference rule application
• The problem of demodulating across argument and literal boundaries
• The problem of hyperparamodulation and nuclei

This page was built for publication: The problem of demodulator adjunction

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