The following pages link to (Q4412859):
Displaying 10 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- (Q3716324) (← links)
- Automated Reasoning (Q5307066) (← links)