The following pages link to (Q5619635):
Displaying 11 items.
- A logic for default reasoning (Q1140434) (← links)
- Theorem proving with abstraction (Q1149799) (← links)
- A simplified problem reduction format (Q1170894) (← links)
- Unrestricted resolution versus N-resolution (Q1185013) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- Resolution graphs (Q2543000) (← links)
- Extracting information from resolution proof trees (Q2547494) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- Theorem proving with variable-constrained resolution (Q2554609) (← links)
- On Linear Resolution (Q5015599) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
