Publication:4524786
From MaRDI portal
zbMath0971.03014MaRDI QIDQ4524786
Wolfgang Bibel, Stefan Brüning, Thomas Rath, Jens Otten, Torsten Schaub
Publication date: 29 July 2001
efficiency; compression; proof system; databases; decision procedure; connection method; KoMeT theorem proving system
03B35: Mechanization of proofs and logical operations