Sign in
Back
The TPTP Problem Library and Associated InfrastructureThe FOF and CNF Parts, v3.5.0
Journal article   Peer reviewed

The TPTP Problem Library and Associated InfrastructureThe FOF and CNF Parts, v3.5.0

Geoff Sutcliffe
Journal of automated reasoning, Vol.43(4), pp.337-362
2009-12-01
DOI: https://doi.org/10.1007/s10817-009-9143-8

Abstract

Automated reasoning Infrastructure Libraries
This paper describes the First-Order Form (FOF) and Clause Normal Form (CNF) parts of the TPTP problem library, and the associated infrastructure. TPTP v3.5.0 was the last release containing only FOF and CNF problems, and thus serves as the exemplar. This paper summarizes the history and development of the TPTP, describes the structure and contents of the TPTP, and gives an overview of TPTP related projects and tools.

Metrics

22 Record Views
216 Times Cited - Web of Science

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Citation topics
4 Electrical Engineering, Electronics & Computer Science
4.47 Software Engineering
4.47.281 Abstract Interpretation
Web Of Science research areas
Computer Science, Artificial Intelligence
ESI research areas
Computer Science

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

undefined

Source: InCites

Details