(minmax_ineqnil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566 ("" (grind) nil 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 )"(strict_total_order?[real])" real_props nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil ))nil ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "a!1 < b!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "a!1 < b!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "a!1 < b!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "a!1 < b!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "b!1 < c!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "b!1 < c!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "b!1 < c!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016566"" (skosimp*)"" (expand "max" )"" (case "b!1 < c!1" )"1" (assert ) (("1" (prop) (("1" (assert ) nil nil )) nil )) nil )"2" (assert ) (("2" (prop) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props 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 ))nil 3276016567"" (skosimp*)"" (expand "max" )"" (assert )"" (lift-if)"" (lift-if)"" (lift-if)"" (assert )"" (prop)"" (lift-if)"" (assert )"" (prop)"" (lift-if) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props nil )"real" reals nil ))nil 3276018406"" (skosimp*)"" (expand "min" )"" (lift-if)"" (assert ) (("" (lift-if) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )min const-decl "{p: real | p <= m AND p <= n}" real_defs nil )"(strict_total_order?[real])" real_props nil ))nil 3276018453"" (skosimp*)"" (expand "max" )"" (lift-if)"" (assert ) (("" (lift-if) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )max const-decl "{p: real | p >= m AND p >= n}" real_defs nil )"(strict_total_order?[real])" real_props nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
