Pages that link to "Item:Q2945706"
From MaRDI portal
The following pages link to On First-Order Model-Based Reasoning (Q2945706):
Displaying 15 items.
- Automatic models of first order theories (Q387121) (← links)
- First order theories for partial models (Q813079) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← 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)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- (Q3063987) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- (Q4247076) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)