[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 bag-array
Status:
Proved!
Axioms: 3, User Theorems: (Proved: 16, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 95, Interactions: 38
ar-elems-append(5,3)
ar-elems-id-size(4,2)
ar-elems-in-exists-h(12,5)
ar-elems-update(2,1)
elems(0,0)
ar-elems-append-lower-h(4,1)
ar-elems-id-size1(4,2)
ar-elems-in-h(11,6)
ar-elems-update-h(12,3)
elems-base(0,0)
ar-elems-append-not-lower-h(8,3)
ar-elems-in(2,1)
ar-elems-size(2,2)
ar-elems-update-h0(4,1)
elems-rec(0,0)
ar-elems-extract1(15,6)
ar-elems-in-exists(4,1)
ar-elems-size-h(4,0)
ar-elems1(2,1)