Login / Signup
Two direct proofs that LLPO implies the detachable fan theorem.
Douglas S. Bridges
James E. Dent
Maarten McKubre-Jordens
Published in:
Log. J. IGPL (2013)
Keyphrases
</>
interactive theorem proving
theorem proving
neural network
wide range
information retrieval
computer vision
clustering algorithm
special case