Abstract Soundness

swMATH28839MaRDI QIDQ40553FDOQ40553

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Abstract Soundness