(vect2_metric_spacenil 3476029485"" (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_2D_def "vectors/" )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (fullset const-decl "set" sets nil )nil distance_2D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_2D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_2D "vectors/" )"bool" metric_spaces_def "analysis/" )"bool" metric_spaces_def "analysis/" ))nil )nil 3476029427 ("" (assuming-tcc) nil nil )nil nil ))nil 3476029531"" (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_2D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_2D "vectors/" )"bool" metric_spaces_def "analysis/" )nil distance_2D "vectors/" )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil vectors_2D_def "vectors/" )nil reals nil ))nil ))nil 3476029555"" (lemma "vect2_subset_metric_space" )"" (inst - "fullset[Vect2]" ) nil nil )) nil )nil reals nil )nil vectors_2D_def "vectors/" )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (fullset const-decl "set" sets nil )nil vect2_metric_spacenil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
