(rr_rel0 1 nil 3571750987 "" (skolem!)"" (prop)"" (expand "RR" )"" (prop)"" (expand "rel_extension" )"" (prop)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "reflexive?" ) (("1" (inst?) nil nil ))nil ))nil ))nil ))nil )"2" (typepred "le_T!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "symmetric?" )"2" (inst?) (("2" (prop) nil nil )) nil )) nil ))nil ))nil ))nil )"3" (typepred "le_T!1" )"3" (expand "equivalence?" )"3" (prop)"3" (expand "reflexive?" ) (("3" (inst?) nil nil ))nil ))nil ))nil ))nil )"4" (typepred "le_U!1" )"4" (expand "equivalence?" )"4" (prop)"4" (expand "reflexive?" ) (("4" (inst?) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relations nil )nil rr_rel nil )nil booleans nil )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil rr_rel nil )eq -decl nil defined_types nil )"bool" relations nil )eq -decl nil relations nil )"bool" relations nil )"set[[[T, U], [T, U]]]" nil )"set[[T, U]]" rr_rel nil ))0 1 nil 3572336662 "" (skolem!)"" (prop)"" (expand "RR" )"" (expand "rel_extension" )"" (prop)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "reflexive?" ) (("1" (inst?) nil nil ))nil ))nil ))nil ))nil )"2" (typepred "le_U!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "symmetric?" )"2" (inst?) (("2" (prop) nil nil )) nil )) nil ))nil ))nil ))nil )"3" (typepred "le_U!1" )"3" (expand "equivalence?" )"3" (prop)"3" (expand "reflexive?" ) (("3" (inst?) nil nil ))nil ))nil ))nil ))nil )"4" (typepred "le_U!1" )"4" (expand "equivalence?" )"4" (prop)"4" (expand "reflexive?" ) (("4" (inst?) nil nil ))nil ))nil ))nil ))nil )"5" (typepred "le_T!1" )"5" (expand "equivalence?" )"5" (prop)"5" (expand "reflexive?" ) (("5" (inst?) nil nil ))nil ))nil ))nil ))nil )"6" (typepred "le_U!1" )"6" (expand "equivalence?" )"6" (prop)"6" (expand "symmetric?" )"6" (inst?) (("6" (prop) nil nil )) nil )) nil ))nil ))nil ))nil )"7" (typepred "le_U!1" )"7" (expand "equivalence?" )"7" (prop)"7" (expand "reflexive?" ) (("7" (inst?) nil nil ))nil ))nil ))nil ))nil )"8" (typepred "le_U!1" )"8" (expand "equivalence?" )"8" (prop)"8" (expand "symmetric?" )"8" (inst?) (("8" (prop) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"set[[[T, U], [T, U]]]" nil )"bool" relations nil )eq -decl nil relations nil )"bool" relations nil )eq -decl nil defined_types nil )nil rr_rel nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil )nil rr_rel nil )"bool" relations nil )"set[[T, U]]" rr_rel nil ))0 1 nil 3572452560 "" (assert )"" (skolem!)"" (prop)"1" (expand "RR2" )"1" (prop)"1" (expand "RR" )"1" (prop)"1" (expand "rel_extension" )"1" (prop)"1" (expand "rel_inv_extension2" )"1" (expand "rel_extension" )"1" (prop) nil nil )) nil ))nil ))nil ))nil )"2" (expand "rel_extension" )"2" (prop)"2" (expand "rel_inv_extension2" )"2" (expand "rel_extension" )"2" (prop)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" "1" expand "symmetric?" )"1" "1" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"2" (typepred "le_T!1" )"2" (expand "equivalence?" )"2" "2" expand "symmetric?" )"2" "2" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"3" (typepred "le_T!1" )"3" (expand "equivalence?" )"3" "3" expand "symmetric?" )"3" "3" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"4" (typepred "le_T!1" )"4" (expand "equivalence?" )"4" "4" expand "symmetric?" )"4" "4" (prop) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"3" (expand "rel_extension" )"3" (prop)"3" (expand "rel_inv_extension2" )"3" (expand "rel_extension" )"3" (prop)"1" (typepred "le_U!1" )"1" (expand "equivalence?" )"1" "1" expand "symmetric?" )"1" "1" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"2" (typepred "le_U!1" )"2" (expand "equivalence?" )"2" "2" expand "symmetric?" )"2" 2 "f!1(g!1(n!1`2))" "f!1(n!1`1)" )"2" (prop) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "RR" )"2" (expand "RR2" )"2" (prop)"1" (expand "rel_inv_extension2" )"1" (propax) nil nil )) nil )"2" (expand "rel_inv_extension2" )"2" (expand "rel_extension" )"2" (prop)"1" (typepred "le_U!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "symmetric?" )"1" 2 "f!1(n!1`1)" "f!1(g!1(n!1`2))" )"1" (prop) nil nil )) nil ))nil ))nil ))nil ))nil )"2" (typepred "le_U!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "symmetric?" )"2" (inst?) (("2" (prop) nil nil )) nil ))nil ))nil ))nil ))nil )"3" (typepred "le_U!1" )"3" (expand "equivalence?" )"3" (prop)"3" (expand "symmetric?" )"3" (inst?) (("3" (prop) nil nil )) nil ))nil ))nil ))nil ))nil )"4" (typepred "le_U!1" )"4" (expand "equivalence?" )"4" (prop)"4" (expand "symmetric?" )"4" (inst?) (("4" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"3" (expand "rel_inv_extension2" )"3" (expand "rel_extension" )"3" (prop)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "symmetric?" )"1" 2 "g!1(n!1`2)" "g!1(f!1(n!1`1))" )"1" (prop) nil nil )) nil ))nil ))nil ))nil ))nil )"2" (typepred "le_T!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "symmetric?" )"2" (inst?) (("2" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"set[[T, U]]" rr_rel nil )"set[[T, U]]" rr_rel nil )"bool" relations nil )nil rr_rel nil )nil booleans nil )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil rr_rel nil )eq -decl nil defined_types nil )"bool" relations nil )eq -decl nil relations nil )"set[[[T, U], [T, U]]]" nil )"set[[[T, U], [T, U]]]" nil ))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet am 2026-06-14)
¤ *© Formatika GbR, Deutschland
