Pages that link to "Item:Q1116717"
From MaRDI portal
The following pages link to Non-Horn clause logic programming without contrapositives (Q1116717):
Displaying 26 items.
- Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
- Term rewriting: Some experimental results (Q757071) (← links)
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639) (← links)
- Problem solving by searching for models with a theorem prover (Q1337680) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Renaming a set of non-Horn clauses (Q1587332) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- The search efficiency of theorem proving strategies (Q5210762) (← links)
- Model elimination without contrapositives (Q5210764) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← links)
- The TPTP problem library (Q5210777) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Conditional term rewriting and first-order theorem proving (Q5881190) (← links)
- A complete semantic back chaining proof system (Q6488519) (← links)
- Case-free programs: An abstraction of definite horn programs (Q6488524) (← links)
