Pages that link to "Item:Q757094"
From MaRDI portal
The following pages link to Theorem-proving with resolution and superposition (Q757094):
Displaying 15 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Using forcing to prove completeness of resolution and paramodulation (Q757093) (← links)
- On word problems in Horn theories (Q757095) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- On subsumption in distributed derivations (Q1337562) (← links)
- A rewriting approach to satisfiability procedures. (Q1401930) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Reasoning with conditional axioms (Q1924731) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
