Regressive Merging in Model Elimination Tableau-Based Theorem Provers.

Kevin Wallace Graham Wrightson

Published in: Log. J. IGPL (1995)

Keyphrases

probabilistic model
experimental data
computational model
theorem prover
neural network
mathematical model
statistical model
high level
prior knowledge
higher order
conceptual model
automated theorem proving