{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T21:44:16Z","timestamp":1743803056922},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312229"},{"type":"electronic","value":"9783642312236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31223-6_49","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T11:59:20Z","timestamp":1340020760000},"page":"352-355","source":"Crossref","is-referenced-by-count":9,"title":["The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11783183_27","volume-title":"Diagrammatic Representation and Inference","author":"D.P. Calvillo","year":"2006","unstructured":"Calvillo, D.P., DeLeeuw, K., Revlin, R.: Deduction with Euler Circles: Diagrams That Hurt. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol.\u00a04045, pp. 199\u2013203. Springer, Heidelberg (2006)"},{"issue":"4","key":"49_CR2","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1305\/ndjfl\/1039118871","volume":"39","author":"O. Lemon","year":"1998","unstructured":"Lemon, O., Pratt, I.: On the insufficiency of linear diagrams for syllogisms. Notre Dame Journal of Formal Logic\u00a039(4), 573\u2013580 (1998)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"49_CR3","unstructured":"Mineshima, K., Okada, M., Takemura, R.: A diagrammatic reasoning system with Euler circles. Journal of Logic, Language and Information (to appear, in press)"},{"key":"49_CR4","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-14600-8_6","volume-title":"Diagrammatic Representation and Inference","author":"Y. Sato","year":"2010","unstructured":"Sato, Y., Mineshima, K., Takemura, R.: The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS(LNAI), vol.\u00a06170, pp. 6\u201322. Springer, Heidelberg (2010)"},{"key":"49_CR5","unstructured":"Sato, Y., Mineshima, K., Takemura, R.: Constructing internal diagrammatic proofs from external logic diagrams. In: Proceedings of 32nd Annual Conference of the Cognitive Science Society, pp. 2668\u20132673 (2010b)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31223-6_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:52:18Z","timestamp":1620114738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31223-6_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312229","9783642312236"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31223-6_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}