Superposition with Delayed Unification.

Ahmed Bhayat Johannes Schoisswohl Michael Rawson

Published in: CADE (2023)

Keyphrases

theorem proving
theorem prover
automated theorem proving
equational theories
higher order
first order logic
knowledge base
image processing
multi agent systems
knowledge representation
inference rules
knuth bendix