(fun_preds_partialnil 3314595658"" (skosimp)"" (typepred "x!1" )"" (expand "strict_increasing?" )"" (expand "increasing?" )"" (skosimp)"" (inst - "x!2" "y!1" )"" (replace 1)"" (replace -1)"" (expand "/=" )"" (typepred "le2" )"" (expand "partial_order?" )"" (expand "preorder?" )"" (expand "reflexive?" )"" (flatten)"" "x!1(x!2)" )"" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" fun_preds_partial nil )nil fun_preds_partial nil )nil fun_preds_partial nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" fun_preds_partial nil )nil defined_types nil )"bool" orders nil )"(partial_order?[T2])" fun_preds_partialnil )"bool" orders nil )"bool" relations nil )"boolean" notequal nil ))nil 3314595773"" (skosimp)"" (typepred "x!1" )"" (expand "strict_decreasing?" )"" (expand "decreasing?" )"" (skosimp)"" (typepred "le2" )"" (expand "partial_order?" )"" (expand "preorder?" )"" (expand "reflexive?" )"" (flatten)"" (inst - "x!1(y!1)" )"" (inst - "x!2" "y!1" )"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" fun_preds_partial nil )nil fun_preds_partial nil )nil fun_preds_partial nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" fun_preds_partial nil )"(partial_order?[T2])" fun_preds_partialnil )"bool" orders nil )nil defined_types nil )"bool" orders nil )"bool" relations nil ))nil 3330921270"" (skosimp)"" (typepred "x!1" )"" (expand "strict_monotonic?" )"" (expand "monotonic?" )"" (flatten)"" (split)"1" (use "strict_increasing_is_increasing" ) nil nil )"2" (use "strict_decreasing_is_decreasing" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" fun_preds_partial nil )nil fun_preds_partial nil )nil fun_preds_partial nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"bool" fun_preds_partial nil )nil nil )"bool" fun_preds_partial nil )"(strict_monotonic?)" fun_preds_partial nil )nil nil )"bool" fun_preds_partial nil ))quality 100%
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
