Pages that link to "Item:Q2996159"
From MaRDI portal
The following pages link to Proof and Model Generation with Disconnection Tableaux (Q2996159):
Displaying 7 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
