(infinite_imagenil 3316971338"" (expand "is_finite" )"" (skosimp*)"" "N!1" "LAMBDA (x: (image(f!1, S!1))): f!2(choose({s: (S!1) | f!1(s) = x}))" )"1" (expand "injective?" )"1" (skosimp :preds? t)"1" (expand "image" )"1" (skosimp*)"1" "choose({s: (S!1) | f!1(s) = x1!1})" "choose({s: (S!1) | f!1(s) = x2!1})" )"1" (assert ) nil nil )"2" (expand * "nonempty?" "empty?" "member" )"2" (inst - "x!2" ) (("2" (assert ) nil nil )) nil ))nil )"3" (expand * "nonempty?" "empty?" "member" )"3" (inst - "x!1" ) (("3" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (skolem-typepred)"2" (expand * "image" "nonempty?" "empty?" "member" )"2" (skolem!)"2" (inst?) (("2" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" functions nil )"(image(f!1, S!1))" infinite_image nil )"(image(f!1, S!1))" infinite_image nil )"bool" sets nil )"bool" sets nil )NOT const-decl "[bool -> bool]" booleans nil )"(p)" sets nil )nil nat_types nil )"bool" reals 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 infinite_image nil )nil infinite_image nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil )"set[R]" function_image nil )"[D -> R]" infinite_image nil )"set[D]" infinite_image nil )"bool" sets nil )"[T, T -> boolean]" equalities nil )"bool" finite_sets nil ))nil 3316971333"" (expand "is_finite" )"" (skosimp* t)"" (expand "is_finite" )"" (inst + "N!1" "LAMBDA (s: (S!1)): f!2(f!1(s))" )"1" (expand "injective?" )"1" (skosimp)"1" (inst -4 "f!1(x1!1)" "f!1(x2!1)" )"1" (inst - "x1!1" "x2!1" ) (("1" (assert ) nil nil ))nil ))nil ))nil ))nil )"2" (skolem!)"2" (expand "image" ) (("2" (inst + "s!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" functions nil )nil infinite_image nil )nil infinite_sets_def nil )NOT const-decl "[bool -> bool]" booleans nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil infinite_image nil )nil naturalnumbers nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )"bool" reals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )"infinite_set[D]" infinite_image nil )"set[R]" function_image nil )"(injective?[D, R])" infinite_image nil )"bool" reals nil )nil nat_types nil )"(total_order?[real])" nil )"bool" finite_sets nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
