Relaxed Weighted Path Order in Theorem Proving.

Jan Jakubuv Cezary Kaliszyk

Published in: Math. Comput. Sci. (2020)

Keyphrases

theorem proving
automated reasoning
first order logic
shortest path
inference rules
theorem prover
decision procedures
machine learning
expert systems
training set
automated deduction
parallel search
proof planning
consequence finding