The problem of hyperparamodulation

DOI10.1007/BF00881890zbMath0812.68112OpenAlexW2044833316WikidataQ114267034 ScholiaQ114267034MaRDI QIDQ1337565

Larry Wos

Publication date: 10 November 1994

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

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

zbMATH Keywords

automated reasoninghyperparamodulation

Mathematics Subject Classification ID

Cites Work

• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• Proving Theorems with the Modification Method
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of hyperparamodulation