Boolean unification with predicates.

Sebastian Eberhard Stefan Hetzl Daniel Weller

Published in: J. Log. Comput. (2017)

Keyphrases

function symbols
boolean expressions
boolean queries
theorem proving
real valued
higher order
user defined
boolean functions
boolean operators
knuth bendix
theorem prover
artificial neural networks
search engine
automated theorem proving
neural network
data sets
closed sets
multiscale
data mining