(restriction_cont_funnil 3473169490"" (lemma "sub_domain" ) (("" (grind) nil )) nil )nil restriction_cont_fun nil )"[real -> boolean]" restriction_cont_fun nil )nil restriction_cont_fun nil )"[real -> boolean]" restriction_cont_fun nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )nil restriction_cont_fun nil ))nil ))nil 3473169490"" (lemma "sub_dom" ) (("" (propax) nil )) nil )nil restriction_cont_fun nil )) nil ))nil 3473169490"" (skosimp)"" (auto-rewrite "sub_dom" )"" (expand "continuous?" )"" (skosimp*)"" (expand "restrict2" )"" (inst?)"" (assert )"" (expand "continuous?" )"" (skosimp*)"" (inst -1 "epsilon!1" )"" (skolem!)"" (inst 1 "delta!1" )"" (skosimp)"" (inst?) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil restriction_cont_fun 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]" restriction_cont_fun nil )nil restriction_cont_fun nil )"[real -> boolean]" restriction_cont_fun nil )nil restriction_cont_fun nil )"real" reals nil )"bool" continuous_functions nil )nil real_types nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil booleans nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )"[T1 -> real]" restriction_cont_fun nil )"bool" continuous_functions nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
