The following pages link to QMLTP (Q21894):
Displaying 12 items.
- The higher-order prover Leo-III (Q1799072) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
- The QMLTP Problem Library for First-Order Modal Logics (Q2908515) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- MleanCoP: A Connection Prover for First-Order Modal Logic (Q3192198) (← links)
- (Q3457212) (← links)
- There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners (Q3460064) (← links)
- Theorem Provers For Every Normal Modal Logic (Q4645724) (← links)
- (Q5018490) (← links)
