(connected_spacenil 3364197290"" (skosimp)"" (expand "clopen?" )"" (typepred "S" )"" (expand "connected_space?" )"" (flatten)"" (expand "connected?" )"" (split 1)"1" (flatten)"1" (expand "open?" )"1" (expand "closed?" )"1" (expand "member" )"1" (inst - "A!1" ) (("1" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil )"2" (flatten)"2" (hide -3)"2" (split)"1" (replace -1)"1" (assert )"1" (rewrite "open_emptyset" )"1" (rewrite "closed_emptyset" ) nil nil ))nil ))nil ))nil )"2" (replace -1)"2" (rewrite "closed_fullset" )"2" (rewrite "open_fullset" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" topology nil )"bool" topology_prelim nil )nil topology nil )nil topology nil )nil topology nil )nil topology nil )"bool" topology nil )set type-eq-decl nil sets nil )"set[T]" connected_space nil )"finite_set" finite_sets nil )"clopen" connected_space nil )"compact" connected_space nil )"clopen" connected_space nil )"bool" sets nil )"bool" topology nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil connected_space nil )nil defined_types nil )nil sets nil )"bool" topology_prelim nil )nil topology_prelim nil )"connected_space" connected_space nil ))quality 100%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
