Proving Properties of φ-Representations with the Walnut Theorem-Prover.

Jeffrey Shallit

Published in: CoRR (2023)

Keyphrases

theorem prover
theorem proving
first order logic
automated reasoning
automated theorem proving

term rewriting
inference rules
formal proof
desirable properties
computer algebra

higher order logic
natural deduction
boolean algebra
formal semantics
automated deduction

mathematical knowledge
data mining
timed automata
artificial intelligence
genetic algorithm