Theorem proving decomposition algorithm based on semi-extension rule

DOI10.13328/J.CNKI.JOS.004734MaRDI QIDQ2993255zbMATH OpenFDO

Authors Dantong Ouyang, Yi Zhao, Liming Zhang

Publication date 10 August 2016

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004734

zbMATH Keywords

extension rulepropositional logicsatisfiability problemtheorem proving

Mathematics Subject Classification ID

Recommendations

• Extension rule algorithms based on IMOM and IBOHM heuristics strategies
• Improved Propositional Extension Rule
• Theorem proving based on the extension rule
• scientific article; zbMATH DE number 1098495
• scientific article; zbMATH DE number 3959369

Cited in

(3)

• Theorem proving based on the extension rule
• Extension rule algorithms based on IMOM and IBOHM heuristics strategies
• Improved Propositional Extension Rule

This page was built for publication: Theorem proving decomposition algorithm based on semi-extension rule

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