The problem of hyperparamodulation and nuclei

DOI10.1007/BF00885768MaRDI QIDQ1340968zbMATH OpenOpenAlexWikidataFDO

Authors Larry Wos

Publication date 21 December 1994

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

Full work available at URL https://doi.org/10.1007/bf00885768

zbMATH Keywords

automated reasoningnucleihyperparamodulationhyperresolutionunsolved research problem

Mathematics Subject Classification ID

Recommendations

• The problem of hyperparamodulation
• Basic research problems: The problem of strategy and hyperresolution
• The problem of demodulation during inference rule application
• The problem of demodulating across argument and literal boundaries
• The problem of demodulator adjunction

Cited in

(3)

• The problem of demodulator adjunction
• The problem of hyperparamodulation
• The Nucleus Problem

This page was built for publication: The problem of hyperparamodulation and nuclei

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