[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 olist-min-max

allge-allgerange(11,1)allge-numone(7,0)allgr-declower(9,1)allgr-range-def(0,0)allle-decupper(3,0)alllerange-notlowgr(3,0)allls-empty(2,0)alllsrange-notupgr(3,0)max-ge-first(5,1)min-in-01(4,2)
allge-alt-def(10,1)allge-one(7,0)allgr-decupper(3,0)allgr-rec(5,0)allle-decupper-inclower(3,0)alllerange-notupgr(3,0)allls-in(3,0)alllsrange-reclow(10,0)max-in(3,1)min-rec(0,0)
allge-base(2,0)allge-range-def(0,0)allgr-decupper-inclower(3,0)allgrrange-grlow(3,0)allle-def(0,0)alllerange-reclow(10,0)allls-inclower(3,0)alllsrange-recup(12,0)max-in-01(3,1)notallge-notallge(3,0)
allge-declower(9,0)allge-rec(5,0)allgr-def(0,0)allgrrange-notlowgr(3,0)allle-empty(2,0)alllerange-recup(12,0)allls-incupper(9,0)alllsrange-upls(3,0)max-ins(23,5)notallle-notallls(3,0)
allge-decupper(3,0)allgerange-notlowls(3,0)allgr-empty(2,0)allgrrange-notupgr(3,0)allle-in(3,0)allls-allle(2,0)allls-ls(3,0)ins-max(17,5)max-ins-last(19,3)ordered-app-max(11,1)
allge-decupper-inclower(3,0)allgerange-notupls(3,0)allgr-gr(3,0)allgrrange-reclow(10,0)allle-inclower(3,0)allls-allsrange(9,2)allls-notgr(5,1)max-append(19,4)max-ins-max(33,8)ordered-count-splits(21,6)
allge-def(0,0)allgerange-reclow(10,0)allgr-in(3,0)allgrrange-recup(12,0)allle-incupper(9,0)allls-alt-def(8,2)allls-numone(7,0)max-base(0,0)max-ins-max-last-sort(5,2)ordered-max(10,2)
allge-empty(2,0)allgerange-recup(12,0)allgr-inclower(3,0)allgrrange-upgr(3,0)allle-notgr(3,0)allls-base(2,0)allls-one(7,0)max-com(26,15)max-ordered(41,14)sort-max(2,1)
allge-in(3,0)allgr-allge(2,0)allgr-incupper(9,1)allle-alllerange(9,2)allle-numone(7,0)allls-declower(9,0)allls-range-def(0,0)max-com-01(3,2)max-rec(0,0)sort-max-append-1(3,1)
allge-inclower(3,0)allgr-allsrange(11,1)allgr-notls(5,1)allle-alt-def(8,2)allle-one(7,0)allls-decupper(3,0)allls-rec(5,0)max-ge(15,4)max-sort-sublist(25,9)sort-max-last(26,11)
allge-incupper(9,0)allgr-alt-def(10,1)allgr-numone(7,0)allle-base(2,0)allle-range-def(0,0)allls-decupper-inclower(3,0)alllsrange-lslow(3,0)max-ge-01(3,0)min-base(0,0)sort-max-last-01(2,0)
allge-notls(3,0)allgr-base(2,0)allgr-one(7,0)allle-declower(9,0)allle-rec(5,0)allls-def(0,0)alllsrange-notlowgr(3,0)max-ge-every(11,2)min-com(86,32)sort-max-max-list(15,7)