The problem of hyperparamodulation and nuclei

DOI10.1007/BF00885768zbMath0805.68104OpenAlexW2090960583WikidataQ114267031 ScholiaQ114267031MaRDI QIDQ1340968

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item