Pages that link to "Item:Q4272502"

The following pages link to A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems (Q4272502):

Displayed 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)