Pages that link to "Item:Q1198235"
From MaRDI portal
The following pages link to A method for simultaneous search for refutations and models by equational constraint solving (Q1198235):
Displaying 5 items.
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← 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)
