Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
From MaRDI portal
(Redirected from Publication:1364068)
Recommendations
Cites work
- scientific article; zbMATH DE number 4104410 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3339443 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- A man-machine theorem-proving system
- Completely non-clausal theorem proving
- On Matrices with Connections
- Theorem Proving via General Matings
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
- scientific article; zbMATH DE number 991409 (Why is no real title available?)
- 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)
