An Interactive Derivation Viewer

DOI10.1016/j.entcs.2006.09.025zbMath1278.68282OpenAlexW2078574774WikidataQ126263457 ScholiaQ126263457MaRDI QIDQ2867942

Yury Puzis, Steven Trac, Geoff Sutcliffe

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.025

zbMATH Keywords

derivation viewerproof synopsis

Mathematics Subject Classification ID

Related Items (5)

The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ VizAR: visualization of automated reasoning proofs (system description) ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic ⋮ Panoptes

Uses Software

• VAMPIRE
• SPASS
• TPTP
• E Theorem Prover
• SystemOnTPTP
• TRAMP
• P.rex
• IDV

Cites Work

• The TPTP problem library. CNF release v1. 2. 1
• Using the TPTP Language for Writing Derivations and Finite Interpretations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Interactive Derivation Viewer