Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale sprachen/Isabelle/HOL/TPTP/

Quellcode-Bibliothek

Datei: products/sources/formale sprachen/Isabelle/HOL/TPTP/

ATP_Problem_Import.thy
ATP_Theory_Export.thy
MaSh_Eval.thy
MaSh_Export.thy
MaSh_Export_Base.thy
THF_Arith.thy
TPTP_Interpret.thy
TPTP_Interpret_Test.thy
TPTP_Parser.thy
TPTP_Parser_Example.thy
TPTP_Parser_Test.thy
TPTP_Proof_Reconstruction.thy
TPTP_Proof_Reconstruction_Test.thy
TPTP_Proof_Reconstruction_Test_Units.thy
TPTP_Test.thy
atp_problem_import.ML
atp_theory_export.ML
mash_eval.ML
mash_export.ML
sledgehammer_tactics.ML