The semantics of answer literals

DOI10.1007/BF00247669zbMath0879.03008OpenAlexW2089581572MaRDI QIDQ1357665

Kenneth Kunen

Publication date: 12 January 1998

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

Full work available at URL: https://doi.org/10.1007/bf00247669

zbMATH Keywords

completenessalgebraic theorysoundnessanswer literalsinequationresolution theorem-prover OTTERsolution of an equation

Mathematics Subject Classification ID

Related Items (2)

Searching for shortest single axioms for groups of exponent \(6\) ⋮ A formalised theorem in the partition calculus

Uses Software

• OTTER

This page was built for publication: The semantics of answer literals