scientific article; zbMATH DE number 1748570

MaRDI QIDQ4530455zbMATH OpenFDO

Authors Peter Baumgartner, Norbert Eisinger, Ulrich Furbach

Publication date 3 June 2002

zbMATH Keywords

automated theorem provingconfluencefirst-order connection methodsproof proceduresrigid variable methodstableaux calculi

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1341619
• scientific article; zbMATH DE number 1950264
• scientific article; zbMATH DE number 4209640
• A Non-clausal Connection Calculus
• scientific article; zbMATH DE number 48763

Cited in

(10)

• A Non-clausal Connection Calculus
• scientific article; zbMATH DE number 1341619 (Why is no real title available?)
• scientific article; zbMATH DE number 1950264 (Why is no real title available?)
• Cyclic connections
• The disconnection method
• scientific article; zbMATH DE number 3992946 (Why is no real title available?)
• scientific article; zbMATH DE number 1882047 (Why is no real title available?)
• Multiplicativity of Connes’ calculus
• scientific article; zbMATH DE number 5033878 (Why is no real title available?)
• Computer Aided Verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530455)