[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-max
Status:
Proved!
Axioms: 2, User Theorems: 33 (Proved: 33, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 230, Interactions: 70
bag-add-nonempty(2,0)
bag-empty-notin(2,0)
bag-single-max(1,1)
max-biggest(2,0)
max-rem-ls(3,1)
unique-elems-addtwice(2,0)
bag-add-rem-same(25,10)
bag-in-single(1,1)
bag-union-one(1,1)
max-in-bag(2,1)
max-rem-notsame(44,10)
unique-elems-empty(1,1)
bag-add-rev(10,4)
bag-rem-empty(19,7)
in-rec(2,2)
max-in-ls(11,0)
max-subseteq(11,1)
unique-elems-rem(3,1)
bag-count-addtwice(2,0)
bag-rem-notmax(19,1)
max-add-bigger(2,0)
max-one(1,0)
unique-elems(0,0)
unique-elems-rem-notin(15,6)
bag-diff-empty(3,2)
bag-rem-subseteq(6,2)
max-add-one-different(1,0)
max-rec(0,0)
unique-elems-add(16,10)
unique-elems-subset(8,5)
bag-diff-one(2,2)
bag-remadd-in(7,1)
max-add-smaller(2,0)
max-rec-simp(2,0)
unique-elems-addmax(2,0)