A direct proof of the five element basis theorem.

Boban Velickovic Giorgio Venturi

Published in: Math. Log. Q. (2017)

Keyphrases

interactive theorem proving
theorem proving
learning algorithm
starting point
database
neural network
decision making
theorem prover
proof theory