scientific article; zbMATH DE number 4022665

zbMATH Open0628.68067MaRDI QIDQ3765264FDOQ3765264

Authors: Ulrich Furbach 

Publication date: 1987

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

Recommendations

• Horn equational theories and paramodulation
• Simultaneous paramodulation
• Experiments with semantic paramodulation
• scientific article; zbMATH DE number 3837990
• Paramodulation-based theorem proving

zbMATH Keywords

resolutionlogic programminginterface between logic and functional programming languages

Mathematics Subject Classification ID

Cited In (2)

• Horn equational theories and paramodulation
• A maximal-literal unit strategy for horn clauses

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