(infinity_arithmeticnil 3507032124"" (skolem-typepred)"" (rewrite "toggle_infinite" )"" (rewrite "toggle_finite" ) (("" (ground) nil ))))))nil )nil IEEE_854_values nil )nil IEEE_854_values nil )"[fp_num -> boolean]" nil )"[fp_num -> boolean]" IEEE_854_valuesnil )nil IEEE_854_values nil )"{i: integer | E_max > i}" nil )"integer" infinity_arithmetic nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )OR const-decl "[bool, bool -> bool]" booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3507032124"" (skosimp*)"" (rewrite "fp_sub_inf" )"" (rewrite "fp_add_inf" )"" (rewrite "toggle_infinite" )"" (lift-if)"" (lift-if)"" (ground)"1" (expand "toggle_sign" )"1" (assert )"1" (typepred "i_sign(num2!1)" )"1" (typepred "i_sign(num1!1)" )"1" (ground) nil nil )) nil ))nil ))nil ))nil )"2" (expand "toggle_sign" ) (("2" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"fp_num" infinity_arithmetic nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )nil booleans nil )"bool" reals nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"integer" infinity_arithmetic nil )"{i: integer | E_max > i}" nil )nil IEEE_854_values nil )OR const-decl "[bool, bool -> bool]" booleans nil )"[fp_num -> boolean]" IEEE_854_valuesnil )"[fp_num -> boolean]" nil )nil IEEE_854_values nil )"[(infinite?) -> sign_rep]" nil )nil enumerated_type_defs nil )nil naturalnumbers nil )"bool" reals nil )"[T, T -> boolean]" equalities nil )NOT const-decl "[bool -> bool]" booleans nil )"int" integers nil )"fp_num" IEEE_854_values nil )"fp_num" infinity_arithmetic nil ))nil ))nil 3507032124"" (skolem-typepred) (("" (ground) nil )) nil )"[fp_num -> boolean]" nil )"[fp_num -> boolean]" IEEE_854_valuesnil )nil IEEE_854_values nil )"{i: integer | E_max > i}" nil )"integer" infinity_arithmetic nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )OR const-decl "[bool, bool -> bool]" booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3507032124"" (skolem-typepred) (("" (ground) nil )) nil )"[fp_num -> boolean]" nil )"[fp_num -> boolean]" IEEE_854_valuesnil )nil IEEE_854_values nil )"{i: integer | E_max > i}" nil )"integer" infinity_arithmetic nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )OR const-decl "[bool, bool -> bool]" booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3507032124"" (skolem-typepred) (("" (ground) nil )) nil )"[fp_num -> boolean]" nil )"[fp_num -> boolean]" IEEE_854_valuesnil )nil IEEE_854_values nil )"{i: integer | E_max > i}" nil )"integer" infinity_arithmetic nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )OR const-decl "[bool, bool -> bool]" booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3507032124"" (skolem-typepred) (("" (ground) nil )) nil )"[fp_num -> boolean]" nil )"[fp_num -> boolean]" IEEE_854_valuesnil )nil IEEE_854_values nil )"{i: integer | E_max > i}" nil )"integer" infinity_arithmetic nil )nil integers nil )"above(1)" infinity_arithmetic nil )"above(1)" infinity_arithmetic nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )OR const-decl "[bool, bool -> bool]" booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3507032124"" (skosimp*) (("" (assert ) nil )) nil )"(total_order?[real])" nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
