Studying Algebraic Structures using Prover9 and Mace4.

Rob Arthan Paulo Oliva

Published in: CoRR (2019)

Keyphrases

algebraic structures
partially ordered sets
inductive inference
theorem proving
theorem prover
special case
automated theorem proving
databases
artificial intelligence
cooperative
pairwise
high dimensional
cost function
programming language
first order logic