Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL.

Martin Raska Stepán Starosta

Published in: CoRR (2021)

Keyphrases

theorem prover
natural deduction
knowledge base
theorem proving
high quality
inference rules
databases
information extraction
database
neural network
e learning
bayesian networks
background knowledge
first order logic
sequent calculus
higher order logic