The following pages link to (Q3291529):
Displaying 5 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- (Q4770509) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- The logicality of equality (Q6612870) (← links)