(composition_continuousnil 3473169490"" (skosimp*)"" (expand "continuous?" )"" (skosimp*)"" (inst -2 "epsilon!1" )"" (expand "o " )"" (skosimp*)"" (inst - "delta!1" )"" (skolem!)"" (inst 1 "delta!2" )"" (skosimp)"" (inst - "x!1" )"" (assert )"" (inst - "f!1(x!1)" )"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"real" reals nil )"bool" continuous_functions nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )nil booleans nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil real_types nil )"(strict_total_order?[real])" real_props nil )"[real -> boolean]" composition_continuous nil )nil composition_continuous nil )"[real -> boolean]" composition_continuous nil )nil composition_continuous nil )"T3" function_props nil ))nil ))nil 3473169490"" (skosimp*)"" (rewrite "continuous_on_def" )"" (rewrite "continuous_on_def" )"" (rewrite "continuous_on_def" )"" (skosimp*)"" (grind :exclude ("convergence" ) :if-match nil )"" (inst?)"" (assert )"" (inst?)"1" (grind :exclude ("abs" "adh" ) :if-match nil )"1" (inst? -6)"1" (skolem!)"1" (inst -4 "delta!1" )"1" (skolem!)"1" "delta!2" )"1" "1" "x!1" )"1" "f!1(x!1)" )"1" assert )"1" (inst?) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (assert )"2" (inst?)"2" (hide-all-but 1)"2" (typepred "y!1" )"2" (expand "restrict" )"2" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil nil ))nil 3473169490"" (grind :defs nil :rewrites ("continuous_def2[T1]" ))"" (rewrite "composition_cont_set" )"1" (rewrite "continuity_subset2[T2]" )"1" (delete -1 -2 2 3) (("1" (grind) nil )))))"2" (rewrite "subset_reflexive" ) nil ))))nil )"(partial_order?[set[T]])" nil )nil composition_continuous nil )nil booleans nil )nil defined_types nil )set type-eq-decl nil sets nil )"bool" sets nil )"[real -> boolean]" composition_continuous nil )nil composition_continuous nil )nil continuous_functions nil )"R" restrict nil )"setof[real]" real_fun_props "reals/" )nil sets_lemmas nil )nil continuous_functions 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]" composition_continuous nil )nil composition_continuous nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
