A Comprehensive Framework for Saturation Theorem Proving
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Christian Blanchette
Topics & Concepts
Computer scienceAutomated theorem provingGas meter proverMathematical proofCompleteness (order theory)Modular designRedundancy (engineering)Calculus (dental)Programming languageTheoretical computer scienceMathematicsDentistryMedicineOperating systemMathematical analysisGeometryLogic, programming, and type systemsLogic, Reasoning, and KnowledgeSecurity and Verification in Computing