A new proof of Grinberg Theorem based on cycle bases.

Published in: CoRR (2018)

Keyphrases

interactive theorem proving
linear logic
theorem proving
intuitionistic logic
databases
von neumann
theorem prover
special case
information retrieval
neural network
basis functions
database systems
image processing
knowledge base
proof theory
proof planning
database