Link inheritance in abstract clause graphs

DOI10.1007/BF00381143zbMath0635.68107OpenAlexW2002861469MaRDI QIDQ1097716

Hans Jürgen Ohlbach

Publication date: 1987

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00381143

zbMATH Keywords

automated theorem provingunification problemclause graphsLink inheritancetheory unification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

A resolution principle for constrained logics ⋮ Reduction rules for resolution-based systems

Cites Work

• Unnamed Item
• Paramodulated connection graphs
• Automated deduction by theory resolution
• A Proof Procedure Using Connection Graphs

This page was built for publication: Link inheritance in abstract clause graphs