Linear semi-look resolution

From MaRDI portal

Publication:1179337

Jump to:navigation, search

zbMath0737.68073MaRDI QIDQ1179337

Yupu Yang, Xuhua Liu

Publication date: 26 June 1992

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

zbMATH Keywords

resolution automated theorem proving

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1179337&oldid=12029672"

Pages with script errors