Pages that link to "Item:Q583187"
From MaRDI portal
The following pages link to Maslov's inverse method and decidable classes (Q583187):
Displaying 4 items.
- Condensed detachment is complete for relevance logic: A computer-aided proof (Q1181717) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
