Working with First Order Proofs and Provers.

Michael A. Raskin Christoph Welzel

Published in: ELS (2019)

Keyphrases

probabilistic logic
theorem prover
theorem proving
first order logic
term rewriting
real world
inference rules
proof search
multiscale
formal proofs
data structure
probabilistic model
predicate calculus
formal proof