Schematic Refutations of Formula Schemata.

David M. Cerna Alexander Leitsch Anela Lolic

Published in: CoRR (2019)

Keyphrases

functional dependencies
machine learning
database schema
theorem prover
data sets
databases
neural network
information systems
normal form