[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 int-abs

Abs-neg(0,0)abs-ls-02(3,0)absone-01(5,1)estimate-add2-lsle-left(2,0)int-simp-11(2,0)ls-rew-succ(2,0)neg-02(2,0)numabspos(2,0)ple-02(2,0)sub-same-01(2,0)
Abs-pos(0,0)abs-ls-03(3,0)absone-02(2,0)estimate-add2-lsle-right(2,0)k-sub-rec1(2,0)lsone(2,0)neg-03(2,0)numadd(2,0)ple-03(2,0)sub-shift(2,0)
Minus-def(0,0)abs-ls-04(2,0)absp(2,0)ex-le-add(2,1)k-sub-rec2(2,0)lstwo(2,0)neg-04(2,0)numadd-01(2,0)ple-04(2,0)sub-shift-second(2,0)
Sub-def(0,0)abs-mone(2,0)absp-01(2,0)forward-le(2,0)le-add(2,0)lstwo-01(2,0)neg-05(2,0)numle-01(2,0)pls(2,0)sub-sub(2,0)
abs(2,0)abs-neg(6,0)abssub(2,0)forward-le-01(2,0)le-add-01(3,1)minus(2,0)neg-06(2,0)numle-02(2,0)pls-01(2,0)sub-sub-01(2,0)
abs-01(2,0)abs-one(2,0)abssub-01(2,0)forward-le-02(2,0)le-add-02(2,0)minus-01(2,0)neg-07(2,0)numle-03(2,0)rew-eqzero(2,0)sub-sub-02(2,0)
abs-02(2,0)abs-one-01(3,0)abssub-02(2,0)forward-le-03(2,0)le-add-03(2,0)minus-02(2,0)neg-08(2,0)numlef(2,0)rew-eqzero-01(2,0)sub-sub-03(2,0)
abs-03(2,0)abs-sub(3,0)abssub-03(2,0)forward-le-04(2,0)le-add-04(2,1)minus-add(2,0)neg-09(2,0)numlef-01(2,0)sub-add(2,1)sub-sub-04(2,0)
abs-04(2,0)abs-sub-01(10,2)abssub-04(2,0)forward-le-05(2,0)le-add-05(3,2)minus-five(2,0)neg-10(2,0)numleledel(2,0)sub-add-01(2,0)sub-zero(2,0)
abs-05(2,0)abs-sub-02(2,0)abssub-05(3,0)forward-lele(2,0)le-add-06(3,2)minus-four(2,0)neg-11(2,0)numleledel-01(2,0)sub-add-02(2,0)sub-zero-01(2,0)
abs-06(3,0)abs-succ(5,1)add-pos-ge(2,0)forward-lels(2,0)le-add-07(3,2)minus-gr(2,0)neg-12(2,0)numlelsdel(2,0)sub-add-03(2,0)subneg(2,0)
abs-07(3,0)abs-two(2,0)add-rew(2,0)forward-lsle(2,0)le-add-08(5,4)minus-neg(2,0)neg-13(2,0)numlelsdel-01(2,0)sub-add-04(2,0)subsub(2,0)
abs-08(2,0)abs-zero(2,0)add-shift(2,0)ge(2,0)le-def(0,0)minus-rew(2,0)neg-14(2,0)numls-01(2,0)sub-add-05(2,0)succ-01(2,0)
abs-09(2,0)absa(5,0)anti(2,0)ge-def(0,0)le-rec(2,0)minus-sub(2,0)neg-15(2,0)numls-02(2,0)sub-add-06(2,0)succ-02(3,1)
abs-10(2,0)abseq(3,0)bet(2,0)gr-def(0,0)le-rew-succ(2,0)minus-three(2,0)neg-add(2,0)numls-03(2,0)sub-add-07(2,0)transrew(2,0)
abs-11(2,0)absle(2,0)bet-01(2,0)int-add-pos(2,0)le-sub-same(2,0)mmone(2,0)neg-eq(2,0)numlsf(2,0)sub-add-08(2,0)transrew-01(2,0)
abs-12(2,0)absle-01(2,0)discard-add2-lels-left(2,0)int-add-pos-01(2,0)le-three(3,1)mone(2,0)negadd(2,0)numlsf-01(2,0)sub-add-09(2,0)ttwo(2,0)
abs-14(2,0)absls(3,0)elim-sub(3,1)int-add-same-pos(2,0)lels(2,0)mone-01(2,0)negeq(2,0)numlsf-02(2,0)sub-eq(2,0)zero-eq(2,0)
abs-15(2,0)absls-01(3,0)estimate-add1-le-left(2,0)int-simp-01(3,1)lels-02(2,0)mone-02(2,0)negle-07(2,0)numlsledel(2,0)sub-eq-01(2,0)zero-ge(2,0)
abs-16(2,0)absls-02(5,0)estimate-add1-le-right(2,0)int-simp-02(2,0)lels-03(2,0)mone-03(2,0)negle-13(2,0)numlsledel-01(2,0)sub-le(2,0)zero-ge-01(2,0)
abs-17(2,0)absls-03(2,0)estimate-add1-ls-left(2,0)int-simp-03(3,1)lenls(2,0)mone-04(2,0)negone(2,0)numlslsdel(2,0)sub-le-01(2,0)zero-gels(2,0)
abs-18(2,0)absls-04(2,0)estimate-add1-ls-right(2,0)int-simp-04(3,1)leone(2,0)mone-05(2,0)not-mone(4,2)numlslsdel-01(2,0)sub-less(2,1)zero-gels-01(2,0)
abs-19(2,0)absls-05(3,0)estimate-add1-lsle-left(2,0)int-simp-05(2,0)lep(2,0)mone-06(2,0)not-mtwo(4,2)numlslsdel-02(2,0)sub-ls(2,0)zero-gels-02(2,0)
abs-21(7,0)absls-06(2,0)estimate-add1-lsle-right(2,0)int-simp-06(3,1)lep-01(2,0)mone-07(3,1)notle-pos(2,0)numlslsdel-03(2,0)sub-ls-01(2,0)zero-gels-03(2,0)
abs-add(2,0)absneg(2,0)estimate-add2-le-left(2,0)int-simp-07(2,0)lep-02(2,0)mone-08(2,0)num-between(2,0)numsub(2,0)sub-ls-02(2,0)zero-gels-04(2,0)
abs-le-succ(5,1)absneg-01(2,0)estimate-add2-le-right(2,0)int-simp-08(3,1)lepr(2,0)mone-neg(2,0)num-eq-shift(2,0)one-03(3,1)sub-minus(2,0)zero-gs(2,0)
abs-ls(2,0)absneg-02(2,0)estimate-add2-ls-left(2,0)int-simp-09(2,0)ler(2,0)neg(2,0)num-subadd(2,0)ple(2,0)sub-pred(2,0)zero-not(5,0)
abs-ls-01(2,0)absone(2,0)estimate-add2-ls-right(2,0)int-simp-10(3,1)les(2,0)neg-01(2,0)numabsneg(2,0)ple-01(5,2)sub-same(2,0)zeroone(2,0)