Diabelli: A Heterogeneous Proof System

DOI10.1007/978-3-642-31365-3_44zbMath1358.68267OpenAlexW182508314WikidataQ62046876 ScholiaQ62046876MaRDI QIDQ2908526

Matej Urbas, Mateja Jamnik

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_44

Mathematics Subject Classification ID

Related Items (1)

Speedith: a reasoner for spider diagrams

Uses Software

• Isabelle
• HOL
• Diabelli
• Speedith
• Openproof

This page was built for publication: Diabelli: A Heterogeneous Proof System