The following pages link to The TPTP problem library (Q5210777):
Displaying 11 items.
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Efficient model generation through compilation. (Q1854374) (← links)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- MGTP: A model generation theorem prover — Its advanced features and applications — (Q4610311) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- Subgoal alternation in model elimination (Q4610327) (← links)
