The following pages link to (Q2751380):
Displayed 5 items.
- 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)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)