(connected_space0 1 nil 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 )1 skolem-const-decl "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 )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil connected_space nil )eq -decl nil defined_types nil )eq -decl nil sets nil )"bool" topology_prelim nil )eq -decl nil topology_prelim nil )"connected_space" connected_space nil ))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-06-15)
¤ *© Formatika GbR, Deutschland
