Pages that link to "Item:Q5507985"
From MaRDI portal
The following pages link to Efficiency and Completeness of the Set of Support Strategy in Theorem Proving (Q5507985):
Displaying 50 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Case splitting in an automatic theorem prover for real-valued special functions (Q352970) (← links)
- A logical framework for depiction and image interpretation (Q582146) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Hierarchical deduction (Q1098332) (← links)
- Resolution vs. cutting plane solution of inference problems: Some computational experience (Q1100093) (← links)
- Theorem proving with abstraction (Q1149799) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Experimental tests of resolution-based theorem-proving strategies (Q1230669) (← links)
- The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
- The resonance strategy (Q1343396) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- The application of automated reasoning to formal models of combinatorial optimization (Q1854978) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Generalized completeness for SOS resolution and its application to a new notion of relevance (Q2055868) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Semantic relevance (Q2104509) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Resolution graphs (Q2543000) (← links)
- Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243) (← links)
- Experiments with a heuristic theorem-proving program for predicate calculus with equality (Q2551695) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- Theorem proving with variable-constrained resolution (Q2554609) (← links)
- Beweisalgorithmen für die Prädikatenlogik (Q2558006) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Checking the quality of clinical guidelines using automated reasoning tools (Q3546039) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- (Q5005105) (← links)
- Goal directed strategies for paramodulation (Q5055756) (← links)
- The search efficiency of theorem proving strategies (Q5210762) (← links)
- Sledgehammer: Judgement Day (Q5747754) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
