Pages that link to "Item:Q4272502"
From MaRDI portal
The following pages link to A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems (Q4272502):
Displaying 7 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- Semantic tableaux with ordering restrictions (Q5210807) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
