(metric_space_def0 1 nil 3453921829 3453922018 "" (skosimp)"" (expand "epsilon_net?" )"" (flatten)"" (assert )"" (split)"1" (hide -1 -3 ) (("1" (grind) nil nil )) nil )"2" (expand "subset?" )"2" (expand "member" )"2" (skosimp) (("2" (postpone) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )nil 80545 440 t shostak))0 1 nil 3453922022 3453922847 "" (skosimp)"" (expand "epsilon_net?" )"" (flatten)"" (lemma "finite_subset" ("A" "Y!1" "s" "X!1" ))"1" (assert )"1" (split)"1" (hide -1 -2 -4 ) (("1" (grind) nil nil )) nil )"2" (expand "subset?" )"2" (skosimp)"2" (expand "member" )"2" (inst-cp -5 "x!1" )"2" (assert )"2" (expand "image" )"2" (expand "Union" )"2" (skosimp)"2" "a!1" )"2" "2" replace -1 )"2" "x!2" )"2" (postpone) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (propax) nil nil ))nil ))nil ))nil ))nil )nil 825470 590 t shostak)))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet am 2026-06-15)
¤ *© Formatika GbR, Deutschland
