Complete demodulation for automatic theorem proving

DOI10.1016/0898-1221(76)90028-6MaRDI QIDQ1241989zbMATH OpenOpenAlexFDO

Authors Steven K. Winker

Publication date 1976

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(76)90028-6

Mathematics Subject Classification ID

General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3330761 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Complexity and related enhancements for automated theorem-proving programs
• The Concept of Demodulation in Theorem Proving

This page was built for publication: Complete demodulation for automatic theorem proving

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