The TPTP problem library (Q5210777): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 12:22, 21 July 2024

scientific article; zbMATH DE number 7154551

Language	Label	Description	Also known as
English	The TPTP problem library	scientific article; zbMATH DE number 7154551

Statements

scholarly article

0 references

The TPTP problem library (English)

0 references

Christian Suttner

0 references

Theodor Yemenis

0 references

Geoff Sutcliffe

0 references

Automated Deduction — CADE-12

0 references

publication date

21 January 2020

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-58156-1_18

0 references

Challenge problems in elementary calculus

0 references

Set theory in first-order logic: Clauses for Gödel's axioms

0 references

0 references

Single axioms for groups and abelian groups with various operations

0 references

Problems and Experiments for and with Automated Theorem-Proving Programs

0 references

0 references

Seventy-five problems for testing automatic theorem provers

0 references

Non-Horn clause logic programming without contrapositives

0 references

Automated deduction in von Neumann-Bernays-Gödel set theory

0 references

The TPTP problem library

0 references

Schubert's steamroller problem: Formulations and solutions

0 references

Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-58156-1_18

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5210777

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5210777&oldid=36553852"