The following pages link to (Q3484382):
Displaying 6 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- A theory of abstraction (Q1199923) (← links)
- Problem solving by searching for models with a theorem prover (Q1337680) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
