THF0

swMATH3310MaRDI QIDQ15842FDOQ15842

Author name not available (Why is that?)

Described by source

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

Cited In (13)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Combining Logics in Simple Type Theory
• The TPTP World – Infrastructure for Automated Reasoning
• Title not available (Why is that?)
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
• Combining and automating classical and non-classical logics in classical higher-order logics
• GRUNGE: a grand unified ATP challenge
• Proofs and Reconstructions
• Formal Logic Definitions for Interchange Languages
• The TPTP Typed First-Order Form with Arithmetic
• Title not available (Why is that?)
• Functions-as-constructors Higher-order Unification

This page was built for software: THF0