Pages that link to "Item:Q2551695"
From MaRDI portal
The following pages link to Experiments with a heuristic theorem-proving program for predicate calculus with equality (Q2551695):
Displaying 5 items.
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Splitting and reduction heuristics in automatic theorem proving (Q2547495) (← links)
- The practicality of generating semantic trees for proofs of unsatisfiability (Q2710799) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)
