ML_file ‹TPTP_Parser/ml_yacc_lib.ML›(*generated from ML-Yacc's lib*)
ML_file ‹TPTP_Parser/tptp_syntax.ML›
ML_file ‹TPTP_Parser/tptp_lexyacc.ML›(*generated from tptp.lex and tptp.yacc*)
ML_file ‹TPTP_Parser/tptp_parser.ML›
ML_file ‹TPTP_Parser/tptp_problem_name.ML›
ML_file ‹TPTP_Parser/tptp_proof.ML›
text‹The TPTP parser was generated using ML-Yacc, and needs the
-Yacc library to operate. This library is included with the parser,
we include the next section in accordance with ML-Yacc's terms of
.›
section"ML-YACC COPYRIGHT NOTICE, LICENSE AND DISCLAIMER." text‹
1989, 1990 by David R. Tarditi Jr. and Andrew W. Appel
to use, copy, modify, and distribute this software and its
for any purpose and without fee is hereby granted,
that the above copyright notice appear in all copies and that
the copyright notice and this permission notice and warranty
appear in supporting documentation, and that the names of
R. Tarditi Jr. and Andrew W. Appel not be used in advertising or
pertaining to distribution of the software without specific,
prior permission.
R. Tarditi Jr. and Andrew W. Appel disclaim all warranties with
to this software, including all implied warranties of
and fitness. In no event shall David R. Tarditi
. and Andrew W. Appel be liable for any special, indirect or
damages or any damages whatsoever resulting from loss of
, data or profits, whether in an action of contract, negligence or
tortious action, arising out of or in connection with the use or
of this software. ›
end
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-06-30)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
