(fun_preds_partialnil 3314595658"" (expand "strict_increasing?" )"" (expand "increasing?" )"" (skosimp*)"" (inst - "x!1" "y!1" )"" (case-replace "x!1/=y!1" )"1" (assert ) nil nil )"2" (expand "/=" )"2" (typepred "le2" )"2" (expand "partial_order?" )"2" (expand "preorder?" )"2" (expand "reflexive?" )"2" (flatten)"2" (inst - "f!1(x!1)" )"2" (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 )"bool" relations nil )"bool" orders nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil fun_preds_partial nil )nil defined_types nil )"bool" orders nil )"(partial_order?[T2])" fun_preds_partialnil )"boolean" notequal nil )nil booleans nil )"bool" fun_preds_partial nil ))nil 3314595773"" (expand "strict_decreasing?" )"" (expand "decreasing?" )"" (skosimp*)"" (inst - "x!1" "y!1" )"" (expand "/=" )"" (case-replace "x!1=y!1" )"1" (typepred "le2" )"1" (expand "partial_order?" )"1" (expand "preorder?" )"1" (expand "reflexive?" )"1" (flatten)"1" (inst - "f!1(y!1)" ) nil nil )) nil ))nil ))nil ))nil ))nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" fun_preds_partial nil )nil fun_preds_partial nil )"[T, T -> boolean]" equalities nil )nil booleans nil )"bool" relations nil )"bool" orders nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil fun_preds_partial nil )nil defined_types nil )"bool" orders nil )"(partial_order?[T2])" fun_preds_partialnil )"boolean" notequal nil )"bool" fun_preds_partial nil ))quality 92%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
