A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
From MaRDI portal
Publication:759491
DOI10.1016/0004-3702(84)90054-7zbMath0553.68051WikidataQ114262293 ScholiaQ114262293MaRDI QIDQ759491
Publication date: 1984
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(84)90054-7
automated reasoning; AURA; equivalential calculus; ever-increasing length conjecture of deducible formulas; shortest single axiom property
DB lookup for MSC labels failed
Related Items
The problem of selecting an approach based on prior success, The application of automated reasoning to questions in mathematics and logic, Searching for circles of pure proofs
Uses Software