Liss — The logic inference search system

DOI10.1007/3-540-52885-7_138MaRDI QIDQ6488583zbMATH OpenFDO

Authors A. A. Voronkov

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_138

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A decidable fragment of predicate calculus
• scientific article; zbMATH DE number 3755913 (Why is no real title available?)
• Resolution on formula-trees

This page was built for publication: Liss — The logic inference search system

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