Separating the Fan Theorem and its weakenings.

Robert S. Lubarsky Hannes Diener

Published in: J. Symb. Log. (2014)

Keyphrases

von neumann
cooperative
interactive theorem proving
search engine
reinforcement learning
learning environment
lower bound
feature vectors