{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:20:40Z","timestamp":1761805240996,"version":"3.41.0"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1145\/1188913.1188922","type":"journal-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T19:38:29Z","timestamp":1168976309000},"page":"85-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Computing versus human thinking"],"prefix":"10.1145","volume":"50","author":[{"given":"Peter","family":"Naur","sequence":"first","affiliation":[{"name":"University of Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2007,1]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the International Conference on Information Processing","author":"Backus J.","year":"1959","unstructured":"Backus , J. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference . In Proceedings of the International Conference on Information Processing ( 1959 ), 125-32, UNESCO. Backus, J. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In Proceedings of the International Conference on Information Processing (1959), 125-32, UNESCO."},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1145\/367236.367262"},{"key":"e_1_2_1_3_1","volume-title":"Den Store Danske","author":"Encyclopaedi","year":"1994","unstructured":"Encyclopaedi , Den Store Danske , 1994 -2000, Gyldendal , Kobenhavn . Encyclopaedi, Den Store Danske, 1994-2000, Gyldendal, Kobenhavn."},{"key":"e_1_2_1_4_1","volume-title":"Vol. 1-8","author":"Encyclopedia","year":"2000","unstructured":"Encyclopedia of Psychology : Vol. 1-8 , 2000 , Oxford University Press , New York . Encyclopedia of Psychology: Vol. 1-8, 2000, Oxford University Press, New York."},{"key":"e_1_2_1_5_1","volume-title":"USA","author":"James W.","year":"1950","unstructured":"James , W. 189 0 , The Principles of Psychology. Henry Holt , USA ; reprinted in Dover , 1950 . James, W. 1890, The Principles of Psychology. Henry Holt, USA; reprinted in Dover, 1950."},{"volume-title":"The Philosophy of Grammar. George Allen & Unwin","author":"Jespersen O.","unstructured":"Jespersen , O. 1924 , The Philosophy of Grammar. George Allen & Unwin , London . Jespersen, O. 1924, The Philosophy of Grammar. George Allen & Unwin, London.","key":"e_1_2_1_6_1"},{"volume-title":"Essentials of English Grammar. George Allen & Unwin","author":"Jespersen O.","unstructured":"Jespersen , O. 1933 , Essentials of English Grammar. George Allen & Unwin , London . Jespersen, O. 1933, Essentials of English Grammar. George Allen & Unwin, London.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","volume-title":"Contributions to Algol 60 (1959-60)","author":"Naur P.","year":"1960","unstructured":"Naur , P. Contributions to Algol 60 (1959-60) . 1960 . Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 65-93. Naur, P. Contributions to Algol 60 (1959-60). 1960. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 65-93."},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1007\/BF01935579"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1007\/BF01940219"},{"key":"e_1_2_1_11_1","first-page":"195 1","volume-title":"Proceedings of IFIP Congress 65 (1965","author":"Naur P.","year":"1992","unstructured":"Naur , P. The place of programming in a world of problems, tools, and people . In Proceedings of IFIP Congress 65 (1965 ), 195 - 199 . Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;- 1992 }, 1 - 9 . Naur, P. The place of programming in a world of problems, tools, and people. In Proceedings of IFIP Congress 65 (1965), 195-199. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 1-9."},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.1145\/365660.365680"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.1145\/365719.366510"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1007\/BF01966091"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_1","DOI":"10.1145\/365230.365260"},{"key":"e_1_2_1_16_1","first-page":"175","volume-title":"Proceedings of the IFIP Congress `68","author":"Naur P.","year":"1968","unstructured":"Naur , P. Datalogy, the science of data and data processes, and its place in education . Proceedings of the IFIP Congress `68 , G48-G52, 1968 . Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;- 1992}, 175 - 180 . Naur, P. Datalogy, the science of data and data processes, and its place in education. Proceedings of the IFIP Congress `68, G48-G52, 1968. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 175-80."},{"key":"e_1_2_1_17_1","volume-title":"Eds. Petrocelli\/Carter","author":"Naur P.","year":"1976","unstructured":"Naur , P. (Ed.) Software Engineering (co-editor : Brian Randell). Report on a Conference sponsored by NATO Science Committee, 1969. 231 Reprinted in Software Engineering: Concepts and Techniques. P. Naur, B. Randell and J. N. Buxton , Eds. Petrocelli\/Carter , New York , 1976 . Naur, P. (Ed.) Software Engineering (co-editor: Brian Randell). Report on a Conference sponsored by NATO Science Committee, 1969. 231 Reprinted in Software Engineering: Concepts and Techniques. P. Naur, B. Randell and J. N. Buxton, Eds. Petrocelli\/Carter, New York, 1976."},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1007\/BF01946816"},{"doi-asserted-by":"publisher","key":"e_1_2_1_19_1","DOI":"10.1007\/BF01932307"},{"key":"e_1_2_1_20_1","volume-title":"Lund","author":"Naur P.","year":"1974","unstructured":"Naur , P. Concise Survey of Computer Methods. Studentlitteratur , Lund , 1974 , 397 Also Petrocelli\/Carter , New York , 1974. Naur, P. Concise Survey of Computer Methods. Studentlitteratur, Lund, 1974, 397 Also Petrocelli\/Carter, New York, 1974."},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","DOI":"10.1145\/361227.361229"},{"key":"e_1_2_1_22_1","volume-title":"Structured Programming, The Infotech International State of the Art Reports","author":"Naur P.","year":"1976","unstructured":"Naur , P. Control record driven processing . In Structured Programming, The Infotech International State of the Art Reports , 1976 , 309-322. Also in Current Trends in Programming Methodology, Vol. 1 Software Specification and Design. R. T. Yeh, Ed. Prentice-Hall , Englewood Cliffs, NJ, 1977, 220-232. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 358-71. Naur, P. Control record driven processing. In Structured Programming, The Infotech International State of the Art Reports, 1976, 309-322. Also in Current Trends in Programming Methodology, Vol. 1 Software Specification and Design. R. T. Yeh, Ed. Prentice-Hall, Englewood Cliffs, NJ, 1977, 220-232. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 358-71."},{"key":"e_1_2_1_23_1","first-page":"265 412","volume-title":"Proceedings of the 6th ACM European Regional Conference: Systems Architecture (1981","author":"Naur P.","year":"1992","unstructured":"Naur , P. An empirical approach to program analysis and construction . In Proceedings of the 6th ACM European Regional Conference: Systems Architecture (1981 ). Westbury House, Guildford, Surrey, England , 265 - 272 . Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;- 1992 }, 412 - 423 . Naur, P. An empirical approach to program analysis and construction. In Proceedings of the 6th ACM European Regional Conference: Systems Architecture (1981). Westbury House, Guildford, Surrey, England, 265-272. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 412-23."},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.1145\/800025.1198353"},{"doi-asserted-by":"publisher","key":"e_1_2_1_25_1","DOI":"10.1007\/BF01934408"},{"key":"e_1_2_1_26_1","first-page":"159 423","volume-title":"Eds. Academic Press","author":"Naur P.","year":"1983","unstructured":"Naur , P. Program development studies based on diaries. Psychology of Computer Use. T. R. G. Green, S. J. Payne, G. C. van der Veer , Eds. Academic Press , London , 1983 , 159 - 170 . Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 423 - 431 . Naur, P. Program development studies based on diaries. Psychology of Computer Use. T. R. G. Green, S. J. Payne, G. C. van der Veer, Eds. Academic Press, London, 1983, 159-170. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 423-31."},{"doi-asserted-by":"publisher","key":"e_1_2_1_27_1","DOI":"10.1016\/0165-6074(85)90032-8"},{"key":"e_1_2_1_28_1","first-page":"2","article-title":"Machine intelligence and related topics","volume":"26","author":"Naur P.","year":"1985","unstructured":"Naur , P. Review of D. Michie : Machine intelligence and related topics . Computing Reviews 26 , 2 (Febr. 1985 ), 101-104. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 498-502. Naur, P. Review of D. Michie: Machine intelligence and related topics. Computing Reviews 26, 2 (Febr. 1985), 101-104. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 498-502.","journal-title":"Computing Reviews"},{"key":"e_1_2_1_29_1","first-page":"6","article-title":"Specification or how to give reality to abstraction","volume":"26","author":"Naur P.","year":"1985","unstructured":"Naur , P. Review of J. -R. Abrial : Specification or how to give reality to abstraction . Computing Reviews 26 , 6 ( June 1985 ), 335. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 466-67. Naur, P. Review of J.-R. Abrial: Specification or how to give reality to abstraction. Computing Reviews 26, 6 (June 1985), 335. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 466-67.","journal-title":"Computing Reviews"},{"key":"e_1_2_1_30_1","volume-title":"Colloquium on Software Engineering","author":"Naur P.","year":"1985","unstructured":"Naur , P. Intuition in software development. Formal Methods and Software Development , Vol. 2 : Colloquium on Software Engineering . H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, Eds. Lecture Notes in Computer Science 186, Springer-Verlag , Berlin, 1985 , 60-79. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 449-66. Naur, P. Intuition in software development. Formal Methods and Software Development, Vol. 2: Colloquium on Software Engineering. H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, Eds. Lecture Notes in Computer Science 186, Springer-Verlag, Berlin, 1985, 60-79. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 449-66."},{"key":"e_1_2_1_31_1","volume-title":"Thinking and Turing's test. BIT 26","author":"Naur P.","year":"1986","unstructured":"Naur , P. Thinking and Turing's test. BIT 26 ( 1986 ), 175-187. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 485-97. Naur, P. Thinking and Turing's test. BIT 26 (1986), 175-187. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 485-97."},{"key":"e_1_2_1_32_1","first-page":"2","article-title":"In search of the person: Philosophical explorations in cognitive science","volume":"29","author":"Naur P.","year":"1988","unstructured":"Naur , P. Review of M. A. Arbib : In search of the person: Philosophical explorations in cognitive science . Computing Reviews 29 , 2 ( February 1988 ), 88. Naur, P. Review of M. A. Arbib: In search of the person: Philosophical explorations in cognitive science. Computing Reviews 29, 2 (February 1988), 88.","journal-title":"Computing Reviews"},{"key":"e_1_2_1_33_1","first-page":"1","article-title":"Reasoning about change---Time and causation from the standpoint of artificial intelligence","volume":"30","author":"Naur P.","year":"1989","unstructured":"Naur , P. Review of Y. Shoham : Reasoning about change---Time and causation from the standpoint of artificial intelligence , Computing Reviews 30 , 1 ( January 1989 ), 55-56. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 510-13. Naur, P. Review of Y. Shoham: Reasoning about change---Time and causation from the standpoint of artificial intelligence, Computing Reviews 30, 1 (January 1989), 55-56. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 510-13.","journal-title":"Computing Reviews"},{"key":"e_1_2_1_34_1","volume-title":"Workshop on Programming Logic","author":"Naur P.","year":"1989","unstructured":"Naur , P. The place of strictly defined notation in human insight . Workshop on Programming Logic , ( Bastad, Sweden , 1989 ). P. Dybjer, L. Halln\u00e4s, B. Nordstr\u00f6m, K. Petersson, and J. M. Smith, Eds. Report 54, Programming Methodology Group, Univ. of G\u00f6teborg and Chalmers Univ. of Technology, G\u00f6teborg, Sweden, (May 1989), 429-443. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 468-478. Naur, P. The place of strictly defined notation in human insight. Workshop on Programming Logic, (Bastad, Sweden, 1989). P. Dybjer, L. Halln\u00e4s, B. Nordstr\u00f6m, K. Petersson, and J. M. Smith, Eds. Report 54, Programming Methodology Group, Univ. of G\u00f6teborg and Chalmers Univ. of Technology, G\u00f6teborg, Sweden, (May 1989), 429-443. Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 468-478."},{"key":"e_1_2_1_35_1","volume-title":"Informatics Curricula for the","author":"Naur P.","year":"1990","unstructured":"Naur , P. Computing and the so-called foundations of the so-called sciences. Invited Lecture , Informatics Curricula for the 1990 s, IFIP Working Group 3.2 Workshop. (Providence, RI, 1990 April 6). Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 49-63. Naur, P. Computing and the so-called foundations of the so-called sciences. Invited Lecture, Informatics Curricula for the 1990s, IFIP Working Group 3.2 Workshop. (Providence, RI, 1990 April 6). Also in {&lt;zref=R36&gt;36&lt;zrefx&gt;-1992}, 49-63."},{"key":"e_1_2_1_36_1","volume-title":"Computing: A Human Activity","author":"Naur P.","year":"1992","unstructured":"Naur , P. Computing: A Human Activity . ACM Press\/Addison-Wesley , New York , 1992 . Naur, P. Computing: A Human Activity. ACM Press\/Addison-Wesley, New York, 1992."},{"doi-asserted-by":"publisher","key":"e_1_2_1_37_1","DOI":"10.1093\/comjnl\/36.4.351"},{"key":"e_1_2_1_38_1","first-page":"8","article-title":"Cognitive science and concepts of mind: Toward a general theory of human and artifical intelligence","volume":"34","author":"Naur P.","year":"1993","unstructured":"Naur , P. Review of M. Wagman : Cognitive science and concepts of mind: Toward a general theory of human and artifical intelligence , Computing Reviews 34 , 8 ( Aug. 1993 ), 413. Naur, P. Review of M. Wagman: Cognitive science and concepts of mind: Toward a general theory of human and artifical intelligence, Computing Reviews 34, 8 (Aug. 1993), 413.","journal-title":"Computing Reviews"},{"doi-asserted-by":"publisher","key":"e_1_2_1_39_1","DOI":"10.1007\/BF01935023"},{"key":"e_1_2_1_40_1","first-page":"10","article-title":"What is cognitive science?","volume":"38","author":"Naur P.","year":"1995","unstructured":"Naur , P. Review of B. von Eckardt : What is cognitive science? The Computer Journal , 38 , 10 , ( 1995 ) 833-34. Naur, P. Review of B. von Eckardt: What is cognitive science? The Computer Journal, 38, 10, (1995) 833-34.","journal-title":"The Computer Journal"},{"key":"e_1_2_1_41_1","volume-title":"Datalogi som videnskab. DIKU rapport nr. 95\/4","author":"Naur P.","year":"1995","unstructured":"Naur , P. Datalogi som videnskab. DIKU rapport nr. 95\/4 , 1995 . Naur, P. Datalogi som videnskab. DIKU rapport nr. 95\/4, 1995."},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8549-1","volume-title":"Knowing and the Mystique of Logic and Rules","author":"Naur P.","year":"1995","unstructured":"Naur , P. Knowing and the Mystique of Logic and Rules . Kluwer Academic Publishers . 1995 . Naur, P. Knowing and the Mystique of Logic and Rules. Kluwer Academic Publishers. 1995."},{"key":"e_1_2_1_43_1","volume-title":"Computing As Science","author":"Naur P.","year":"1996","unstructured":"Naur , P. Computing As Science . 1996 . Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 2, 208-17. Naur, P. Computing As Science. 1996. Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 2, 208-17."},{"key":"e_1_2_1_44_1","volume-title":"Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing","author":"Naur P.","year":"1999","unstructured":"Naur , P. Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing , 1999 . Naur, P. Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing, 1999."},{"key":"e_1_2_1_45_1","first-page":"199","volume-title":"Proceedings of NordiCHI2000","author":"Naur P.","year":"2000","unstructured":"Naur , P. CHI and human thinking . Proceedings of NordiCHI2000 ( Stockholm , 2000 Oct. 23-25). Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 1, 199 - 207 . Naur, P. CHI and human thinking. Proceedings of NordiCHI2000 (Stockholm, 2000 Oct. 23-25). Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 1, 199-207."},{"unstructured":"Naur P. (with Erik Frokjaer) Philosophical Locutions in Scientific and Scholarly Activity. 2000 Nov. 4; http:\/\/www.naur.com. Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 3 218-38.  Naur P. (with Erik Frokjaer) Philosophical Locutions in Scientific and Scholarly Activity. 2000 Nov. 4; http:\/\/www.naur.com. Also in {&lt;zref=R50&gt;50&lt;zrefx&gt;-2005} Appendix 3 218-38.","key":"e_1_2_1_46_1"},{"key":"e_1_2_1_47_1","volume-title":"Antiphilosophical Dictionary: Thinking---Speech---Science\/Scholarship. naur.com publishing","author":"Naur P.","year":"2001","unstructured":"Naur , P. Antiphilosophical Dictionary: Thinking---Speech---Science\/Scholarship. naur.com publishing 2001 . Naur, P. Antiphilosophical Dictionary: Thinking---Speech---Science\/Scholarship. naur.com publishing 2001."},{"key":"e_1_2_1_48_1","volume-title":"Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing","author":"Naur P.","year":"2002","unstructured":"Naur , P. Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing , 2002 . Naur, P. Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing, 2002."},{"key":"e_1_2_1_49_1","volume-title":"A Synapse-State Theory of Mental Life","author":"Naur P.","year":"2004","unstructured":"Naur , P. A Synapse-State Theory of Mental Life . 2004 . www.naur.com\/synapse-state.pdf. Naur, P. A Synapse-State Theory of Mental Life. 2004. www.naur.com\/synapse-state.pdf."},{"key":"e_1_2_1_50_1","volume-title":"An anatomy of human mental life---Psychology in unideological reconstruction---incorporating the synapse-state theory of mental life. naur.com publishing","author":"Naur P.","year":"2005","unstructured":"Naur , P. An anatomy of human mental life---Psychology in unideological reconstruction---incorporating the synapse-state theory of mental life. naur.com publishing ; www.naur.com\/Nauranat-ref.html, 2005 . Naur, P. An anatomy of human mental life---Psychology in unideological reconstruction---incorporating the synapse-state theory of mental life. naur.com publishing; www.naur.com\/Nauranat-ref.html, 2005."},{"doi-asserted-by":"publisher","key":"e_1_2_1_51_1","DOI":"10.1145\/800025.1198352"},{"key":"e_1_2_1_52_1","volume-title":"Penguin Dictionary of Psychology","author":"Reber A. S.","year":"2001","unstructured":"Reber , A. S. and Reber, E. , Eds . Penguin Dictionary of Psychology . Penguin Books , London , 2001 . Reber, A. S. and Reber, E., Eds. Penguin Dictionary of Psychology. Penguin Books, London, 2001."},{"key":"e_1_2_1_53_1","volume-title":"On the Notion of Cause","author":"Russell B.","year":"1912","unstructured":"Russell , B. On the Notion of Cause . 1912 . In Mysticism and Logic. Penguin , London, 1953, 171-196. Russell, B. On the Notion of Cause. 1912. In Mysticism and Logic. Penguin, London, 1953, 171-196."},{"key":"e_1_2_1_54_1","volume-title":"The Integrative Action of the Nervous System","author":"Sherrington C. S.","year":"1906","unstructured":"Sherrington , C. S. The Integrative Action of the Nervous System , 1906 . The Integrative Action of the Nervous System 2nd. Ed. 1948. Reprinted 1973 Cambridge University Press . Sherrington, C. S. The Integrative Action of the Nervous System, 1906. The Integrative Action of the Nervous System 2nd. Ed. 1948. Reprinted 1973 Cambridge University Press."},{"key":"e_1_2_1_55_1","first-page":"42","article-title":"On computable numbers, with an application to the entscheidungsproblem","volume":"2","author":"Turing A","year":"1937","unstructured":"Turing , A . On computable numbers, with an application to the entscheidungsproblem . In Proceedings London Math. Soc. Ser. 2 , 42 ( 1937 ), 230-265. Turing, A. On computable numbers, with an application to the entscheidungsproblem. In Proceedings London Math. Soc. Ser. 2, 42 (1937), 230-265.","journal-title":"Proceedings London Math. Soc. Ser."},{"doi-asserted-by":"publisher","key":"e_1_2_1_56_1","DOI":"10.1093\/mind\/LIX.236.433"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1188913.1188922","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1188913.1188922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:30Z","timestamp":1750258290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1188913.1188922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.1145\/1188913.1188922"],"URL":"https:\/\/doi.org\/10.1145\/1188913.1188922","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2007,1]]},"assertion":[{"value":"2007-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}