{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:19Z","timestamp":1725533839295},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_28","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T07:47:24Z","timestamp":1246520844000},"page":"341-356","source":"Crossref","is-referenced-by-count":5,"title":["Spreadsheet Interaction with Frames: Exploring a Mathematical Practice"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Kohlhase","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"ISSAC 2000: Proceedings of the 2000 international symposium on Symbolic and algebraic computation","author":"H. Barendregt","year":"2000","unstructured":"Barendregt, H., Cohen, A.M.: Representing and handling mathematical concepts by humans and machines. In: ISSAC 2000: Proceedings of the 2000 international symposium on Symbolic and algebraic computation. ACM, New York (2000)"},{"key":"28_CR2","series-title":"LNAI","volume-title":"Mathematical Knowledge Management","year":"2006","unstructured":"Borwein, J.M., Farmer, W.M. (eds.): MKM 2006. LNCS (LNAI), vol.\u00a04108. Springer, Heidelberg (2006)"},{"key":"28_CR3","unstructured":"Cohen, A.M., Cuypers, H., Barreiro, E.R.: Mathdox: Mathematical documents on the web. In: OMDoc \u2013 An open markup format for mathematical documents [Version 1.2] [Koh06], ch.\u00a026.7, pp. 278\u2013282"},{"key":"28_CR4","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/10721959_8","volume-title":"Automated Deduction - CADE-17","author":"W. Farmer","year":"2000","unstructured":"Farmer, W.: An infrastructure for intertheory reasoning. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol.\u00a01831, pp. 115\u2013131. Springer, Heidelberg (2000)"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-1-4612-2952-0","volume-title":"Automated Deduction - CADE-11","author":"W. Farmer","year":"1992","unstructured":"Farmer, W., Guttman, J., Thayer, X.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 467\u2013581. Springer, Heidelberg (1992)"},{"key":"28_CR6","unstructured":"Holzkamp, K.: Lernen: Subjektwissenschaftliche Grundlegung. Campus Verlag (1995)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Kohlhase, A., Kohlhase, M.: Communities of Practice in MKM: An Extensional Model. In: Borwein, Farmer (eds.) [BF06], pp. 179\u2013193","DOI":"10.1007\/11812289_15"},{"key":"28_CR8","series-title":"LNAI","first-page":"357","volume-title":"Calculemus\/MKM 2009","author":"A. Kohlhase","year":"2009","unstructured":"Kohlhase, A., Kohlhase, M.: Compensating the Computational Bias of Spreadsheets with MKM Techniques. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S.M. (eds.) Calculemus\/MKM 2009. LNCS (LNAI), vol.\u00a05625, pp. 357\u2013372. Springer, Heidelberg (2009)"},{"issue":"6","key":"28_CR9","first-page":"970","volume":"96","author":"A. Kohlhase","year":"2008","unstructured":"Kohlhase, A., Kohlhase, M.: Semantic knowledge management for education. Proceedings of the IEEE, Special Issue on Educational Technology\u00a096(6), 970\u2013989 (2008)","journal-title":"Proceedings of the IEEE, Special Issue on Educational Technology"},{"key":"28_CR10","unstructured":"Kohlhase, M., Mahnke, A., M\u00fcller, C.: Managing Variants in Document Content and Narrative Structures. In: Hinneburg, A. (ed.) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit\u00e4t) conference proceedings, pp. 324\u2013229. Martin-Luther-University Halle-Wittenberg (2007)"},{"key":"28_CR11","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"key":"28_CR12","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11618027_6","volume-title":"Mathematical Knowledge Management","author":"M. Kerber","year":"2006","unstructured":"Kerber, M., Pollet, M.: A tough nut for mathematical knowledge management. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, pp. 81\u201395. Springer, Heidelberg (2006)"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.03.063","volume":"205","author":"F. Kamareddine","year":"2008","unstructured":"Kamareddine, F., Wells, J.B., Zenglere, C.: Computerizing mathematical text with mathlang. Electron. Notes Theor. Comput. Sci.\u00a0205, 5\u201330 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Mossakowski","year":"2001","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Extending development graphs with hiding. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 269\u2013284. Springer, Heidelberg (2001)"},{"key":"28_CR15","unstructured":"Rabe, F., Kohlhase, M.: An exchange format for modular knowledge. In: Rudnicki, P., Sutcliffe, G. (eds.) Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (November 2008)"},{"key":"28_CR16","unstructured":"Rabe, F., Kohlhase, M.: A web-scalable module system for mathematical theories. The Journal of Symbolic Computation (manuscript, to be submitted) (2009)"},{"key":"28_CR17","unstructured":"Charles, F.: Schmidt. Productive thinking...the gestalt emphasis (2009), http:\/\/www.rci.rutgers.edu\/~cfs\/305_html\/Gestalt\/gestalt.html"},{"issue":"4","key":"28_CR18","doi-asserted-by":"publisher","first-page":"464","DOI":"10.2307\/2095581","volume":"51","author":"D.A. Snow","year":"1986","unstructured":"Snow, D.A., Rochford, E.B., Worden, S.K., Benford, R.D.: Frame alignment processes, micromobilization, and movement participation. American Sociological Review\u00a051(4), 464\u2013481 (1986)","journal-title":"American Sociological Review"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Windsteiger, W.: On a solution of the mutilated checkerboard problem using the theorema set theory prover. In: Linton, S., Sebastiani, R. (eds.) Proceedings of the Calculemus 2001 Symposium, Siena, Italy, pp. 28\u201347 (2001)","DOI":"10.1007\/3-540-45654-6_41"},{"key":"28_CR20","first-page":"228","volume-title":"Bringing Design to Software, 1996","author":"T. Winograd","year":"2006","unstructured":"Winograd, T.: The spreadsheet. In: Winograd, T., Bennett, J., de Young, L., Hartfield, B. (eds.) Bringing Design to Software, 1996, pp. 228\u2013231. Addison-Wesley, Reading (2006)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02614-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:41:03Z","timestamp":1558402863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}