Shortest single axioms for the equivalential calculus with CD and RCD

DOI10.1023/A:1005731217123zbMath0893.68137OpenAlexW1594239767MaRDI QIDQ1383993

Kahlil Hodgson

Publication date: 13 April 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005731217123

zbMATH Keywords

automated reasoningMACEOTTER

Mathematics Subject Classification ID

Uses Software

• Mace4
• Unnamed Item

This page was built for publication: Shortest single axioms for the equivalential calculus with CD and RCD