The following pages link to (Q4766612):
Displayed 8 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Metamathematical approach to proving theorems of discrete mathematics (Q1255328) (← links)
- Proof strategies in linear logic (Q1340963) (← links)
- The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)