The following pages link to Liberalized variable splitting (Q877894):
Displaying 6 items.
- Incremental variable splitting (Q429591) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- A Labelled System for IPL with Variable Splitting (Q3608770) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187869) (← links)