System description: SystemOnTPTP

DOI10.1007/10721959_31MaRDI QIDQ2723436zbMATH OpenFDO

Authors Geoff Sutcliffe

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721959_31

Mathematics Subject Classification ID

Recommendations

• The TPTP problem library
• TPTP, TSTP, CASC, etc.
• MPTP 0.2: Design, implementation, and initial experiments
• MPTP 0.1 -- system description
• MPTP-motivation, implementation, first experiments

Cited in

(13)

• SystemOnTPTP
• JGXYZ: an ATP system for gap and glut logics
• Extending Sledgehammer with SMT solvers
• An interactive derivation viewer
• Semi-intelligible Isar proofs from machine-generated proofs
• Automatic proof and disproof in Isabelle/HOL
• System Description: Spass Version 3.0
• Extending Sledgehammer with SMT solvers
• Sledgehammer: judgement day
• CICM'22 system entries
• The dependently typed higher-order form for the TPTP world
• Stepping stones in the TPTP world
• Finite model finding in first-order modal logics

Describes a project that uses

Uses Software

• TPTP

This page was built for publication: System description: SystemOnTPTP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723436)