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

Div-def(0,0)div-elim1(4,1)div-mult-num(3,1)div-zero-ngr(3,0)ls-02(11,4)mod-ls-same-02(21,7)mod-rec-01(8,3)modeq-pos(5,2)modnum-neg(2,0)one-05(2,0)
Div-left(0,0)div-elim2(5,2)div-mult-num-01(2,0)div-zero-ngr-01(3,1)ls-03(2,1)mod-ls-zero(3,1)mod-rew(2,0)modeq-pos-01(2,1)modnum-neg-01(2,0)one-06(2,0)
Div-right(0,0)div-elim3(3,1)div-mult-pos(2,0)div-zero-nls(3,1)ls-even(2,0)mod-lsz(5,1)mod-same(3,1)modeq-pos-02(5,2)mult(5,2)one-lez(2,0)
Mod-def(0,0)div-eq-same(11,5)div-mult-pos-01(3,1)div-zero-nls-01(3,1)ls-even-01(30,17)mod-lsz-01(3,1)mod-shift(7,3)modeq-pos-03(6,2)mult-01(2,1)one-neg(12,5)
abs(9,3)div-eq-same-01(23,9)div-mult-pos-02(2,0)div2-add-neg(13,5)ls-same-pos(3,1)mod-mod-less(3,1)mod-sub(4,3)modeq-pos-04(3,1)mult-02(9,4)one-pos(3,1)
abs-01(2,0)div-eq-zero(7,2)div-mult-pos-03(2,0)div2-neg(2,0)ls-same-pos-01(3,1)mod-mult(2,1)mod-sub-01(4,3)modeven-neg(8,4)mult-03(5,3)pdiv-ls(3,1)
abs-02(2,0)div-eq-zero-01(29,14)div-mult-pos-rew(2,0)div2-neg-01(3,1)ls-same-pos-02(3,1)mod-mult-01(2,0)mod-sub-02(4,2)modeven-neg-01(3,1)mult-04(2,0)pos(2,0)
abs-03(2,0)div-est-denom-pos(7,2)div-mult-rew(2,0)div2-neg-odd(4,2)ls-succ(3,1)mod-mult-02(3,1)mod-succ(2,0)modeven-pos(3,1)mult-05(3,1)prod-div-less(11,6)
abs-intro(3,1)div-est-nle-pos(5,1)div-mult-rew-01(2,0)div2-nle(2,0)lsf(3,1)mod-mult-03(2,0)mod-succ-01(7,2)modex(10,6)mult-div-switch(2,0)prod-div-less-01(2,0)
abs-shift(15,7)div-est-nls(7,1)div-mult-shift-holds(10,5)div2-nle-01(2,0)lsf-01(3,1)mod-mult-04(3,1)mod-succ-02(3,0)modex-odd(4,2)mult-ls(11,3)quad-div-less(2,0)
abs-shift-01(7,3)div-est-num(13,4)div-mult-three(2,0)div2-nle-02(9,4)lsf-02(3,1)mod-mult-neg(5,4)mod-three(2,0)modex-odd-neg(11,6)mult-ls-01(11,3)square-even(3,1)
add-div-mult(14,9)div-le-modnotzero(10,4)div-mult-three-nls(18,14)div2-nls(18,9)lsfc(2,1)mod-mult-neg-01(4,3)mod-two(2,0)modex-odd-neg-01(9,4)mult-split-mod(7,3)square-even-01(2,1)
div-abs(3,1)div-le-modnotzero-01(4,2)div-mult-two-nls(2,0)div2-nls-01(3,1)lsfc-01(3,1)mod-mult-neg-02(7,2)mod-two-01(2,0)modmod(2,1)mult-split-mod-02(2,0)square-even-02(4,3)
div-add-both(5,2)div-le-modzero(6,3)div-mult-two-nls-01(15,9)div2-nls-02(18,9)lsfc-02(3,1)mod-mult-neg-03(2,0)mod-two-02(2,0)modmod-add(11,3)neg(2,0)square-inject(18,10)
div-add-neg(12,6)div-le-modzero-01(4,2)div-nearer-zero(21,13)div2-nls-03(3,1)lstwozero(2,0)mod-mult-pos(6,3)mod-two-03(3,1)modmod-add-01(5,2)neg-01(2,0)square-interval(15,11)
div-add-nosucc(10,3)div-le-pos(17,6)div-ngr-zero(5,1)div2-notzero(5,1)minus-add(4,2)mod-mult-pos-01(5,1)mod-two-04(2,0)modmod-add-02(3,1)neqf(2,0)square-ls(3,1)
div-add-nosucc-neg(6,4)div-le-same(3,1)div-nle(2,0)div2-odd(2,0)mod-abs(3,1)mod-mult-pos-02(2,0)mod-two-05(2,0)modmod-add-03(5,2)nls-mult-div(9,5)square-ls-01(5,3)
div-add-pos(8,2)div-le-same-neg(10,3)div-nls(2,0)div2-odd-01(5,3)mod-abs-intro(3,1)mod-neg(3,1)mod-two-06(3,1)modmod-add-04(12,4)num-ls(5,1)square-ls-02(6,5)
div-add-rew(2,0)div-lezero(11,2)div-nls-01(4,2)div2-one(2,0)mod-add(3,1)mod-neg-01(3,1)mod-two-pred(2,0)modmod-add-case(19,9)num-neg(2,0)square-nle(17,10)
div-add-succ(13,8)div-ls(9,4)div-rec(9,2)div2-zero(5,3)mod-add-01(9,3)mod-neq(11,5)mod-two-pred-01(5,2)modmod-add-if(19,2)num-neg-01(2,0)square-nle-01(3,1)
div-add-succ-neg(6,4)div-ls-01(2,1)div-rec-01(6,3)div2one(3,1)mod-add-both-zero(5,2)mod-neq-01(5,3)mod-two-pred-02(5,3)modmod-add-if3(20,1)nummult-eq(2,0)square-nle-02(4,2)
div-add1-negneg(2,0)div-ls-02(3,1)div-same(5,2)div2one-01(5,2)mod-add-neg(8,2)mod-neq-02(2,0)mod-twoeven(3,1)modmod-add-law(4,3)nummult-eq-01(3,1)square-nls(13,8)
div-add1-negpos-neg(2,0)div-ls-modnotzero(4,2)div-shift-two(14,7)div2zero(2,0)mod-add-pos(8,2)mod-next-square(14,8)mod-twoodd(4,2)modmod-add-law-pos(20,16)nummult-le(9,3)square-nls-01(4,2)
div-add1-negpos-neg-01(14,5)div-ls-modzero(3,1)div-sub(4,2)div53(2,0)mod-add-zero(15,9)mod-ngez-01(2,0)mod-twoodd-01(4,2)modmod-add-zero(19,11)nummult-le-01(14,7)square-nls-02(3,1)
div-add1-negpos-neg-02(7,3)div-ls-mone(16,7)div-sub-01(5,2)diveq-neg(5,2)mod-add1-negneg(2,0)mod-ngr(2,0)mod-twoodd-02(3,1)modmod-add2-negpos-neg(7,4)nummult-le-01-01(2,1)sub-ls(2,0)
div-add1-negpos-pos(5,0)div-ls-pos-better(2,1)div-sum-ls(13,10)diveq-pos(7,3)mod-add1-negpos-neg(14,5)mod-nle(3,0)mod-twoodd-03(6,4)modmod-add2-negpos-pos(3,1)nummult-le-02(14,5)sub-ls-01(3,0)
div-add1-posneg-neg(9,2)div-ls-same(18,7)div-sum-ls-01(2,1)divmod-rew(3,1)mod-add1-negpos-pos(5,0)mod-nle-01(2,0)mod-zero(2,0)modmod-add2-negpos-pos-01(7,4)nummult-le-02-01(2,1)three(2,0)
div-add1-posneg-pos(2,0)div-ls-zero(13,6)div-two(2,0)divmult(3,1)mod-add1-posneg-neg(9,2)mod-nle-02(4,1)mod-zero-01(5,2)modmod-add2-negpos-pos-02(2,0)nummult-le-03(9,3)two-add-square(2,1)
div-add1-posneg-pos-01(14,5)div-minus-onediff(9,5)div-two-01(2,0)estimate-01(9,5)mod-add1-posneg-pos(13,4)mod-nls(2,0)mod-zero-02(2,0)modmod-add2-posneg-neg(7,4)nummult-le-03-01(2,1)two-add-square-01(2,1)
div-add1-posneg-pos-02(6,3)div-minus-onediff-01(18,8)div-two-intro(26,14)even-add(25,13)mod-add1-pospos(2,0)mod-nls-01(3,1)mod-zero-03(2,0)modmod-add2-posneg-neg-01(7,4)nummult-le-04(2,1)two-even(2,0)
div-add1-pospos(2,0)div-minus255-256(3,1)div-two-zero(2,0)even-mult(11,7)mod-by6(17,8)mod-nls-02(4,2)mod-zero-04(3,1)modmod-add2-posneg-neg-02(2,0)nummult-ls(19,6)two-mult(2,1)
div-addthree-rew(9,1)div-minus255-256-01(3,1)div-two-zero-01(3,1)even-not(5,2)mod-div-ls(14,10)mod-nls-03(2,0)mod-zero-05(5,1)modmod-add2-posneg-pos(7,3)nummult-ls-01(5,1)two-mult-01(2,0)
div-am-rew(7,3)div-mone(2,0)div-twoodd(2,0)even-not-ex(6,4)mod-div-zero(12,5)mod-nls-04(18,11)mod-zero-06(7,2)modmod-law-mult(3,1)nummult-ls-01-01(2,1)two-odd(3,1)
div-div(18,9)div-mone-01(2,0)div-twoodd-01(5,4)even-or-succ-even(3,1)mod-four(2,1)mod-nls-05(3,1)mod-zero-07(3,0)modmod-ma(9,4)nummult-ls-02(5,2)zero(6,3)
div-div-intro(2,0)div-mult(2,0)div-twoodd-02(6,5)exeven(3,2)mod-gez(3,1)mod-nls-06(7,4)mod-zero-08(2,0)modmod-ma-01(4,2)nummult-ls-02-01(2,1)zero-01(2,0)
div-div-num(2,0)div-mult-01(26,15)div-twoodd-03(5,4)exodd(2,1)mod-grz(3,0)mod-not-less(3,0)mod-zero-09(3,1)modmod-ma-negpos-neg(8,5)nummult-ls-03(17,8)zero-02(3,1)
div-div-pos(3,0)div-mult-02(6,3)div-twoodd-04(5,4)is-div(3,1)mod-grz-01(5,1)mod-one(2,1)mod-zero-ls(3,1)modmod-mult(18,8)nummult-ls-03-01(2,1)zero-03(3,1)
div-div-pred(24,11)div-mult-03(3,1)div-twoodd-05(6,4)le-abs-numerator(27,15)mod-grz-02(3,0)mod-one-01(2,0)mod-zero-num(3,1)modmod-mult-01(5,2)nummult-ls-04(2,1)zero-04(11,2)
div-div-pred-01(31,16)div-mult-le(2,0)div-twoodd-06(3,1)le-norest(5,2)mod-le(2,0)mod-pos-not-neg(2,0)mod-zero-one(18,11)modmod-mult-02(12,6)nummult-modle(3,0)zero-05(5,2)
div-div-switch(3,1)div-mult-le-01(3,0)div-twoodd-07(10,8)leone-two(11,5)mod-le-01(2,0)mod-pred(3,0)mod2-add-neg(11,5)modmod-mult-03(11,5)nummult-modle-01(3,1)zero-06(3,0)
div-elim(3,1)div-mult-ls(7,3)div-zero(2,0)less-mult-div(2,0)mod-le-num(3,1)mod-pred-01(3,0)mod2-neg-odd(3,1)modmod-mult-04(7,3)nummult-modls(3,0)zero-07(3,1)
div-elim-divides(2,0)div-mult-ls-pos(2,0)div-zero-01(3,0)less-mult-div-01(27,18)mod-les(5,1)mod-pred-02(13,4)mod256(2,0)modmod-mult-05(4,2)nummult-modls-01(3,1)
div-elim-negneg(7,2)div-mult-neg(6,4)div-zero-02(10,5)less-mult-div-02(2,0)mod-less(2,0)mod-pred-03(5,1)mod53(2,0)modmod-mult-06(2,0)one(4,2)
div-elim-negpos(3,0)div-mult-nle-est(5,2)div-zero-03(3,0)letwo(2,0)mod-less-01(2,0)mod-pred-04(3,0)mod62(2,0)modmod-mult-07(19,14)one-01(3,1)
div-elim-pos(5,2)div-mult-nls-est(5,2)div-zero-04(2,0)letwozero(2,1)mod-lezero(5,1)mod-pred-neg(13,4)modby6-help(25,13)modmod-mult-08(2,0)one-02(2,0)
div-elim-posneg(9,3)div-mult-nls-est-01(5,2)div-zero-05(3,1)ls(7,2)mod-ls-same(5,2)mod-pred-neg-01(9,2)modeq-neg(7,2)modmod-mult-09(6,4)one-03(2,0)
div-elim-pospos(3,0)div-mult-nls-zero(3,1)div-zero-06(2,0)ls-01(8,2)mod-ls-same-01(25,12)mod-rec(9,2)modeq-neg-02(15,8)modmod-pos(17,7)one-04(2,0)