QMLTP
From MaRDI portal
Software:21894
swMATH9915MaRDI QIDQ21894FDOQ21894
Author name not available (Why is that?)
Cited In (12)
- Local reductions for the modal cube
- There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners
- HOL Based First-Order Modal Logic Provers
- Extensional higher-order paramodulation in Leo-III
- MleanCoP: A Connection Prover for First-Order Modal Logic
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- Theorem Provers For Every Normal Modal Logic
- Title not available (Why is that?)
- The QMLTP Problem Library for First-Order Modal Logics
- Higher-Order Modal Logics: Automation and Applications
- The higher-order prover Leo-III
- Title not available (Why is that?)
This page was built for software: QMLTP
