On simplification of formulas with unconstrained variables and quantifiers

DOI10.1007/978-3-319-66263-3_23zbMath1496.68369OpenAlexW2742322653MaRDI QIDQ1680265

Martin Jonáš, Jan Strejček

Publication date: 15 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_23

Mathematics Subject Classification ID

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

This page was built for publication: On simplification of formulas with unconstrained variables and quantifiers