(metric_spaces_defnil 3293720022 3293720104"" (skosimp*)"" (expand "metric?" )"" (expand "metric_zero?" )"" (expand "metric_symmetric?" )"" (expand "metric_triangle?" )"" (flatten)"" (expand "metric_space?" )"" (split)"1" (expand "space_zero?" )"1" (skosimp*)"1" (inst -1 "x!1" "y!1" ) nil nil )) nil ))nil )"2" (expand "space_symmetric?" )"2" (skosimp*)"2" (inst -2 "x!1" "y!1" ) nil nil )) nil ))nil )"3" (expand "space_triangle?" )"3" (skosimp*)"3" (inst - "x!1" "y!1" "z!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil )nil metric_spaces_def nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil )"bool" metric_spaces_def nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
