Induction with Generalization in Superposition Reasoning
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Андрей Воронков
Topics & Concepts
Computer scienceGeneralizationAutomated theorem provingSuperposition principleExtension (predicate logic)Mathematical inductionVampireAutomated reasoningInductive reasoningArtificial intelligenceTheoretical computer scienceAlgorithmProgramming languageMathematicsMathematical analysisGeometryLogic, programming, and type systemsLogic, Reasoning, and KnowledgeSemantic Web and Ontologies