Pages that link to "Item:Q2945706"
From MaRDI portal
The following pages link to On First-Order Model-Based Reasoning (Q2945706):
Displaying 8 items.
- 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)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← 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)
