SystemOnTPTP
From MaRDI portal
Cited in
(21)- Extending Sledgehammer with SMT solvers
- An interactive derivation viewer
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
- Using the TPTP Language for Writing Derivations and Finite Interpretations
- Semi-intelligible Isar proofs from machine-generated proofs
- SRASS - A Semantic Relevance Axiom Selection System
- THF0
- I-SATCHMO
- AgsyHOL
- IDV
- Robbins Conjecture
- Network Security Policy Verification
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- Sledgehammer: judgement day
- ATP and presentation service for Mizar formalizations
- scientific article; zbMATH DE number 1765659 (Why is no real title available?)
- Extending Sledgehammer with SMT solvers
- The TPTP World -- infrastructure for automated reasoning
- Automatic proof and disproof in Isabelle/HOL
- scientific article; zbMATH DE number 7178360 (Why is no real title available?)
This page was built for software: SystemOnTPTP
