SystemOnTPTP
From MaRDI portal
Software:22369
swMATH10408MaRDI QIDQ22369FDOQ22369
Author name not available (Why is that?)
Cited In (15)
- 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
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- Sledgehammer: judgement day
- ATP and presentation service for Mizar formalizations
- Title not available (Why is that?)
- Extending Sledgehammer with SMT solvers
- The TPTP World -- infrastructure for automated reasoning
- Automatic proof and disproof in Isabelle/HOL
- Title not available (Why is that?)
This page was built for software: SystemOnTPTP
