Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas

Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante +2

First-order logic is the basis for many knowledge representation formalisms and methods. Providing technological support for learning to write first-order formulas for natural lang…