SystemOnTPTP
From MaRDI portal
Software:22369
swMATH10408MaRDI QIDQ22369FDOQ22369
Author name not available (Why is that?)
Cited In (15)
- 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
- The TPTP World – Infrastructure for Automated Reasoning
- Automatic Proof and Disproof in Isabelle/HOL
- 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
- Sledgehammer: Judgement Day
- Extending Sledgehammer with SMT Solvers
- ATP and presentation service for Mizar formalizations
- Title not available (Why is that?)
- Extending Sledgehammer with SMT solvers
- Title not available (Why is that?)
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This page was built for software: SystemOnTPTP
