Pages that link to "Item:Q4096460"
From MaRDI portal
The following pages link to Resolution, Refinements, and Search Strategies: A Comparative Study (Q4096460):
Displayed 6 items.
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- Unrestricted resolution versus N-resolution (Q1185013) (← links)
- The rue theorem-proving system: The complete set of LIM+ challenge problems (Q1337564) (← links)
- Controlled integration of the cut rule into connection tableau calculi (Q1344875) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)