Pages that link to "Item:Q5210764"
From MaRDI portal
The following pages link to Model elimination without contrapositives (Q5210764):
Displaying 7 items.
- Linearity and regularity with negation normal form (Q703486) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- Optimizing proof search in model elimination (Q4647531) (← links)
- An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
