Publication:3838818
From MaRDI portal
zbMath0909.03016MaRDI QIDQ3838818
Christoph Kreitz, Stephan Schmitt
Publication date: 8 April 1999
automated theorem proving; connection method; proof reconstruction; translation of matrix proofs into sequent proofs
03B35: Mechanization of proofs and logical operations
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items