Prime Implicate Generation in Equational Logic

DOI10.1613/jair.5481zbMath1423.68413OpenAlexW4300828955MaRDI QIDQ4600725

Sophie Tourret, Nicolas Peltier, Mnacho Echenim

Publication date: 12 January 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5481

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Prime Implicate Generation in Equational Logic