Pages that link to "Item:Q4096460"
From MaRDI portal
The following pages link to Resolution, Refinements, and Search Strategies: A Comparative Study (Q4096460):
Displaying 9 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)
- Inference approach based on Petri nets (Q2056355) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- Partheo: A high-performance parallel theorem prover (Q6488521) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)