QMLTP
From MaRDI portal
Software:21894
No author found.
Related Items (12)
The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ The QMLTP Problem Library for First-Order Modal Logics ⋮ There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners ⋮ MleanCoP: A Connection Prover for First-Order Modal Logic ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Unnamed Item ⋮ Theorem Provers For Every Normal Modal Logic ⋮ The higher-order prover Leo-III ⋮ Unnamed Item ⋮ Local reductions for the modal cube ⋮ HOL Based First-Order Modal Logic Provers
This page was built for software: QMLTP
