Basic research problems: The problem of strategy and hyperresolution

DOI10.1007/BF00881847zbMath0804.68133OpenAlexW2056215293WikidataQ114267037 ScholiaQ114267037MaRDI QIDQ1332645

Larry Wos

Publication date: 31 August 1994

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

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

zbMATH Keywords

automated reasoningstrategyparamodulationhyperresolutionunsolved research problem

Mathematics Subject Classification ID

Uses Software

• AURA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item