Linear semi-look resolution

zbMATH Open0737.68073MaRDI QIDQ1179337FDOQ1179337

Authors: Xuhua Liu, Yupu Yang 

Publication date: 26 June 1992

Published in: Chinese Science Bulletin (Search for Journal in Brave)

Recommendations

• Generalized resolution and NC-resolution
• On linear resolution
• On paramodulation in linear strategies of the resolution method
• On resolution strategies with weak factorization

zbMATH Keywords

resolutionautomated theorem proving

Mathematics Subject Classification ID

Cited In (3)

• Title not available (Why is that?)
• On linear resolution
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic

This page was built for publication: Linear semi-look resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179337)