Superposition with Delayed Unification.

Ahmed Bhayat Johannes Schoisswohl Michael Rawson

Published in: CoRR (2024)

Keyphrases

theorem proving
theorem prover
higher order
automated theorem proving
equational theories
database systems
term rewriting
data analysis
first order logic
feature extraction
lower bound
domain knowledge
management system