Abstract Soundness

MaRDI QIDQ40553swMATHFDO

Official website https://www.isa-afp.org/entries/Abstract_Soundness.html

Cited in

(5)

• theoremprover-museum
• Knuth Bendix Orders
• Incompleteness Theorems
• Incredible Proof Machine
• Formalization of the resolution calculus for first-order logic

This page was built for software: Abstract Soundness