(continuity_subspacenil 3431795043"" (typepred "d1" )"" (expand "restrict" )"" (expand "metric?" )"" (flatten)"" (split)"1" (expand "metric_zero?" )"1" (skosimp*) (("1" (inst - "x!1" "y!1" ) nil nil ))nil ))nil )"2" (expand "metric_symmetric?" )"2" (skosimp) (("2" (inst - "x!1" "y!1" ) nil nil ))nil ))nil )"3" (expand "metric_triangle?" )"3" (skosimp)"3" (inst - "x!1" "y!1" "z!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"R" restrict nil )"bool" metric_def nil )"bool" metric_def nil )"bool" metric_def nil )nil continuity_subspace nil )"[T1 -> boolean]" continuity_subspace nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil continuity_subspace nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )nil real_types nil )"bool" metric_def nil )nil metric_def nil )"metric[T1]" continuity_subspace nil ))nil )))quality 93%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
