scientific article; zbMATH DE number 3441640
From MaRDI portal
Publication:4766612
Cited in
(8)- Non-resolution theorem proving
- Metamathematical approach to proving theorems of discrete mathematics
- Proof strategies in linear logic
- The resolution method for one reducible class of formulas of the first-order modal logic S4.
- Linear resolution with selection function
- Evidence algorithm and inference search in first-order logics
- To Vladimir Lifschitz on His 65th Birthday
- Using resolution for deciding solvable classes and building finite models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4766612)
