Pages that link to "Item:Q688547"
From MaRDI portal
The following pages link to Eliminating dublication with the hyper-linking strategy (Q688547):
Displaying 28 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- SET-VAR (Q1319383) (← links)
- Problem solving by searching for models with a theorem prover (Q1337680) (← links)
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures (Q1340966) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Toward leaner binary-clause reasoning in a satisfiability solver (Q1777406) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Structured proof procedures (Q1924823) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- (Q2741518) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- The Relative Power of Semantics and Unification (Q4916085) (← links)
- The search efficiency of theorem proving strategies (Q5210762) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
