{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:03:12Z","timestamp":1759147392745},"reference-count":11,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5099,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1999,8]]},"DOI":"10.1016\/s0168-0072(99)00002-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:45:40Z","timestamp":1027608340000},"page":"93-104","source":"Crossref","is-referenced-by-count":20,"title":["The complexity of the disjunction and existential properties in intuitionistic logic"],"prefix":"10.1016","volume":"99","author":[{"given":"Sam","family":"Buss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigori","family":"Mints","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(99)00002-0_BIB1_1","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das logische Schliessen","volume":"39","author":"Gentzen","year":"1934","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB1_2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","article-title":"Untersuchungen \u00fcber das logische Schliessen","volume":"39","author":"Gentzen","year":"1934","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB1_3","series-title":"Collected Papers of Gerhard Gentzen","first-page":"68","author":"Gentzen","year":"1969"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB2","series-title":"Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB3","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal propositional logic","volume":"6","author":"Ladner","year":"1977","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0168-0072(99)00002-0_BIB4_1","first-page":"137","article-title":"Lower bounds for lengthening of proofs after cut-elimination","volume":"88","author":"Orevkov","year":"1979"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB4_2","doi-asserted-by":"crossref","first-page":"2337","DOI":"10.1007\/BF01629444","volume":"20","author":"Orevkov","year":"1982","journal-title":"J. Soviet Mathematics"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB5","series-title":"Natural Deduction: A Proof-Theoretical Study","author":"Prawitz","year":"1965"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB6","first-page":"547","article-title":"The lengths of proofs","author":"Pudl\u00e1k","year":"1998"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(79)90006-9","article-title":"Intuitionistic propositional logic is polynomial-space complete","volume":"9","author":"Statman","year":"1979","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0168-0072(99)00002-0_BIB8","first-page":"104","article-title":"Lower bound on Herbrand's theorem","volume":"75","author":"Statman","year":"1979"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007299000020?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007299000020?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:26:43Z","timestamp":1556411203000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007299000020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,8]]},"references-count":11,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1999,8]]}},"alternative-id":["S0168007299000020"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(99)00002-0","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1999,8]]}}}