Searched defs:Theorem (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuide.tex857 relations between different theories. Theorem links are the central
860 Theorem links can be \emph{global} (drawn as solid arrows) or
872 Theorem links are initially displayed in red.
876 into simpler (local and global) ones. Theorem links that have been
1587 \item The list `Pick Theorem Prover:' lets you choose one of the connected
1642 \subsection[Automated Theorem Proving Systems]
1643 {Automated Theorem Proving Systems\\(Logic SoftFOL)}
1745 library Thousands of Problems for Theorem Provers (TPTP)

Completed in 14 milliseconds