[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 ablock-nodes
Status:
Proved!
Axioms: 2, User Theorems: 12 (Proved: 12, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 105, Interactions: 41
at-nodes(0,0)
nodes-alloc-append(16,4)
nodes-empty(1,1)
prefix-imp-nodes-subset(2,1)
in-nodes(0,0)
nodes-alloc-subseteq(2,1)
nodes-write-refsize(4,2)
prefix-subseteq-dom-nodes-rev(25,11)
insert-inter-notin-dom-nodes(4,2)
nodes-append(30,9)
notin-add-diff-dom-nodes(6,3)
nodes-alloc(11,5)
nodes-at-alloc(2,1)
prefix-imp-dom-nodes-subset(2,1)