THF0

MaRDI QIDQ15842swMATHFDO

Official website http://www.cs.miami.edu/~tptp/

Described by source

• THF0 – The Core of the TPTP Language for Higher-Order Logic

Cited in

(22)

• LEO-II
• TPS
• I-SATCHMO
• ForTheL
• SystemOnTPTP
• GRUNGE: a grand unified ATP challenge
• AgsyHOL
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• SigmaKEE
• The TPTP typed first-order form with arithmetic
• Proofs and reconstructions
• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• The TPTP World -- infrastructure for automated reasoning
• scientific article; zbMATH DE number 5850137 (Why is no real title available?)
• SNARK
• Formal logic definitions for interchange languages
• Combining logics in simple type theory
• GoedelGod
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• scientific article; zbMATH DE number 7178360 (Why is no real title available?)
• Functions-as-constructors Higher-order Unification
• Combining and automating classical and non-classical logics in classical higher-order logics

This page was built for software: THF0