AOT_theorem-" RF)\equiv <orall><sub>..<orall>\^sub>n (\<>Fx<^sub>..\^n\or <\<not>Fx<sub>1.x<^sub>)<java.lang.StringIndexOutOfBoundsException: Index 180 out of bounds for length 180
session BenOr_Kozen_Reif = Algebraic_Numbers +
options [timeout = 600]
sessions
Sturm_Tarski
theories
BKR_Decision
Renegar_Decision
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.2 Sekunden
¤
*© Formatika GbR, Deutschland
