{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T00:03:15Z","timestamp":1705017795986},"reference-count":24,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2003,10]]},"abstract":"<jats:p>We link the Dehn function of finitely presented groups to the length-of-proofs function in propositional proof complexity.<\/jats:p>","DOI":"10.1142\/s0218196703001523","type":"journal-article","created":{"date-parts":[[2004,1,13]],"date-time":"2004-01-13T09:14:02Z","timestamp":1073985242000},"page":"527-541","source":"Crossref","is-referenced-by-count":2,"title":["DEHN FUNCTION AND LENGTH OF PROOFS"],"prefix":"10.1142","volume":"13","author":[{"given":"JAN","family":"KRAJ\u00cd\u010cEK","sequence":"first","affiliation":[{"name":"Mathematical Institute, Academy of Sciences, \u017ditn\u00e1 25, Prague 1, CZ - 115 67, The Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000132"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00131-5"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.2307\/3597196"},{"key":"rf4","first-page":"265","volume":"44","author":"Boone W.","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.2307\/1970103"},{"key":"rf6","series-title":"The geometry of the word problem","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198507727.001.0001","volume-title":"Invitations to Geometry and Topology","author":"Bridson M.","year":"2002"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000201"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.2307\/2273702"},{"key":"rf11","volume-title":"Computers and Intractability","author":"Garey M. R.","year":"1979"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000213"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511661860.008"},{"key":"rf14","series-title":"Asymptotic invariants of infinite groups","volume-title":"Geometric Group Theory","volume":"2","author":"Gromov M.","year":"1993"},{"key":"rf15","first-page":"10","author":"Haj\u00f3s G.","journal-title":"Wiss. Zeitschr. Martin Luther Univ. Halle-Wittenberg"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1961.0132"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511529948"},{"key":"rf18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1215\/ijm\/1258138254","volume":"45","author":"Kraj\u00ed\u010dek J.","journal-title":"Illinois J. Math."},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80022-5"},{"key":"rf21","first-page":"143","volume":"44","author":"Novikov P. S.","journal-title":"Trudy Mat. Inst. Steklova"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196701000401"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1137\/0204018"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80023-2"},{"key":"rf25","volume-title":"An Introduction to the Theory of Groups","author":"Rotman J.","year":"1984"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1203350879"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196703001523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T22:02:59Z","timestamp":1705010579000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196703001523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":24,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2003,10]]}},"alternative-id":["10.1142\/S0218196703001523"],"URL":"https:\/\/doi.org\/10.1142\/s0218196703001523","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}