[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-pot

2pot-leone(2,0)div2-2pot-neg(7,5)grz(7,3)ls-pos-03(5,2)mod-ngez(3,1)notneg(7,3)pot-pot-02(11,5)pot2-div2(3,0)pot2-succ(2,0)two-mod-01(4,2)
Pot-neg(0,0)divmod2-2pot(3,0)le-2pot(11,5)ls-pos-2pot(2,0)mod-ngez-01(3,1)notneg-01(5,2)pot-pot-03(3,1)pot2-est-div6(46,23)pot2-succ-01(2,1)two-mone(5,1)
Pot-pos(0,0)divmod2-2pot-neg(15,9)le-2pot-01(11,5)ls-pos-2pot-01(2,1)mod-pot-shift-pos(21,9)notneg-02(5,2)pot-root-est(41,35)pot2-est-mult8(17,9)pred-le(3,0)two-zero(3,1)
Pot-zero(0,0)eq-one(5,3)le-2pot-succ(11,3)ls-same(5,1)mod-same(3,1)notone(8,3)pot-square(2,0)pot2-le-pred(7,3)square-mod-four(2,0)two-zero-01(3,1)
abs-2pot(2,1)eq-pos(14,5)le-pos(30,14)minus-odd(7,3)mod-two-ge(9,3)odd-square(4,2)pot-square-01(2,0)pot2-le-pred-01(2,0)square-nls(6,3)twolezero(3,1)
add-eq2pot(16,8)eq-two(3,1)le-pos-01(13,5)minus-one-even(5,2)mod-two-ge-01(15,5)one(2,1)pot-square-02(5,2)pot2-ls-pred(3,1)succ(3,1)twopot-mone-div(14,7)
add-eq2pot-01(7,2)eq2(9,3)le-same(3,0)minus-one-odd(7,3)mod-two-ls(5,2)one-01(8,4)pot-square-03(2,0)pot2-ls-pred-01(9,3)two-le(3,1)twotwo(2,0)
div-div-rec(45,35)eqone(2,0)lemon2pot(2,0)minus-square(4,2)mod-two-ls-01(2,1)one-02(6,2)pot-square-04(2,0)pot2-mod2-zero(3,1)two-le-01(2,1)zero(7,3)
div-div-rec-01(2,1)eqone-01(2,0)lemon2pot-01(4,1)minus-square-01(2,1)mod2-2pot(7,3)one-03(2,0)pot-square-05(3,1)pot2-pos(2,0)two-leone(10,5)zero-01(2,0)
div-twopot(7,2)eqone-02(2,1)lemon2pot-02(6,4)mod-2pot(9,6)mod2-2pot-01(11,4)pot-dist-pos(12,4)pot-square-est(3,1)pot2-pos-01(3,1)two-lez(3,1)zero-02(3,1)
div2(8,3)equal-minus-one(45,25)ls-2pot(3,1)mod-add1-negneg(3,1)mod2-2pot-02(6,2)pot-div(9,3)pot-square-est-01(17,10)pot2-pos-02(3,1)two-lez-01(2,0)zero-03(2,0)
div2-2pot(3,1)even-square(4,2)ls-2pot-01(3,1)mod-add1-pospos(3,1)mod2-2pot-03(3,1)pot-div3-nls(13,4)pot-square-est-02(24,16)pot2-pos-03(3,1)two-ls(3,1)zerozero(2,0)
div2-2pot-01(3,1)exin2pot(23,11)ls-mult-2pot(12,5)mod-lesame(3,1)mod2-2pot-04(6,2)pot-lez(2,0)pot-square-est-div6(10,8)pot2-pos-04(3,1)two-lsz(3,1)
div2-2pot-02(5,1)exin2pot-neg(9,4)ls-pos(11,6)mod-lez(2,0)mod2-2pot-05(3,1)pot-nls(4,2)pot-sub-dist(9,3)pot2-pos-05(2,0)two-minus(7,3)
div2-2pot-03(7,2)exinpot(10,5)ls-pos-01(2,0)mod-lsz(3,1)mod2-2pot-06(3,1)pot-pot(10,5)pot-zero-01(7,3)pot2-suble(3,1)two-minus-01(2,1)
div2-2pot-04(2,1)geom-mod(27,21)ls-pos-02(11,4)mod-next-square(4,2)mod2-pos(3,1)pot-pot-01(2,0)pot2-add(2,0)pot2-subls(3,1)two-mod(3,1)