FMLtoHOL

swMATH21539MaRDI QIDQ33346FDOQ33346

Author name not available (Why is that?)

Described by source

• HOL Based First-Order Modal Logic Provers

Cited In (3)

• Extensional higher-order paramodulation in Leo-III
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
• Higher-Order Modal Logics: Automation and Applications

This page was built for software: FMLtoHOL