[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification set-union

Delete(0,0)del-eq(16,0)delete-shift(1,0)diff-int-01(1,0)int-empty-01(2,0)k-diff-rec1(2,1)sub-del(2,0)unall(2,0)union-difference(2,1)union-sub-01(1,0)
Difference(0,0)del-feq(4,2)delete-subset(1,0)diff-nin(1,0)int-empty-02(2,0)k-diff-rec2(1,0)sub-del-01(1,0)unc(1,0)union-inter-inter-union(3,2)union-subset(1,0)
Intersect(0,0)del-feq-01(1,0)delsw(2,0)diff-one(1,0)int-empty-one(1,0)k-intersect-base(1,0)sub-del-02(1,0)undel(1,0)union-one(1,0)union-subset-01(2,0)
One(0,0)del-feq-02(2,0)delsw-01(1,0)diff-rc(2,1)int-eq(2,0)k-intersect-rec1(1,0)sub-del-03(1,0)undel-01(2,0)union-rem-add(2,1)union-subset-02(6,1)
Union(0,0)del-in(1,0)delsw-02(1,0)diff-sub(1,0)int-idem(1,0)k-intersect-rec2(2,0)sub-del-04(4,0)undel-02(1,0)union-rem-unchdg(1,0)union-subset-03(8,1)
add-inter-rem(6,1)del-in-01(1,0)diff-add-del(2,1)diff-sub-size(34,10)int-ins(1,0)k-union-base(1,0)sub-del-05(1,0)undel-03(1,0)union-rem-union(1,0)union-subset-04(8,1)
del-addeq(14,6)del-in-02(1,0)diff-add-del-01(1,0)diff-subset(1,0)int-inse(1,0)k-union-rec1(1,0)sub-union(1,0)undel-04(2,0)union-rewone(1,0)union-subset-05(2,0)
del-addeq-01(1,0)del-in-03(1,0)diff-del(2,0)diff-subset-01(1,0)int-inserte(2,0)k-union-rec2(1,0)sub-union-01(1,0)undel-05(1,0)union-size(2,1)union-subseteq-union-same(1,0)
del-addeq-02(1,0)del-ne(1,0)diff-del-01(1,0)diff-supset-empty(2,1)int-notempty(1,0)one-in(1,1)sub-union-02(1,0)undel-06(1,0)union-size-01(1,0)unrax(1,0)
del-addeq-03(1,0)del-neq(1,0)diff-del-02(1,0)diff-union(1,0)int-notempty-01(1,0)one-min(1,0)sub-union-03(1,0)une(1,0)union-size-02(2,0)unsub(1,0)
del-addeq-04(1,0)del-neq-01(2,0)diff-del-minus(2,1)diff-union-01(1,0)int-rax(1,0)rem-inter-empty3(10,4)sub-union-04(1,0)une-01(15,1)union-size-03(17,8)unsub-union-01(26,0)
del-addeq-05(1,0)del-neq-02(1,0)diff-del-minus-2(2,1)diff-union-02(2,1)int-subs01(1,0)rem-union-ins(3,1)sub-union-05(1,0)uneq(2,0)union-size-insert(1,0)unsubdel(6,0)
del-addeq-06(1,0)del-notin(1,0)diff-del-minus-3(2,1)diff-union-03(4,2)intdel-empty(2,0)selsub-diff(8,3)subdef(5,1)unidem(1,0)union-size-le(12,5)unsubdel-01(1,0)
del-addin(1,0)del-rax(1,0)diff-del-plus-1(2,1)empty-intersection-diff(2,1)intersect-add-rem(1,1)size-del-leq(1,0)subset-del(1,0)unin(1,0)union-size-ls-in(2,1)unsubins(1,0)
del-addin-01(1,0)del-size(2,1)diff-del-plus-2(2,1)equal-add-in(1,0)intersect-empty-rem(1,0)size-eq(1,0)subset-is-union(21,9)unin-01(1,0)union-size-not-less(2,1)unsubins-01(1,0)
del-d(1,0)del-size-01(1,0)diff-diff-right(2,1)insdel-sub(2,0)intersection-insert(2,1)size-eq-ext(5,3)subseteq-inter-empty-empty(9,3)unindel(1,0)union-size-not-less-01(2,1)unsubsub(6,0)
del-d-01(1,0)del-size-02(4,0)diff-e(1,0)int-a(1,0)intersection-shift(2,1)size-union(18,5)subseteq-rem-del(9,6)uninsert(1,0)union-size-not-less-02(2,1)
del-del-one(1,0)del-three(14,0)diff-e-01(1,0)int-c(1,0)intersection-size(14,6)sub-ade(2,0)subsub-del(2,0)uninsubdel(1,0)union-sizeeq(7,3)
del-e(1,0)del-three-01(1,0)diff-empty(2,1)int-del-rew(2,1)intexin(2,0)sub-ade-01(2,0)una(1,0)union-del(1,0)union-sizele(8,5)
del-e-01(1,0)del-two(30,0)diff-idem(1,0)int-e(1,0)intu-empty(14,3)sub-ade-02(2,0)unadd(1,0)union-diff(1,0)union-sizele-01(2,2)
del-e-02(12,0)delete-insert(1,0)diff-int(1,0)int-empty(1,0)k-delete-rec(2,1)sub-ade-03(2,0)unadd-01(1,0)union-diff-union-same(3,2)union-sub(1,0)