scientific article; zbMATH DE number 3990906

MaRDI QIDQ3753517zbMATH OpenFDO

Authors Hans Jürgen Ohlbach

Publication date 1986

zbMATH Keywords

unification algorithmabstract clause graphs

Mathematics Subject Classification ID

Recommendations

• Link inheritance in abstract clause graphs
• scientific article; zbMATH DE number 4047183
• scientific article; zbMATH DE number 3986668
• On the termination of clause graph resolution
• scientific article; zbMATH DE number 3988746

Cited in

(8)

• On condensation of a clause.
• scientific article; zbMATH DE number 4003561 (Why is no real title available?)
• scientific article; zbMATH DE number 3986668 (Why is no real title available?)
• Layered clause selection for theory reasoning (short paper)
• Link inheritance in abstract clause graphs
• scientific article; zbMATH DE number 2062337 (Why is no real title available?)
• On the termination of clause graph resolution
• scientific article; zbMATH DE number 4072435 (Why is no real title available?)

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