(relations_extranil 3308139199"" (skosimp* t)"" (expand "strict_order?" )"" (flatten)"" (expand "asymmetric?" )"" (skosimp*)"" (expand "transitive?" )"" (inst - "x!2" "y!1" "x!2" )"" (assert )"" (expand "irreflexive?" ) (("" (inst?) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relations_extra nil )"bool" relations nil )"bool" relations nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" orders nil ))nil 3308139286"" (skosimp* t)"" (expand "asymmetric?" )"" (expand "antisymmetric?" )"" (skosimp*) (("" (inst?) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )"bool" relations nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" relations_extra nil ))nil 3308139358"" (skosimp* t)"" (expand "irreflexive?" )"" (expand "asymmetric?" )"" (skosimp*) (("" (inst?) (("" (prop) nil nil )) nil )) nil ))nil ))nil ))nil )"bool" relations nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" relations_extra nil ))nil 3308138472"" (skolem-typepred)"" (expand "reflexive?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137563"" (skosimp* t)"" (auto-rewrite-defs) (("" (assert ) (("" (inst?) nil nil )) nil ))nil ))nil )nil nil )nil 3308137369 ("" (grind) nil nil ) nil shostak))nil 3308138470"" (skolem-typepred)"" (expand "irreflexive?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137556"" (skosimp* t)"" (auto-rewrite-defs) (("" (assert ) (("" (inst?) nil nil )) nil ))nil ))nil )nil nil )nil 3308137450 ("" (grind) nil nil ) nil nil ))nil 3308138467"" (skolem-typepred)"" (expand "symmetric?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137453"" (skosimp* t)"" (auto-rewrite-defs)"" (assert )"" (inst - "x!1" "y!1" ) (("" (assert ) nil nil )) nil )) nil ))nil ))nil )nil nil ))nil 3308138464"" (skolem-typepred)"" (expand "antisymmetric?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137572"" (skosimp* t)"" (auto-rewrite-defs)"" (assert ) (("" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil )nil nil ))nil 3308139089"" (skolem-typepred)"" (expand "asymmetric?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations_extra nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil 3308138460"" (skolem-typepred)"" (expand "transitive?" ) (("" (propax) nil nil )) nil )) nil )"bool" relations nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137577"" (skosimp* t)"" (auto-rewrite-defs)"" (assert )"" (inst - "x!1" "y!1" "z!1" ) (("" (assert ) nil nil )) nil ))nil ))nil ))nil )nil nil ))nil 3308138452"" (skolem-typepred)"" (expand "dichotomous?" ) (("" (propax) nil nil )) nil )) nil )"bool" orders nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137580"" (skosimp* t)"" (auto-rewrite-defs)"" (assert ) (("" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil )nil nil ))nil 3308138441"" (skolem-typepred)"" (expand "trichotomous?" ) (("" (propax) nil nil )) nil )) nil )"bool" orders nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil )nil 3308137584"" (skosimp* t)"" (auto-rewrite-defs)"" (assert ) (("" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil )nil nil ))nil 3308166081"" (skosimp* t)"" (expand * "trichotomous?" "dichotomous?" )"" (skosimp*) (("" (inst?) (("" (prop) nil nil )) nil )) nil ))nil ))nil )"bool" orders nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" orders nil ))nil 3308138322"" (skolem-typepred)"" (expand "well_founded?" ) (("" (propax) nil nil )) nil )) nil )"bool" orders nil )nil defined_types nil )nil relations_extra nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil 3308173829 ("" (subtype-tcc) nil nil )"bool" sets nil )"set" sets nil )"bool" relations nil ))nil 3308173829 ("" (subtype-tcc) nil nil )"bool" sets nil )"set" sets nil )"bool" relations nil ))nil 3308173829 ("" (subtype-tcc) nil nil )"bool" sets nil )"pred[[T2, T1]]" relation_defs nil )"set" sets nil )"bool" relations nil ))nil 3308173829 ("" (subtype-tcc) nil nil )"bool" sets nil )"pred[[T2, T1]]" relation_defs nil )"set" sets nil )"bool" relations nil ))nil 3308174613"" (skosimp* t)"" expand * "preorder?" "transitive?" "reflexive_closure" "union" "member" )"" (skosimp*)"" (inst - "x!1" "y!1" "z!1" )"" (assert ) (("" (ground) nil nil )) nil )) nil ))nil ))nil ))nil )"set" sets nil )"bool" sets nil )"(reflexive?)" relations_extra nil )"bool" orders nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" relations nil ))nil 3308174139"" (skosimp* t)"" (expand * "partial_order?" "preorder?" )"" expand * "antisymmetric?" "reflexive_closure" "union" "member" )"" (skosimp*)"" (assert )"" (use "asymmetric" ) (("" (prop) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )"(preorder?)" relations_extra nil )"bool" orders nil )nil relations_extra nil )"bool" relations_extra nil )"bool" relations nil )"set" sets nil )"bool" sets nil )"(reflexive?)" relations_extra nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" orders nil ))nil 3308223765"" (skosimp*)"" (expand * "dichotomous?" "reflexive_closure" "union" "member" )"" (skosimp*)"" (use "trichotomous" ) (("" (prop) nil nil )) nil )) nil ))nil ))nil )"(reflexive?)" relations_extra nil )"bool" sets nil )"set" sets nil )"bool" orders nil )nil relations_extra nil )"bool" orders nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil relations_extra nil ))nil ))nil 3308223200"" (skosimp*)"" (expand "total_order?" ) (("" (propax) nil nil )) nil )) nil )"(dichotomous?)" relations_extra nil )"(partial_order?)" relations_extra nil )"bool" orders nil ))nil 3308174139"" (skosimp* t)"" expand * "strict_order?" "transitive?" "irreflexive_kernel" "difference" "member" )"" (skosimp*)"" (lemma "transitive" )"" (assert )"" (inst - "R!1" "x!1" "y!1" "z!1" )"" (assert )"" (replace -5 :hide? t)"" (lemma "antisymmetric" )"" (inst - "R!1" "z!1" "y!1" )"" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relations nil )"set" sets nil )"bool" sets nil )"(irreflexive?)" relations_extranil )"bool" orders nil )nil relations_extra nil )nil defined_types nil )"bool" relations nil )nil relations_extra nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" orders nil ))nil 3308223871"" (skosimp*)"" expand * "trichotomous?" "irreflexive_kernel" "difference" "member" )"" (skosimp*)"" (assert )"" (use "dichotomous" ) (("" (prop) nil nil )) nil )) nil ))nil ))nil ))nil )"(irreflexive?)" relations_extranil )"bool" sets nil )"set" sets nil )"bool" orders nil )nil relations_extra nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" orders nil )nil relations_extra nil ))nil ))nil 3308223398"" (skosimp*)"" (expand "strict_total_order?" ) (("" (propax) nil nil )) nil ))nil )"(trichotomous?)" relations_extra nil )"(strict_order?)" relations_extra nil )"bool" orders nil ))nil 3308174139"" (skosimp* t)"" (expand "equivalence?" )"" (prop)"1" expand * "reflexive?" "symmetric_kernel" "intersection" "converse" "member" )"1" (skosimp*)"1" (use "reflexive" ) (("1" (prop) nil nil )) nil )) nil ))nil )"2" expand * "transitive?" "symmetric_kernel" "intersection" "converse" "member" )"2" (skosimp*)"2" (lemma "transitive" )"2" (inst-cp - "R!1" "x!1" "y!1" "z!1" )"2" (inst - "R!1" "z!1" "y!1" "x!1" )"2" (prop) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relations nil )"bool" relations nil )nil relations_extra nil )"(symmetric?)" relations_extra nil )"pred[[T2, T1]]" relation_defs nil )"bool" sets nil )"set" sets nil )"bool" relations nil )nil relations_extra nil )nil defined_types nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil relations_extra nil )nil defined_types nil )"bool" orders nil ))quality 100%
¤ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
