Evidence algorithm: 50 years of development

MaRDI QIDQ6976553zbMATH OpenFDO

Authors Alexander Lyaletski

Publication date 2 June 2025

zbMATH Keywords

automated deductionautomated theorem provingevidence algorithmSAD system

Mathematics Subject Classification ID

History of computer science (68-03) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Evidence algorithm: 50 years of development

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