The problem of hyperparamodulation and nuclei

DOI10.1007/BF00885768zbMATH Open0805.68104OpenAlexW2090960583WikidataQ114267031 ScholiaQ114267031MaRDI QIDQ1340968FDOQ1340968

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

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

zbMATH Keywords

automated reasoningnucleihyperparamodulationhyperresolutionunsolved research problem

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)