(inverse_image_Unionnil 3389901218"" (skosimp)"" (apply-extensionality :hide? t)"" (case-replace "inverse_image(f!1, Union(X!1))(x!1)" )"1" (expand "Union" )"1" (expand "inverse_image" )"1" (expand "member" )"1" (skosimp)"1" (typepred "a!1" )"1" (inst + "inverse_image(f!1,a!1)" )"1" (expand "inverse_image" )"1" (assert )"1" (expand "member" )"1" (propax) nil nil )) nil ))nil ))nil )"2" (inst + "a!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (assert )"2" (expand "Union" -1)"2" (skosimp)"2" (typepred "a!1" )"2" (skosimp)"2" (replace -1)"2" (typepred "x!2" )"2" (expand "inverse_image" )"2" (expand "member" )"2" (expand "Union" )"2" (inst + "x!2" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil inverse_image_Union nil )nil booleans nil )"[T, T -> boolean]" equalities nil )"set" sets nil )nil sets nil )nil defined_types nil )"set[D]" function_image nil )set type-eq-decl nil sets nil )nil booleans nil )nil inverse_image_Union nil )"(surjective?[setofsets[T], set[T]])" sets_lemmas nil )"bool" sets nil )NOT const-decl "[bool -> bool]" booleans nil )"(X!1)" inverse_image_Union nil )"[S -> T]" inverse_image_Union nil )"setofsets[T]" inverse_image_Union nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
