[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 wellfounded
Status:
Proved!
Axioms: 5, User Theorems: 14 (Proved: 14, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 166, Interactions: 77
trans-def(0,0)
twf-trans(3,0)
twfinv-trans(3,0)
wf-lexical(33,14)
wfinv-equiv-noethind(2,2)
twf-def(0,0)
twfinv-def(0,0)
wf-def(0,0)
wf-lexicalind(12,7)
wfinv-irrefl(3,2)
twf-irrefl(2,0)
twfinv-irrefl(2,0)
wf-equiv-noethind(83,42)
wf-noethind(5,2)
wfinv-noethind(3,2)
twf-noethind(6,2)
twfinv-noethind(6,2)
wf-irrefl(3,2)
wfinv-def(0,0)