Pages that link to "Item:Q3541721"
From MaRDI portal
The following pages link to Proof Systems for Effectively Propositional Logic (Q3541721):
Displaying 16 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- SCL clause learning from simple models (Q2305416) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
- (Q3809769) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic (Q5251188) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Propositional proof skeletons (Q6535365) (← links)
