Paper Info
Title
Diabelli: a heterogeneous proof system
Abstract
We present Diabelli, a formal reasoning system that enables users to construct so-called heterogeneous proofs that intermix sentential formulae with diagrams.
Year
DOI
Venue
2012
10.1007/978-3-642-31365-3_44
IJCAR
Keywords
Field
DocType
formal reasoning system,heterogeneous proof system,intermix sentential formula,so-called heterogeneous proof
Formal reasoning,Computer science,Automated theorem proving,Algorithm,Mathematical proof,Spider diagram
Conference
Citations 
PageRank 
References 
5
0.50
3
Authors
2
Name
Order
Citations
PageRank
Matej Urbas1182.69
Mateja Jamnik215830.79