(relation_extensionnil 3571755052"" (skosimp*)"" (expand "equivalence?" )"" (prop)"1" (expand "reflexive?" )"1" (skolem!)"1" (expand "rel_extension" )"1" (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 "reflexive?" )"2" (inst?) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "symmetric?" )"2" (skolem!)"2" (prop)"2" (expand "rel_extension" )"2" (prop)"1" (hide -2)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "symmetric?" )"1" (inst -2 "x!1`1" "y!1`1" )"1" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"2" (hide -1)"2" (typepred "le_U!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "symmetric?" )"2" (inst -2 "x!1`2" "y!1`2" )"2" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"3" (expand "transitive?" )"3" (skolem!)"3" (prop)"3" (expand "rel_extension" )"3" (prop)"1" (hide -2 -4)"1" (typepred "le_T!1" )"1" (expand "equivalence?" )"1" (prop)"1" (expand "transitive?" )"1" (inst -3 "x!1`1" "y!1`1" "z!1`1" )"1" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil )"2" (hide -1 -3)"2" (typepred "le_U!1" )"2" (expand "equivalence?" )"2" (prop)"2" (expand "transitive?" )"2" (inst -3 "x!1`2" "y!1`2" "z!1`2" )"2" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relations nil )"bool" relations nil )"bool" relations nil )"bool" relations nil )"set[[[T, U], [T, U]]]" nil )nil relations nil )nil defined_types nil )nil relation_extension nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )nil relation_extension nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
