Pages that link to "Item:Q5881276"
From MaRDI portal
The following pages link to Completion of first-order clauses with equality by strict superposition (Q5881276):
Displaying 10 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- Inductive theorem proving by consistency for first-order clauses (Q5881188) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)
