Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system

DOI10.1007/BF02366511zbMATH Open0881.68109MaRDI QIDQ1364068FDOQ1364068

Marina K. Morokhovets, V. V. Atayan

Publication date: 6 October 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Recommendations

• Combining assisted and automated deduction
• Peculiarities of deductive constructions in evidence algorithm information environment
• TPS: A hybrid automatic-interactive system for developing proofs
• scientific article
• scientific article; zbMATH DE number 3922016

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completely non-clausal theorem proving
• Theorem Proving via General Matings
• On Matrices with Connections
• A man-machine theorem-proving system
• Title not available (Why is that?)

Cited In (8)

• Peculiarities of deductive constructions in evidence algorithm information environment
• On the EA-style integrated processing of self-contained mathematical texts
• Evidence algorithm and inference search in first-order logics
• Combining assisted and automated deduction
• Glushkov's evidence algorithm
• Title not available (Why is that?)
• Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999)
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge

This page was built for publication: Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system

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