The following pages link to (Q4283235):
Displaying 7 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- SGGS decision procedures (Q2096457) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Hyperresolution and automated model building (Q4880540) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Decision procedures using model building techniques (Q6560165) (← links)