(isomorphism_symmetric0 1 nil 3315073017 "" (expand * "isomorphic?" "isomorphism?" "symmetric?" )"" (skolem!)"" (prop)"1" (skolem-typepred)"1" (use "bijective_inverse_exists[T1, T2]" )"1" (expand "exists1" )"1" (flatten)"1" (skolem!)"1" (use "bij_inv_is_bij_alt[T1, T2]" )"1" (inst + "x!1" )"1" (skolem!)"1" (inst - "x!1(d1!1)" "x!1(d2!1)" )"1" (expand "inverse?" )"1" (inst-cp - "d2!1" )"1" "d1!1" )"1" "1" "1" (ground) nil nil )"2" expand *"bijective?" "surjective?" )"2" "2" 6 "d2!1" )nil nil ))nil ))nil ))nil )"2" expand *"bijective?" "surjective?" )"2" "2" (inst -6 "d1!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (skolem-typepred)"2" (use "bijective_inverse_exists[T2, T1]" )"2" (expand "exists1" )"2" (flatten)"2" (skolem!)"2" (use "bij_inv_is_bij_alt[T2, T1]" )"2" (inst + "x!1" )"2" (skolem!)"2" (inst - "x!1(d1!1)" "x!1(d2!1)" )"2" (expand "inverse?" )"2" (inst-cp - "d2!1" )"2" "d1!1" )"2" "1" "1" (ground) nil nil )"2" expand *"bijective?" "surjective?" )"2" "2" 6 "d2!1" )nil nil ))nil ))nil ))nil )"2" expand *"bijective?" "surjective?" )"2" "2" (inst -6 "d1!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )1 skolem-const-decl "[T1 -> T2]" isomorphism_symmetric nil )1 skolem-const-decl "(bijective?[T2, T1])" isomorphism_symmetricnil )nil booleans nil )eq -decl nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil isomorphism_symmetric nil )nil isomorphism_symmetric nil )"bool" functions nil )"bool" exists1 nil )"bool" functions nil )"bool" function_inverse_def nil )1 skolem-const-decl "[T2 -> T1]" isomorphism_symmetric nil )1 skolem-const-decl "(bijective?[T1, T2])" isomorphism_symmetricnil )nil function_inverse_def nil )nil function_inverse_defnil )"bool" isomorphism nil )"bool" isomorphism nil ))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung:
(vorverarbeitet am 2026-06-06)
¤ *Bot Zugriff
