(vect3_metric_spacenil 3462097127"" (expand "metric_space?" )"" (prop)"1" (expand "space_zero?" )"1" (skosimp*)"1" (lemma "dist_eq_0" )"1" (inst - "x!1" "y!1" ) nil nil )) nil ))nil ))nil )"2" (expand "space_symmetric?" )"2" (skosimp*)"2" (lemma "dist_sym" ) (("2" (inst - "x!1" "y!1" ) nil nil ))nil ))nil ))nil )"3" (expand "space_triangle?" )"3" (skosimp*)"3" (lemma "dist_triangle" )"3" (inst - "x!1" "y!1" "z!1" ) nil nil )) nil ))nil ))nil ))nil ))nil )nil reals nil )nil vectors_3D_def "vectors/" )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (fullset const-decl "set" sets nil )nil distance_3D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_3D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_3D "vectors/" )"bool" metric_spaces_def "analysis/" )"bool" metric_spaces_def "analysis/" ))nil ))nil 3462097393"" (skosimp*)"" (expand "metric_space?" )"" (prop)"1" (expand "space_zero?" )"1" (skosimp*)"1" (lemma "dist_eq_0" )"1" (inst - "x!1" "y!1" ) nil nil )) nil ))nil ))nil )"2" (expand "space_symmetric?" )"2" (skosimp*)"2" (lemma "dist_sym" )"2" (inst - "x!1" "y!1" ) nil nil )) nil ))nil ))nil )"3" (expand "space_triangle?" )"3" (skosimp*)"3" (lemma "dist_triangle" )"3" (inst - "x!1" "y!1" "z!1" ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" metric_spaces_def "analysis/" )"bool" metric_spaces_def "analysis/" )nil distance_3D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_3D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_3D "vectors/" )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil vectors_3D_def "vectors/" )nil reals nil ))nil ))nil 3462097419"" (lemma "vect3_subset_metric_space" )"" (inst - "fullset[Vect3]" ) nil nil )) nil )nil reals nil )nil vectors_3D_def "vectors/" )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (fullset const-decl "set" sets nil )nil vect3_metric_spacenil ))quality 100%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
