Logic programming as a basis for lean automated deduction

DOI10.1016/0743-1066(96)00054-4zbMath0874.68060OpenAlexW2038837162MaRDI QIDQ3129514

Bernhard Beckert, Joachim Posegga

Publication date: 10 November 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(96)00054-4

zbMATH Keywords

lean deduction

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• SETHEO
• leanTAP