[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 infset-union

Delete(0,0)del-del-one(2,0)delete-subset(2,0)diff-idem(2,0)int-a(2,0)intersect-empty-rem(3,0)sub-ade(3,0)subset-union-left-rem(2,0)unidem(2,0)union-subset-01(3,0)
Difference(0,0)del-e(11,0)delsw(3,0)diff-int(2,0)int-c(2,0)intersection-insert(2,0)sub-ade-01(3,0)subseteq-inter-empty-empty(5,0)unin(2,0)union-subset-02(7,0)
Intersect(0,0)del-e-01(2,0)delsw-01(2,0)diff-int-01(2,0)int-del-rew(2,0)intersection-shift(3,0)sub-ade-02(3,0)subseteq-rem-del(5,0)unin-01(2,0)union-subset-03(11,0)
One(0,0)del-e-02(12,0)delsw-02(2,0)diff-nin(2,0)int-e(2,0)intexin(2,0)sub-ade-03(3,0)subsub-del(3,0)unindel(2,0)union-subset-04(11,0)
Union(0,0)del-eq(17,0)delsw-suc(3,0)diff-one(2,0)int-empty(3,0)intu-empty(15,3)sub-del(3,0)una(2,0)uninsert(2,0)union-subset-05(3,0)
add-inter-rem(2,0)del-feq(5,2)diff-add-del(3,1)diff-rc(3,1)int-empty-01(2,0)k-delete-rec(3,0)sub-del-01(3,0)unadd(2,0)uninsubdel(2,0)unrax(2,0)
add-rem-sub(5,2)del-feq-01(3,1)diff-add-del-01(2,0)diff-sub(2,0)int-empty-02(3,0)k-diff-rec1(3,0)sub-del-02(2,0)unadd-01(2,0)union-del(2,0)unsub(2,0)
del(1,1)del-feq-02(3,0)diff-del(5,2)diff-subset(2,0)int-empty-one(2,0)k-diff-rec2(2,0)sub-del-03(3,0)unall(2,0)union-diff(2,0)unsub-union-01(27,0)
del-addeq(15,6)del-in(2,0)diff-del-01(2,0)diff-subset-01(2,0)int-eq(3,0)k-intersect-base(2,0)sub-del-04(5,0)unc(2,0)union-diff-union-same(3,0)unsubdel(7,0)
del-addeq-01(2,0)del-in-01(2,0)diff-del-02(2,0)diff-supset-empty(2,0)int-idem(2,0)k-intersect-rec1(2,0)sub-del-05(2,0)undel(2,0)union-difference(3,0)unsubdel-01(2,0)
del-addeq-02(2,0)del-in-02(2,0)diff-del-minus(3,1)diff-union(2,0)int-ins(11,2)k-intersect-rec2(2,0)sub-rem-inter-rem(3,0)undel-01(3,0)union-inter-inter-union(3,0)unsubins(2,0)
del-addeq-03(2,0)del-in-03(2,0)diff-del-minus-2(4,0)diff-union-01(2,0)int-inse(7,0)k-union-base(2,0)sub-union(3,0)undel-02(3,0)union-one(2,0)unsubins-01(2,0)
del-addeq-04(2,0)del-neq(2,0)diff-del-minus-3(4,0)diff-union-02(3,1)int-inserte(3,0)k-union-rec1(2,0)sub-union-01(3,0)undel-03(2,0)union-rem-add(2,0)unsubsub(7,0)
del-addeq-05(2,0)del-neq-01(3,0)diff-del-plus-1(4,0)diff-union-03(5,2)int-notempty(3,0)k-union-rec2(2,0)sub-union-02(2,0)undel-04(3,0)union-rem-unchdg(2,0)
del-addeq-06(2,0)del-neq-02(3,1)diff-del-plus-2(4,0)empty-intersection-diff(5,0)int-notempty-01(3,0)one-in(2,1)sub-union-03(2,0)undel-05(2,0)union-rewone(2,0)
del-addin(2,0)del-notin(2,0)diff-diff-right(2,0)equal-add-in(3,1)int-subs01(2,0)one-min(2,0)sub-union-04(2,0)undel-06(2,0)union-sub(2,0)
del-addin-01(2,0)del-two(24,1)diff-e(2,0)ext(8,2)intdel-empty(3,0)rem-inter-empty3(5,0)sub-union-05(2,0)une(2,0)union-sub-01(3,0)
del-d(2,0)delete-insert(2,0)diff-e-01(2,0)indef(2,2)inter-empty-diff(9,0)rem-union-ins(2,0)subset-del(2,0)une-01(15,1)union-sub-rem-inter-empty(19,0)
del-d-01(2,0)delete-shift(23,0)diff-empty(3,1)insdel-sub(3,0)intersect-add-rem(2,0)selsub-diff(9,4)subset-is-union(9,3)uneq(3,0)union-subset(3,0)