(scott_productnil 3353124202"" (skosimp)"" (typepred "le1!1" )"" (typepred "le2!1" )"" (expand "partial_order?" )"" (expand "preorder?" )"" (flatten)"" (split)"1" (expand "reflexive?" )"1" (skosimp)"1" (inst - "x!1`2" )"1" (inst - "x!1`1" ) (("1" (assert ) nil nil ))nil ))nil ))nil ))nil )"2" (expand "transitive?" )"2" (skosimp)"2" (inst - "x!1`2" "y!1`2" "z!1`2" )"2" (inst - "x!1`1" "y!1`1" "z!1`1" )"2" (assert ) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )"3" (expand "antisymmetric?" )"3" (skosimp)"3" (inst - "x!1`2" "y!1`2" )"3" (inst - "x!1`1" "y!1`1" )"3" (assert )"3" (decompose-equality) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" orders nil )nil defined_types nil )nil scott_product nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" relations nil )"bool" relations nil )"bool" relations nil )"bool" orders nil )nil scott_product nil ))nil ))nil 3508838560"" (typepred "le1" )"" (expand "directed_complete_partial_order?" )"" (flatten) nil nil )) nil ))nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil scott_product nil )nil defined_types nil )"bool" directed_orders"orders/" )"(directed_complete_partial_order?[T1])" nil ))nil ))nil 3515324483"" (typepred "le2" )"" (expand "directed_complete_partial_order?" )"" (flatten) nil nil )) nil ))nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil scott_product nil )nil defined_types nil )"bool" directed_orders"orders/" )"(directed_complete_partial_order?[T2])" nil ))nil ))nil 3515324483"" (typepred "product_order(le1, le2)" )"" (expand "directed_complete_partial_order?" )"" (hide -1)"" (expand "product_order" )"" (lemma "product_preserves_directed_complete[T1,T2]" )"" (inst -1 "le1" "le2" )"1" (expand "*" ) (("1" (propax) nil nil )) nil )"2" (hide 2)"2" (assert )"2" (typepred "le2" )"2" (expand "directed_complete_partial_order?" )"2" (propax) nil nil )) nil ))nil ))nil ))nil )"3" (hide 2)"3" (typepred "le1" )"3" (expand "directed_complete_partial_order?" )"3" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )AND const-decl "[bool, bool -> bool]" booleans nil )"bool" directed_orders "orders/" )"bool" product_orders "orders/" )nil "orders/" )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil scott_product nil )nil scott_product nil )nil defined_types nil )"bool" orders nil )"(partial_order?[[T1, T2]])" nil )"bool" directed_orders"orders/" )"(directed_complete_partial_order?[T1])" nil )"(directed_complete_partial_order?[T2])" nil ))nil )))quality 88%
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
