Pages that link to "Item:Q5210763"
From MaRDI portal
The following pages link to A method for building models automatically. Experiments with an extension of OTTER (Q5210763):
Displaying 6 items.
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
- Building proofs or counterexamples by analogy in a resolution framework (Q5235252) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
