The following pages link to (Q3681966):
Displaying 4 items.
- Automated inferencing (Q1070835) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← links)