The following pages link to (Q2751380):
Displaying 4 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
