The rue theorem-proving system: The complete set of LIM+ challenge problems

DOI10.1007/BF00881889zbMath0812.68111MaRDI QIDQ1337564

Vincent J. Digricoli

Publication date: 10 November 1994

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

zbMATH Keywords

paramodulationhyperresolutionrestriction strategyRUE hyperrefutations

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Challenge problems in elementary calculus
• Completeness issues in RUE-NRF deduction: The undecidability of viability
• Problems and Experiments for and with Automated Theorem-Proving Programs
• Resolution, Refinements, and Search Strategies: A Comparative Study