The semantics of answer literals

DOI10.1007/BF00247669MaRDI QIDQ1357665zbMATH OpenOpenAlexFDO

Authors 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

completenesssoundnessalgebraic theoryanswer literalsinequationresolution theorem-prover OTTERsolution of an equation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3871320
• A maximal-literal unit strategy for horn clauses
• scientific article; zbMATH DE number 67452
• A formal grammatical model of the resolution method for the propositional calculus
• Defining answer classes using resolution refutation

Cited in

(5)

• Defining answer classes using resolution refutation
• Program Synthesis in Saturation
• Searching for shortest single axioms for groups of exponent \(6\)
• A semantics for complex objects and approximate answers
• A formalised theorem in the partition calculus

Describes a project that uses

Uses Software

• OTTER

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357665)