scientific article
From MaRDI portal
Publication:3433180
zbMath1119.03321MaRDI QIDQ3433180
Branden Fitelson, Dolph Ulrich, Larry Wos
Publication date: 27 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalenceautomated reasoningcondensed detachmentdetachmentOTTERsingle axiomsequivalential calculusXCBshortest single axiomsCXM
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Uses Software
This page was built for publication: