(finite_bags_minmaxnil 3288716520"" (skosimp*)"" (typepred! "D!1" ) (("" (assert ) (("" (grind) nil nil )) nil ))nil ))nil )nil finite_bags nil )"bool" bags nil )nil finite_bags nil )"bool" finite_bags nil )nil bags nil )nil naturalnumbers 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 )nil finite_bags_minmax nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"set[T]" bags_to_sets nil )"bool" sets nil )"bool" sets nil )"(strict_total_order?[real])" real_props nil )nil application-judgement "finite_set" finite_bags_minmax nil ))nil 3288828586"" (skosimp*)"" (expand "member" )"" (expand "max" )"" (expand "bag_to_set" )"" (typepred! "max({t: T | D!1(t) > 0})" )"1" (propax) nil nil )"2" (typepred! "D!1" ) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" bags nil )"set[T]" bags_to_sets nil )"(strict_total_order?[real])" real_props nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )nil finite_bags_minmax nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil naturalnumbers nil )nil bags nil )"bool" finite_bags nil )nil finite_bags nil )"bool" bags nil )nil finite_bags nil )set type-eq-decl nil sets nil )"bool" finite_sets nil )nil finite_sets nil )"bool" sets nil )nil finite_sets nil )AND const-decl "[bool, bool -> bool]" booleans nil )"[bool, bool -> bool]" booleans nil )nil defined_types nil )"bool" orders nil )"(total_order?[T])" finite_bags_minmax nil )max const-decl"{a: T | SS(a) AND (FORALL (x: T): SS(x) IMPLIES x <= a)}" "finite_sets/" )max const-decl "T" finite_bags_minmax nil ))nil 3288828659"" (skosimp*)"" (expand "member" )"" (expand "min" )"" (expand "bag_to_set" )"" (typepred! "min({t: T | D!1(t) > 0})" )"1" (propax) nil nil )"2" (typepred! "D!1" ) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" bags nil )"set[T]" bags_to_sets nil )"(strict_total_order?[real])" real_props nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )nil finite_bags_minmax nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil naturalnumbers nil )nil bags nil )"bool" finite_bags nil )nil finite_bags nil )"bool" bags nil )nil finite_bags nil )set type-eq-decl nil sets nil )"bool" finite_sets nil )nil finite_sets nil )"bool" sets nil )nil finite_sets nil )AND const-decl "[bool, bool -> bool]" booleans nil )"[bool, bool -> bool]" booleans nil )nil defined_types nil )"bool" orders nil )"(total_order?[T])" finite_bags_minmax nil )min const-decl"{a: T | SS(a) AND (FORALL (x: T): SS(x) IMPLIES a <= x)}" "finite_sets/" )min const-decl "T" finite_bags_minmax nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
