Lines Matching refs:ref
179 Fig.~\ref{fig:lang} for a simple subset of the
183 called comorphisms) is shown in Fig.~\ref{fig:LogicGraph}, and the
184 degree of support by \Hets in Fig.~\ref{fig:Languages}.
412 \item[VSE] is an interactive theorem prover, see \ref{subsec:VSE}.
478 in Sect.~\ref{sec:HetSpec} below.
491 comorphisms, is shown in Fig.~\ref{fig:SublogicGraph}.
707 Sect.~\ref{sec:DevGraph}) even if the individual specifications are
775 embedding of \CASL into \HasCASL (cf.\ Fig.~\ref{fig:LogicGraph}).
957 of the specifications in the library), see Fig.~\ref{fig:dg0}.
1040 \Hets now displays a more complex development graph, see Fig.~\ref{fig:dg1}.
1077 \NAMEREF{List\_Order} is displayed in Fig.~\ref{fig:dg1}
1226 \item[Prove] Try to prove the local proof goals. See Section~\ref{sec:Proofs}
1231 available, see \ref{subsec:VSE}.
1242 for the current node, see \ref{sec:CC}.
1450 without blanks of one or more comorphism names (see Sect.~\ref{comorphisms})
1463 \ref{sec:Server})
1556 The proof calculus for development graphs (Sect.~\ref{sec:DevGraph}) reduces
1562 Fig. \ref{fig:proof_window} --- we call it ``Proof Management GUI''.
1612 checker'' shown in Fig. \ref{fig:cons_window}. This GUI is invoked from
1633 (Fig. \ref{fig:cons_res}) will pop up and allow you to inspect the models for
1654 inactive. Figure~\ref{fig:SPASS_GUI} shows the instantiation for \SPASS, where
1672 Table~\ref{tab:MathServe}, along with their capabilities. These
1849 to be true. zChaff uses the same ATP GUI as the provers for SoftFOL (ref. to section
1850 \ref{sec:ATP}). zChaff does not accept any options apart from the time-limit. The
1873 Pellet uses the same ATP GUI as the provers for SoftFOL (ref. to section
1874 \ref{sec:ATP}).
1901 Fact++ uses the same ATP GUI as the provers for SoftFOL (ref. to section
1902 \ref{sec:ATP}).
1930 E-KRHyper uses the same ATP GUI as the other provers for SoftFOL (ref. to section
1931 \ref{sec:ATP}).
1946 Darwin uses the same ATP GUI as the other provers for SoftFOL (ref. to section
1947 \ref{sec:ATP}).
1971 The architecture of \Hets is shown in Fig.~\ref{fig:hets}.
1973 This is depicted in the left column of Fig.~\ref{fig:hets}.
2024 Fig.~\ref{fig:logic:all}, where we present a simplified, stripped down
2035 of Fig.~\ref{fig:hets}. These modules comprise roughly one third of
2039 conforming to the syntax in Fig.~\ref{fig:lang}
2054 development graph (cf.\ Sect.~\ref{sec:DevGraph} above). Starting with a
2061 development graphs, as described in Sect.~\ref{sec:DevGraph}.
2063 see Sect.~\ref{sec:Proofs}.