Completeness of a Prover for Dense Linear Orders.

Published in: J. Autom. Reason. (1992)

Keyphrases

real time
theorem prover
linear systems
linear complexity
database
data mining
first order logic
theorem proving