Searched refs:Prove (Results 1 - 3 of 3) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java5 public class Prove { class
/hets/doc/
H A DUserGuideCommonLogic.tex790 The node menus ``Prove'' and ``Check consistency'' are the most
1164 prover, i.e.\ by using the ``Prove'' menu of a red node.
1177 \caption{Prove local proof obligation\label{fig:Prove_devGraph}}
1203 \item With the `Prove' button the actual prover is launched. The provers are described
1207 zChaff, described below). By pressing `Prove' the selected prover is
1326 preceding proven theorems in next proof attempt' and pressing `Prove all'
H A DUserGuide.tex1226 \item[Prove] Try to prove the local proof goals. See Section~\ref{sec:Proofs}
1229 \item[Prove VSE structured] Allows to send a development graph below the
1251 Show proof status} and {\bf Prove} and moroever, the option {\bf Show
1559 prover, i.e. by using the ``Prove'' menu of a red node.
1585 \item With the `Prove' button the actual prover is launched. This is described
1589 zChaff, described below). By pressing `Prove' the selected prover is
1658 preceeding proven theorems in next proof attempt' and pressing `Prove all'
1823 choice box shown after ``Prove'' or you can select ``Prove VSE Structured''.

Completed in 20 milliseconds