{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T21:44:17Z","timestamp":1743803057055},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_19","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T11:59:20Z","timestamp":1340020760000},"page":"163-177","source":"Crossref","is-referenced-by-count":13,"title":["Speedith: A Diagrammatic Reasoner for Spider Diagrams"],"prefix":"10.1007","author":[{"given":"Matej","family":"Urbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Flower","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M. Jamnik","year":"1999","unstructured":"Jamnik, M., Bundy, A., Green, I.: On Automating Diagrammatic Proofs of Arithmetic Arguments. JOLLI\u00a08(3), 297\u2013321 (1999)","journal-title":"JOLLI"},{"key":"19_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-25984-8_24","volume-title":"Automated Reasoning","author":"D. Winterstein","year":"2004","unstructured":"Winterstein, D., Bundy, A., Gurr, C.: Dr.Doodle: A Diagrammatic Theorem Prover. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 331\u2013335. Springer, Heidelberg (2004)"},{"key":"19_CR3","unstructured":"Kortenkamp, U., Richter-Gebert, J.: Using automatic theorem proving to improve the usability of geometry software. In: MUI (2004)"},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10817-007-9069-y","volume":"39","author":"G. Stapleton","year":"2007","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated Theorem Proving in Euler Diagram Systems. JAR\u00a039(4), 431\u2013470 (2007)","journal-title":"JAR"},{"key":"19_CR5","first-page":"145","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider Diagrams. LMS JCM\u00a08, 145\u2013194 (2005)","journal-title":"LMS JCM"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF: A Mechanised Logic of Computation","author":"M.J. Gordon","year":"1979","unstructured":"Gordon, M.J., Milner, A.J., Wadsworth, C.P.: Edinburgh LCF. LNCS, vol.\u00a078. Springer, Heidelberg (1979)"},{"key":"19_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-46037-3_7","volume-title":"Diagrammatic Representation and Inference","author":"J. Howse","year":"2002","unstructured":"Howse, J., Stapleton, G., Flower, J., Taylor, J.: Corresponding Regions in Euler Diagrams. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, pp. 76\u201390. Springer, Heidelberg (2002)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-642-22863-6_29","volume-title":"Interactive Theorem Proving","author":"M. Urbas","year":"2011","unstructured":"Urbas, M., Jamnik, M.: Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. In: van Eekelen, M., Geuvers, H., Schmaltz, J., Wiedijk, F. (eds.) ITP 2011. LNCS, vol.\u00a06898, pp. 376\u2013382. Springer, Heidelberg (2011)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71067-7_7","volume-title":"Theorem Proving in Higher Order Logics","author":"M. Wenzel","year":"2008","unstructured":"Wenzel, M., Paulson, L.C., Nipkow, T.: The Isabelle Framework. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol.\u00a05170, pp. 33\u201338. Springer, Heidelberg (2008)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-14600-8_7","volume-title":"Diagrammatic Representation and Inference","author":"G. Stapleton","year":"2010","unstructured":"Stapleton, G., Zhang, L., Howse, J., Rodgers, P.: Drawing Euler Diagrams with Circles. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS, vol.\u00a06170, pp. 23\u201338. Springer, Heidelberg (2010)"},{"key":"19_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-540-73681-3_32","volume-title":"Conceptual Structures: Knowledge Architectures for Smart Applications","author":"F. Dau","year":"2007","unstructured":"Dau, F.: Constants and Functions in Peirce\u2019s Existential Graphs. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS 2007. LNCS (LNAI), vol.\u00a04604, pp. 429\u2013442. Springer, Heidelberg (2007)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: OOPSLA. SIGPLAN, vol.\u00a032, pp. 327\u2013341. ACM (1997)","DOI":"10.1145\/263700.263756"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Keslter, H., Muller, A., Kraus, J., Buchholz, M., Gress, T., Liu, H., Kane, D., Zeeberg, B., Weinstein, J.: Vennmaster: Area-proportional Euler diagrams for functional go analysis of microarrays. BMC Bioinformatics\u00a09(67) (2008)","DOI":"10.1186\/1471-2105-9-67"},{"key":"19_CR14","first-page":"33","volume":"134","author":"R. Chiara De","year":"2005","unstructured":"De Chiara, R., Hammar, M., Scarano, V.: A system for virtual directories using euler diagrams. ENTCS\u00a0134, 33\u201353 (2005)","journal-title":"ENTCS"}],"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_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:52:03Z","timestamp":1620114723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31223-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312229","9783642312236"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31223-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}