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

all_prime_divisors-base(0,0)coprimes-max(11,8)count-one(1,1)countFun-rec(0,0)filterFun-not-in(8,2)max-empty(0,0)min-empty(0,0)primes-perm-01(7,4)product-mult(1,0)sum-equal(12,5)
all_prime_divisors-div(105,59)coprimes-min(24,15)count-rec(13,5)counti2j-empty(0,0)filterFun-one(4,2)max-in(2,1)min-in(2,1)primes-perm-02(7,4)product-negative(8,2)sum-in-not-ls(14,5)
all_prime_divisors-in(2,1)coprimes-no-dups(2,1)countFun-at(29,16)counti2j-rec(0,0)filterFun-ordered(20,7)max-in-01(1,0)min-in-nle(2,1)primes-product-not-neg(2,1)product-one(1,1)sum-not-ls-zero(8,2)
all_prime_divisors-in-01(9,5)coprimes-one(3,2)countFun-base(0,0)divide-list-at-value(18,9)filterFun-remove(0,0)max-in-not-ls(2,1)min-in-nls(2,1)primes-rec(14,2)product-perm-equal(8,4)sum-one(1,1)
all_prime_divisors-last(2,1)coprimes-ordered(4,3)countFun-base-01(1,1)euler-phi-def(0,0)map-at(8,2)max-is-max(4,1)min-in-not-ls(4,1)prod-empty(0,0)product-positive(7,2)sum-positive(4,1)
all_prime_divisors-ordered(10,6)coprimes-prime(12,6)countFun-base-02(1,1)euler-phi-prime(6,4)map-in(11,4)max-last-max(2,1)min-one(3,3)prod-rec(0,0)product-prime-divides(9,4)sum-rec(0,0)
all_prime_divisors-prime(0,0)count-empty(1,1)countFun-base-03(1,1)filterFun-all(9,3)map-length(3,1)max-last-not-max(2,1)min-rec(20,11)product-app(3,1)product-zero(2,1)sum-rec-01(2,0)
all_prime_divisors-product(11,6)count-i2j-empty-01(1,0)countFun-dist(13,6)filterFun-append(7,2)mapFun-base(0,0)max-le-rec(4,2)nodups-interval-size(22,12)product-del1(1,0)range-dups(19,9)
all_prime_divisors-product-del(4,2)count-i2j-empty-02(2,1)countFun-in(18,6)filterFun-base(0,0)mapFun-rec(0,0)max-one(2,2)primes-def(0,0)product-del1-01(5,4)sum-all-elems-le(11,6)
all_prime_divisors-rec(0,0)count-i2j-in(15,5)countFun-in-01(3,1)filterFun-in(17,1)max-app(12,3)max-perm(20,11)primes-in(3,1)product-del1-02(4,1)sum-all-indices-le(11,5)
all_prime_divisors-rec-01(4,2)count-i2j-length(8,5)countFun-last(13,5)filterFun-keep(0,0)max-app-ls(2,1)max-perm-ls(2,1)primes-le-2(4,2)product-divide(14,7)sum-app(3,1)
all_prime_divisors-rec-02(10,6)count-i2j-max(10,6)countFun-last-01(14,6)filterFun-max(11,6)max-app-ls-01(2,1)max-rec(16,9)primes-max-even(9,3)product-equal-01(4,2)sum-constant-countFun(22,10)
coprimes-coprimes(2,1)count-i2j-min(8,5)countFun-length(7,4)filterFun-min(18,8)max-def(0,0)min-def(0,0)primes-not-neg(3,1)product-last(1,0)sum-countFun-sub(18,8)
coprimes-def(0,0)count-i2j-no-dups(17,5)countFun-mult(13,6)filterFun-no-dups(10,3)max-del1(20,8)min-del-nlz(4,2)primes-one(1,1)product-min-nlz(2,1)sum-countfun-not-ls(32,14)
coprimes-empty(3,2)count-i2j-ordered(15,6)countFun-one(1,1)filterFun-no-dups-01(3,1)max-del1-01(12,5)min-del-nlz-01(15,6)primes-perm(5,2)product-min-not-ls-zero(2,1)sum-empty(0,0)