scientific article; zbMATH DE number 7267155

DOI10.3969/j.issn.0258-2724.20180974zbMath1463.03001MaRDI QIDQ5128050

Xinran Ning, Yang Xu, Xingxing He

Publication date: 27 October 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicpreprocessing techniqueclause elimination methodimplication modulo resolutionset implication modulo resolution

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: