scientific article; zbMATH DE number 3988746

zbMATH Open0611.68058MaRDI QIDQ3751043FDOQ3751043

Authors: Neil V. Murray, Erik Rosenthal 

Publication date: 1985

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

Recommendations

• Inference with path resolution and semantic graphs
• Dissolution
• scientific article; zbMATH DE number 1954131
• scientific article; zbMATH DE number 3986668
• scientific article; zbMATH DE number 15495

zbMATH Keywords

automated deductiondeduction systemrule of inferencequantifier-free predicate calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35)

Cited In (12)

• A formally proved, complete algorithm for path resolution with symbolic links
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the relative merits of path dissolution and the method of analytic tableaux
• Dissolution
• Title not available (Why is that?)
• Inference with path resolution and semantic graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated Reasoning

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