How to avoid the derivation of redundant clauses in reasoning systems
From MaRDI portal
Publication:688551
DOI10.1007/BF00247827zbMath0784.68079OpenAlexW2094114882MaRDI QIDQ688551
Publication date: 10 December 1993
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247827
Related Items
On fairness of completion-based theorem proving strategies, Avoiding duplicate proofs with the foothold refinement, Towards a foundation of completion procedures as semidecision procedures, The disconnection method, On the modelling of search in theorem proving -- towards a theory of strategy analysis
