scientific article; zbMATH DE number 6938205

zbMATH Open1441.68277MaRDI QIDQ5376325FDOQ5376325

Mikheil Rukhaia, Lia Kurtanidze, Gela Chankvetadze

Publication date: 17 September 2018

Title of this publication is not available (Why is that?)

zbMATH Keywords

sequent calculusproof-searchformula schemata

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proofs as schemas and their heuristic use

   Recommendations

• Automated Constructivization of Proofs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic Proof Generation in Kleene Algebra 👍 👎
• Title not available (Why is that?) 👍 👎
• A formal proof generator from semi-formal proof documents 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic construction of Hoare proofs from abstract interpretation results. 👍 👎

This page was built for publication:

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