Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well known and well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The extension of the TPTP from first-order form (FOF) logic to typed h...

Full description

Bibliographic Details
Main Authors:	Christoph Benzmueller, Geoff Sutcliffe
Format:	Article
Language:	English
Published:	University of Bologna 2010-01-01
Series:	Journal of Formalized Reasoning
Online Access:	http://jfr.cib.unibo.it/article/view/1710/1179

Similar Items

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
by: Sebastiaan Joosten, et al.
Published: (2014-06-01)

Total synthesis of cis-sylvaticin and synthetic studies towards the synthesis of adjacent THF-THF and THF-THP Annonaceous acetogenins
by: Spurr, Ian Bruce
Published: (2010)

Automated reasoning techniques for hybrid logics
by: Gorín, Daniel Alejandro
Published: (2009)

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by: Martin, Alan J.
Published: (2011)

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by: Martin, Alan J.
Published: (2011)

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by: Martin, Alan J.
Published: (2011)

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by: Martin, Alan J
Published: (2013)

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by: Martin, Alan J.
Published: (2011)

Influence of THF and THF/SDS on the Kinetics of CO2 Hydrate Formation Under Stirring
by: Hongliang Wang, et al.
Published: (2021-02-01)

兢爭連續二級反應的動力學探討:Sn（tptp）（OMe）2之二步水解
by: CAI,JIN-ZHU, et al.
Published: (1991)

GRIGNARD REACTION WITH ACETYLENE IN THF
by: Pällin, Velio, et al.
Published: (2000-03-01)

Stereospecific approaches to THF-lignans
by: Bradley, Hilary Margaret
Published: (1992)

Logical representations for automated reasoning about spatial relationships
by: Bennett, Brandon
Published: (1997)

Preparation and Characterization of Smcl3(THF)3 and Sm(BH4)3(THF)3 Complexes
by: Hossein Aghabozorg, et al.
Published: (1993-12-01)

Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
by: Krishnaswami, Neelakantan R.
Published: (2012)

Light Logics and Higher-Order Processes
by: Ugo Dal Lago, et al.
Published: (2010-11-01)

Automated Reasoning over Deontic Action Logics with Finite Vocabularies
by: Pablo F. Castro, et al.
Published: (2014-01-01)

Total Synthesis of Annonaceous Acetogenins Belonging to the Non-Adjacent Bis-THF and Non-Adjacent THF-THP Sub-Classes
by: Richard C. D. Brown, et al.
Published: (2010-01-01)

FORMATION AND DISSOCIATION OF CO2 AND CO2 – THF HYDRATES COMPARED TO CH4 AND CH4 - THF HYDRATES
by: Giavarini, Carlo, et al.
Published: (2008)

FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
by: DAVI ROMERO DE VASCONCELOS
Published: (2007)

Tetrahydrofuran (THF)-Mediated Structure of THF·(H<sub>2</sub>O)<i><sub>n</sub></i><sub>=1–10</sub>: A Computational Study on the Formation of the THF Hydrate
by: Jinxiang Liu, et al.
Published: (2019-01-01)

LiYbCl4(THF)4
by: Lukas Richtera, et al.
Published: (2011-06-01)

Rheology of THF hydrate slurries at high pressure
by: de Lima Silva Paulo H., et al.
Published: (2020-01-01)

Visible and ultraviolet laser spectroscopy of ThF
by: Zhou, Yan, et al.
Published: (2020)

Automated reasoning for modal logics : a natural deduction based approach
by: De La Quintana Bruggemann, Pablo Javier
Published: (1989)

Higher-order functional languages and intensional logic
by: Rondogiannis, Panagiotis
Published: (2015)

Executing behavioural definitions in Higher Order Logic
by: Camilleri, Albert John
Published: (1988)

Formalising process calculi in higher order logic
by: Nesi, Monica
Published: (1996)

Finite Model Reasoning in Expressive Fragments of First-Order Logic
by: Lidia Tendera
Published: (2017-03-01)

[en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
by: DAVI ROMERO DE VASCONCELOS
Published: (2007)

Reasoning about imperative and higher-order programs
Published: ()

ZETA POTENTIAL OF THF HYDRATES IN SDS AQUEOUS SOLUTIONS
by: Lo, C., et al.
Published: (2008)

ZETA POTENTIAL OF THF HYDRATES IN SDS AQUEOUS SOLUTIONS
by: Lo, C., et al.
Published: (2008)

The studies of supported phosphotungstic acid catalysts for THF polymerization
by: CHEN,HSUAN-FENG, et al.
Published: (2014)

The Effect of Logical Reasoning Abilities, Creativity and Personalities Traits of Higher Programming
by: Lin, Chen-Hsien, et al.
Published: (2016)

Exploring the Reactivity of Na[W2(μ-Cl)3Cl4(THF)2]∙(THF)3 towards the Polymerization of Selected Cycloolefins
by: Nikolaos Saragas, et al.
Published: (2015-12-01)

TETRAHYDROFURAN (THF) SOLVATES OF TIN(IV) HALIDES: CRYSTAL STRUCTURES ÖF TRANS-SnX4(THF)2 WHERE X = Cl, Br. MOLECULAR MODELLING OF THE CIS/TRANS ISOMERS OF SnX4(THF)2
by: Willey, Gerald R., et al.
Published: (1998-10-01)

Logical reasoning
by: Dias, M. G.
Published: (1988)

Formal Reliability Analysis using Higher-order Logic Theorem Proving
by: Abbasi, Naeem
Published: (2012)

Alternation Is Strict For Higher-Order Modal Fixpoint Logic
by: Florian Bruse
Published: (2016-09-01)

Cannot write session to /tmp/vufind_sessions/sess_7evpuie1g76obcdsdbaph7c8r4