(similarity0 1 nil 3324309296 "" (expand * "similarity?" "isomorphism?" "preserves" )"" (skosimp* t)"" (inst-cp - "d1!1" "d2!1" )"" (smash)"" (expand * "total_order?" "dichotomous?" )"" (flatten)"" (inst - "d1!1" "d2!1" )"" (inst -6 "d2!1" "d1!1" )"" (assert )"" (expand "partial_order?" -3 )"" (expand "antisymmetric?" )"" (flatten)"" (inst - "f!1(d1!1)" "f!1(d2!1)" )"" (assert )"" expand * "bijective?" "injective?" )"" "" 6 "d1!1" "d2!1" )"" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" functions nil )nil similarity nil )"bool" orders nil )eq -decl nil defined_types nil )nil similarity nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil )"bool" orders nil )"bool" functions nil )"bool" relations nil )"bool" orders nil )"bool" similarity nil )"bool" functions nil )"bool" isomorphism nil ))0 1 nil 3324309680 "" (skosimp)"" (expand * "similar?" "isomorphic?" )"" (skolem!)"" (inst?)"" (forward-chain "similarity_is_isomorphism" ) nil nil ))nil ))nil ))nil ))nil )"bool" isomorphism nil )"bool" similarity nil )nil similarity nil )nil similarity nil )nil booleans nil )eq -decl nil booleans nil )"bool" functions nil )"bool" orders nil )eq -decl nil defined_types nil )nil similarity 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.0Bemerkung:
(vorverarbeitet am 2026-06-14)
¤ *Bot Zugriff
