(composition_uniform_continuitynil 3383402472"" (skosimp)"" (typepred "f!1" )"" (typepred "g!1" )"" (expand "uniform_continuous?" )"" (expand "ball" )"" (expand "member" )"" (expand "o" )"" (skosimp)"" (inst -2 "epsilon!1" )"" (skosimp)"" (inst -1 "delta!1" )"" (skosimp)"" (inst + "delta!2" )"" (skosimp)"" "x!1" "x0!1" )"" "g!1(x!1)" "g!1(x0!1)" )"" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil metric_continuity nil )"bool" metric_continuity nil )"metric[T3]" composition_uniform_continuitynil )"metric[T2]" composition_uniform_continuitynil )nil metric_def nil )"bool" metric_def nil )nil real_types nil )"bool" reals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )nil composition_uniform_continuity nil )nil composition_uniform_continuity nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" sets nil )"(strict_total_order?[real])" real_props nil )nil real_types nil )"bool" reals nil )nil real_types nil )"T3" function_props nil )"set[T]" metric_space_def nil )nil composition_uniform_continuity nil )"metric[T1]" composition_uniform_continuitynil ))nil )))quality 94%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
