[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-basic
Status:
Proved!
Axioms: 7, User Theorems: 67 (Proved: 67, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 210, Interactions: 11
Extension(0,0)
characteristic-function(0,0)
eq-06(2,0)
in-02(2,0)
ne-02(3,0)
sub-idem(2,0)
sub-one-01(9,0)
subset-insert-01(2,0)
two(5,0)
In-empty(0,0)
construct-set(0,0)
eq-subset(2,0)
in-03(2,0)
one(5,0)
sub-in(3,0)
sub-one-02(2,0)
subset-insert-02(2,0)
two-01(3,0)
In-insert(0,0)
del(1,1)
eqtwo(3,0)
in-04(2,0)
sel(3,0)
sub-insert(12,3)
sub-trans(5,0)
subset-insert-03(2,0)
Subset(0,0)
eq(2,0)
eqtwo-01(9,0)
in-05(3,0)
sub-add(2,0)
sub-insert-01(2,0)
sub-two(2,0)
subset-insert-04(2,0)
add(2,0)
eq-01(9,0)
expand(3,2)
in-06(2,0)
sub-add-01(2,0)
sub-insert-3(2,0)
subset(5,1)
subset-insert-05(2,0)
add-01(2,0)
eq-02(8,1)
ext-rec(1,1)
indef(2,2)
sub-add-02(3,0)
sub-insert-4(2,0)
subset-empty(2,0)
subset-insert-06(2,0)
addthree(2,0)
eq-03(3,0)
gen(0,0)
ins-two(2,0)
sub-add-03(5,0)
sub-insert-5(2,0)
subset-equal(9,0)
subset-insert-same(2,0)
addtwo(2,0)
eq-04(3,0)
in(2,0)
ne(3,0)
sub-add-04(3,0)
sub-ntrans(5,0)
subset-ins(2,0)
sw(2,0)
alle(3,0)
eq-05(2,0)
in-01(2,0)
ne-01(2,0)
sub-e(2,0)
sub-ntrans-01(5,0)
subset-insert(2,0)
sw-01(2,0)