(card_sets_lemmasnil 3316968940"" (grind)"" (inst + "LAMBDA (x: (emptyset[T])): choose(S!1)" )"1" (skolem-typepred)"1" (expand "emptyset" ) (("1" (propax) nil nil )) nil )) nil )"2" (skolem-typepred)"2" (expand "emptyset" ) (("2" (propax) nil nil )) nil )) nil ))nil ))nil )"set[T]" card_sets_lemmas nil )"bool" sets nil )"set" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )"(p)" sets nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316968979"" (grind)"1" (typepred "f!1(x!1)" )"1" (expand "emptyset" ) (("1" (propax) nil nil )) nil )) nil )"2" (lemma "fun_exists[(S!1), (emptyset[T])]" )"2" (reduce)"2" (inst + "f!1" )"2" (skosimp :preds? t) (("2" (inst?) nil nil )) nil )) nil ))nil ))nil ))nil )nil function_image nil )"finite_set" finite_sets nil )NOT const-decl "[bool -> bool]" booleans nil )"set" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )"bool" sets nil )"bool" sets nil )"bool" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969028"" (grind)"" (inst + "LAMBDA (x: (S!1)): x" ) (("" (skosimp) nil nil )) nil ))nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (fullset const-decl "set" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969061"" (grind)"" (inst + "LAMBDA (x: (S!1)): x" ) (("" (skosimp) nil nil )) nil ))nil )"bool" sets nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil )"bool" sets nil )"(nonempty?)" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969072"" (grind)"" (inst + "LAMBDA (x: (remove(t!1, S!1))): x" )"1" (skosimp) nil nil ) ("2" (grind) nil nil )) nil ))nil )"set[T]" card_sets_lemmas nil )"T" card_sets_lemmas nil )"set" sets nil ) (set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" sets nil )"boolean" notequal nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969103"" (grind)"" (inst + "LAMBDA (x: (S!1)): x" )"1" (skosimp) nil nil ) ("2" (reduce) nil nil )) nil ))nil )"set[T]" card_sets_lemmas nil )"set[T]" card_sets_lemmas nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil )"bool" sets nil )"bool" sets nil ))nil 3316969137"" (expand "strict_subset?" )"" (skosimp)"" (assert )"" (use "card_lt_is_irreflexive" )"" (expand "irreflexive?" )"" (inst?) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil card_sets_lemmas nil )nil card_single nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )"bool" relations nil )"(partial_order?[set[T]])" nil )"(irreflexive?[set[T]])" nil )"(antisymmetric?[set[T]])" nil )"(transitive?[set[T]])" nil )"bool" sets nil ))nil 3316969188"" (grind)"" (inst + "LAMBDA (x: (S!1)): x" ) (("" (skosimp) nil nil )) nil ))nil )"bool" sets nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (union const-decl "set" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969197"" (grind)"" (inst + "LAMBDA (x: (R!1)): x" ) (("" (skosimp) nil nil )) nil ))nil )"bool" sets nil )nil booleans nil )nil booleans nil )set type-eq-decl nil sets nil ) (union const-decl "set" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969225"" (grind)"" (inst + "LAMBDA (x: (intersection(S!1, R!1))): x" )"1" (skosimp) nil nil ) ("2" (grind) nil nil )) nil ))nil )"set[T]" card_sets_lemmas nil )"set[T]" card_sets_lemmas nil )"set" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969249"" (grind)"" (inst + "LAMBDA (x: (intersection(S!1, R!1))): x" )"1" (skosimp) nil nil ) ("2" (grind) nil nil )) nil ))nil )"set[T]" card_sets_lemmas nil )"set[T]" card_sets_lemmas nil )"set" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))nil 3316969260"" (grind)"" (inst + "LAMBDA (x: (difference(S!1, R!1))): x" )"1" (skosimp) nil nil ) ("2" (grind) nil nil )) nil ))nil )"set[T]" card_sets_lemmas nil )"set[T]" card_sets_lemmas nil )"set" sets nil )set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" sets nil )"bool" card_comp_set nil )nil card_sets_lemmas nil )"bool" functions nil ))quality 100%
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
