Pages that link to "Item:Q4770008"
From MaRDI portal
The following pages link to An Implementation of the Model Elimination Proof Procedure (Q4770008):
Displayed 9 items.
- Hierarchical deduction (Q1098332) (← links)
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Refutation graphs (Q1226867) (← links)
- Analytic resolution in theorem proving (Q1233325) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- Resolution remains hard under equivalence (Q1961451) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Seventy Years of Computer Science (Q5049043) (← links)