(function_image_nonemptynil 3368875322"" (skosimp*)"" (typepred "S!1" )"" (rewrite "nonempty_exists" )"" (rewrite "nonempty_exists" )"" (skosimp*)"" (inst + "f!1(x!1)" )"" (expand "image" ) (("" (inst + "x!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" sets nil )set type-eq-decl nil sets nil )nil function_image_nonempty nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"set[R]" function_image nil )nil function_image_nonempty nil )"(S!1)" function_image_nonempty nil )"(nonempty?[D])" function_image_nonemptynil )"[D -> R]" function_image_nonempty nil )nil sets_lemmas nil ))nil ))nil 3368875625"" (skosimp*)"" (use "nonempty_image" )"" (expand "nonempty?" ) (("" (propax) nil nil )) nil )) nil ))nil )nil function_image_nonempty nil )nil function_image_nonempty nil )nil finite_sets nil )"bool" sets nil )NOT const-decl "[bool -> bool]" booleans nil )nil finite_sets nil )"bool" finite_sets nil )"bool" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil function_image_nonempty nil )"(nonempty?[R])" nil )"finite_set[R]" nil ))nil )nil 3368875322 ("" (judgement-tcc) nil nil )nil nil )))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
