The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 |
scientific article; zbMATH DE number 6833659
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 |
scientific article; zbMATH DE number 6833659 |
Statements
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (English)
0 references
2 February 2018
0 references
TPTP
0 references
ATP system evaluation
0 references
ATP standards and tools
0 references
0 references
0.9258802
0 references
0.9221591
0 references
0.82447857
0 references
0.7939217
0 references
0.7796359
0 references
0.7764499
0 references
0 references
