scientific article; zbMATH DE number 64168

zbMATH Open0760.03004MaRDI QIDQ4013363FDOQ4013363

Authors: Uwe Petermann 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

unificationconnection calculiopen first-order theoriestheory connections

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Ordered tableaux: extensions and applications
• Title not available (Why is that?)
• Cyclic connections
• Incremental theory reasoning methods for semantic tableaux
• Title not available (Why is that?)
• Connection calculus theorem proving with multiple built-in theories
• Title not available (Why is that?)
• 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)