The following pages link to (Q3484382):
Displaying 21 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)
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068) (← links)
- Automated deduction techniques for classification in description logic systems (Q1383996) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- \(T\)-theorem proving. I (Q1914165) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Automatic theorem proving and OTTER (Q2721238) (← links)
- Peculiarities of deductive constructions in evidence algorithm information environment (Q2737323) (← links)
- An algorithm for automatic demonstration of logical theorems (Q2884997) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Machine synthesis of mathematical theorems (Q3485887) (← links)
- Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them (Q3717021) (← links)
- (Q3718680) (← links)
- Deductive generalization for clause logic (Q3976573) (← links)
- (Q4818803) (← links)
- (Q4863622) (← links)
- Mechanized mathematics (Q5522905) (← links)
- A machine program for theorem-proving (Q5621961) (← links)
- Machine Deduction (Q6083700) (← links)