Pages that link to "Item:Q3192198"
From MaRDI portal
The following pages link to MleanCoP: A Connection Prover for First-Order Modal Logic (Q3192198):
Displayed 12 items.
- MleanCoP (Q33329) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)