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 12 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- SHR tableaux -- a framework for automated model generation (Q2720403) (← links)
- Semantic tableaux with equality (Q2785839) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Pruning the search space and extracting more models in tableaux (Q4237680) (← links)
- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336) (← links)
- (Q4934139) (← 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)