(card_singlenil 3316968557"" (expand * "irreflexive?" "card_lt" )"" (skolem!)"" (inst + "identity[(x!1)]" ) (("" (judgement-tcc) nil nil ))nil ))nil ))nil )"bool" functions nil )NOT const-decl "[bool -> bool]" booleans nil )identity const-decl "(bijective?[T, T])" identity nil )"bool" functions nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_single nil )"bool" relations nil )"bool" card_comp_set nil ))nil ))nil 3316968557"" (expand * "reflexive?" "card_le" )"" (skolem!)"" (inst + "identity[(x!1)]" ) (("" (judgement-tcc) nil nil ))nil ))nil ))nil )"bool" functions nil )NOT const-decl "[bool -> bool]" booleans nil )identity const-decl "(bijective?[T, T])" identity nil )"bool" functions nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_single nil )"bool" relations nil )"bool" card_comp_set nil ))nil ))nil 3316968557"" (expand * "reflexive?" "card_eq" )"" (skolem!)"" (inst + "identity[(x!1)]" ) (("" (assert ) nil nil )) nil ))nil ))nil )identity const-decl "(bijective?[T, T])" identity nil )"bool" functions nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_single nil )"bool" relations nil )"bool" card_comp_set nil ))nil ))nil 3316968557"" (expand * "reflexive?" "card_ge" )"" (skolem!)"" (inst + "identity[(x!1)]" ) (("" (judgement-tcc) nil nil ))nil ))nil ))nil )"bool" functions nil )NOT const-decl "[bool -> bool]" booleans nil )identity const-decl "(bijective?[T, T])" identity nil )"bool" functions nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_single nil )"bool" relations nil )"bool" card_comp_set nil ))nil ))nil 3316968557"" (expand * "irreflexive?" "card_gt" )"" (skolem!)"" (inst + "identity[(x!1)]" ) (("" (judgement-tcc) nil nil ))nil ))nil ))nil )"bool" functions nil )NOT const-decl "[bool -> bool]" booleans nil )identity const-decl "(bijective?[T, T])" identity nil )"bool" functions nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_single nil )"bool" relations nil )"bool" card_comp_set nil ))nil ))nil 3316968557"" (expand "antisymmetric?" )"" (skosimp)"" (forward-chain "card_lt_anticommutative" ) nil nil )) nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_props nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "symmetric?" )"" (skosimp) (("" (rewrite "card_eq_symmetric" ) nil nil )) nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_props nil )"(reflexive?[set[T]])" nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "antisymmetric?" )"" (skosimp)"" (forward-chain "card_gt_anticommutative" ) nil nil )) nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_props nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "transitive?" )"" (skosimp) (("" (forward-chain "card_lt_transitive" ) nil nil ))nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_transitive nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "transitive?" )"" (skosimp) (("" (forward-chain "card_le_transitive" ) nil nil ))nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_transitive nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "transitive?" )"" (skosimp) (("" (forward-chain "card_eq_transitive" ) nil nil ))nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_transitive nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "transitive?" )"" (skosimp) (("" (forward-chain "card_ge_transitive" ) nil nil ))nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_transitive nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "transitive?" )"" (skosimp) (("" (forward-chain "card_gt_transitive" ) nil nil ))nil ))nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil card_comp_set_transitive nil )"bool" relations nil ))nil ))nil 3316968557"" (expand "dichotomous?" )"" (skolem!) (("" (use "card_le_dichotomous" ) nil nil )) nil ))nil )nil card_single nil )nil card_comp_set_props nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil )"bool" orders nil ))nil ))nil 3316968557"" (expand "dichotomous?" )"" (skolem!) (("" (use "card_ge_dichotomous" ) nil nil )) nil ))nil )nil card_single nil )nil card_comp_set_props nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil )"bool" orders nil ))nil ))nil 3316968557 ("" (judgement-tcc) nil nil )"(transitive?[set[T]])" nil )"(symmetric?[set[T]])" nil )"(reflexive?[set[T]])" nil )"bool" relations nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
