zbMath0963.03009MaRDI QIDQ2721210
Stephan Schmitt
Publication date: 1 July 2001
zbMATH Keywords
analytic tableaux; matrix proofs; sequent proofs
Mathematics Subject Classification ID
03B35: Mechanization of proofs and logical operations
03F07: Structure of proofs
Uses Software