![Checkout](https://naologiccom.imgix.net/website-update/general/checkout.png?auto=compress&w=64&fm=png)
Personalized AI apps
Build multi-agent systems without code and automate document search, RAG and content generation
Start free trial Question
Selective Linear Definite Clause Resolution - What is Robinson's resolution method?
Answer
A theorem-proving technique that builds refutation proofs, or proofs by contradiction, is Robinson's resolution principle, which was introduced in 1965. Many automatic theorem provers have made use of this idea. This holds true for Skolemized first-order logic formulations.