scientific article; zbMATH DE number 64168

MaRDI QIDQ4013363zbMATH OpenFDO

Authors Uwe Petermann

Publication date 27 September 1992

zbMATH Keywords

unificationconnection calculiopen first-order theoriestheory connections

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 517084
• scientific article; zbMATH DE number 1950264
• scientific article; zbMATH DE number 1341619
• scientific article; zbMATH DE number 1761415
• Theory reasoning in connection calculi

Cited in

(8)

• Ordered tableaux: extensions and applications
• scientific article; zbMATH DE number 517084 (Why is no real title available?)
• Cyclic connections
• Incremental theory reasoning methods for semantic tableaux
• scientific article; zbMATH DE number 1761415 (Why is no real title available?)
• Connection calculus theorem proving with multiple built-in theories
• scientific article; zbMATH DE number 549993 (Why is no real title available?)
• Linear and unit-resulting refutations for Horn theories

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 Q4013363)