(fun_preds_partial0 1 nil 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 )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil fun_preds_partial nil )eq -decl nil defined_types nil )"bool" orders nil )"(partial_order?[T2])" fun_preds_partialnil )"boolean" notequal nil )nil booleans nil )"bool" fun_preds_partial nil ))0 1 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 )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil fun_preds_partial nil )eq -decl nil defined_types nil )"bool" orders nil )"(partial_order?[T2])" fun_preds_partialnil )"boolean" notequal nil )"bool" fun_preds_partial nil ))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-06-14)
¤ *© Formatika GbR, Deutschland
