(directed_order_propsnil 3352698192"" (skosimp)"" (typepred "x!1" )"" (expand "lub_set?" )"" (typepred "<=" )"" (expand "directed_complete_partial_order?" )"" (flatten)"" (expand "directed_complete?" )"" (expand "directed?" ) (("" (inst - "x!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil directed_order_props nil )"bool" directed_order_props nil )"bool" sets nil )set type-eq-decl nil sets nil )nil directed_order_props nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" directed_ordersnil )"(directed_complete_partial_order?[T])" nil )"directed" directed_order_props nil )"bool" orders nil )"bool" directed_orders nil )"bool" directed_orders nil )"bool" bounded_order_props nil ))nil ))nil 3352695420"" (expand "singleton" )"" (expand "directed?" )"" (expand "directed?" )"" (skosimp*)"" (inst + "x!1" )"" (lemma "partial_order_reflexive" ("x" "x!1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" directed_order_props nil )"(directed_complete_partial_order?[T])" nil )"bool" directed_ordersnil )nil defined_types nil )nil booleans nil )nil partial_order_props nil )"[T, T -> boolean]" equalities nil )nil booleans nil )nil directed_order_props nil )"bool" directed_orders nil )"(singleton?)" sets nil ))nil ))nil 3352695648"" (skosimp)"" (typepred "U!1" )"" (typepred "D!1" )"" (expand "directed?" )"" (expand "directed?" )"" (skosimp*)"" (expand "intersection" )"" (expand "member" )"" (flatten)"" (inst - "x!1" "y!1" )"" (assert )"" (skosimp)"" (typepred "z!1" )"" (expand "upper_set?" )"" "x!1" "z!1" )"" expand "member" )"" assert )"" "z!1" )"1" (assert ) nil nil )"2" expand "intersection" )"2" expand "member" )"2" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil partial_order_props nil )"bool" partial_order_props nil )"(directed_complete_partial_order?[T])" nil )"bool" directed_ordersnil )nil defined_types nil )set type-eq-decl nil sets nil )nil directed_order_props nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" sets nil )"(D!1)" directed_order_props nil )"directed" directed_order_props nil )"upper_set[T, <=]" directed_order_props nil )"set" sets nil )"bool" directed_orders nil )nil directed_order_props nil )"bool" directed_order_props nil )"bool" sets nil ))nil 3352695791"" (skosimp)"" (expand "member" )"" (typepred "L!1" )"" (typepred "D!1" )"" (expand "lower_set?" )"" (expand "directed?" )"" (expand "directed?" )"" (expand "member" )"" (inst - "x!1" "y!1" )"" (assert )"" (skosimp)"" (case "L!1(z!1)" )"1" (inst - "z!1" "y!1" )"1" (assert ) nil nil )) nil )"2" (inst + "z!1" ) (("2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" sets nil )"bool" sets nil )"bool" directed_order_props nil )nil directed_order_props nil )"bool" directed_orders nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil directed_order_props nil )set type-eq-decl nil sets nil )nil defined_types nil )"bool" directed_ordersnil )"(directed_complete_partial_order?[T])" nil )"bool" partial_order_props nil )nil partial_order_props nil ))nil 3352695995"" (skosimp)"" (typepred "L1!1" )"" (typepred "L2!1" )"" (typepred "D!1" )"" (name "D1" "difference(D!1,L1!1)" )"" (name "D2" "difference(D!1,L2!1)" )"" (case "nonempty?(D1)" )"1" (case "nonempty?(D2)" )"1" (expand "nonempty?" )"1" (expand "empty?" )"1" (expand "member" )"1" (skolem 1 ("y" ))"1" (skolem 1 ("x" ))"1" (expand "D2" )"1" expand "D1" )"1" "1" expand "difference" )"1" expand "member" )"1" "1" expand "lower_set?" )"1" expand "member" )"1" expand "directed?" )"1" expand "directed?" )"1" "x" "y" )"1" assert )"1" "1" "1" "z!1" )"1" expand "union" )"1" expand "subset?" )"1" expand "member" )"1" "z!1" )"1" assert )"1" "1" "z!1" "x" )"1" assert )nil nil ))nil )"2" "z!1" "y" )"2" assert )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "D2" )"2" (hide-all-but (1 3))"2" (expand "difference" )"2" (expand "nonempty?" )"2" (expand "empty?" )"2" (expand "subset?" )"2" expand "member" )"2" "2" "x!1" )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "D1" )"2" (hide-all-but (1 2 -3))"2" (expand "nonempty?" )"2" (expand "difference" )"2" (expand "empty?" )"2" (expand "subset?" )"2" (expand "member" )"2" "2" "x!2" )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil partial_order_props nil )"bool" partial_order_props nil )"(directed_complete_partial_order?[T])" nil )"bool" directed_ordersnil )nil defined_types nil )set type-eq-decl nil sets nil )nil directed_order_props nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" sets nil )"bool" directed_order_props nil )nil directed_order_props nil )"bool" sets nil )"set[T]" directed_order_props nil )"bool" sets nil )"set" sets nil )"(partial_order?[set[T]])" nil )"lower_set[T, <=]" nil )"bool" directed_orders nil )"set[T]" directed_order_props nil )"bool" sets nil )"[T, T -> boolean]" equalities nil )"set" sets nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
