{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T06:15:00Z","timestamp":1775283300222,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540730835","type":"print"},{"value":"9783540730866","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_25","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"313-326","source":"Crossref","is-referenced-by-count":7,"title":["Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Kohlhase","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"25_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/291224.291229","volume":"6","author":"H. Beyer","year":"1999","unstructured":"Beyer, H., Holtzblatt, K.: Contextual Design. ACM interactions\u00a06(1), 32\u201342 (1999)","journal-title":"ACM interactions"},{"issue":"1\/2","key":"25_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1108\/03090560010306197","volume":"34","author":"L. Chernatony de","year":"2000","unstructured":"de Chernatony, L., Harris, F., Riley, F.D.: Added value: Its nature, roles and sustainability. European Journal of marketing\u00a034(1\/2), 39\u201356 (2000)","journal-title":"European Journal of marketing"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Farmer, W.M.: Mathematical Knowledge Management. In: Schwartz, D.G.(ed.) Mathematical Knowledge Management, pp. 599\u2013604. Idea Group Reference (2005)","DOI":"10.4018\/978-1-59140-573-3.ch078"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Friedman, B.: Value-Sensitive Design. interactions, ACM, pp. 16\u201323 (November and December 1996)","DOI":"10.1145\/242485.242493"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1080\/0267257X.1997.9964482","volume":"13","author":"C. Gr\u00f6nross","year":"1997","unstructured":"Gr\u00f6nross, C.: Value-driven relational marketing: from products to resources and competencies. Journal of Marketing Management\u00a013, 407\u2013419 (1997)","journal-title":"Journal of Marketing Management"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-540-27818-4_13","volume-title":"Mathematical Knowledge Management","author":"A. Kohlhase","year":"2004","unstructured":"Kohlhase, A., Kohlhase, M.: CPoint. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 175\u2013189. Springer, Heidelberg (2004)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Kohlhase, A., M\u00fcller, N.: Added-Value: Getting People into Semantic Work Environments (submitted, 2007)","DOI":"10.4018\/978-1-59904-877-2.ch011"},{"key":"25_CR8","unstructured":"Kohlhase, A. (2005), http:\/\/kwarc.eecs.iu-bremen.de\/projects\/CPoint\/"},{"key":"25_CR9","unstructured":"Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., Attwell, G., Elferink, R., T\u00f6dt, A. (eds.) Open Source for Education in Europe: Research and Practise, pp. 51\u201356. Open Universiteit of the Netherlands, Heerlen (2005)"},{"key":"25_CR10","unstructured":"Kohlhase, A.: The User as Prisoner: How the Dilemma Might Dissolve. In: Memmel, M., Ras, E., Weibelzahl, S.(eds.) 2nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning. pp. 26\u201331 (2006), Online Proceedings at http:\/\/cnm.open.ac.uk\/projects\/ectel06\/pdfs\/ECTEL06WS68d.pdf"},{"key":"25_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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":"25_CR12","unstructured":"Kohlhase, M.: stex: Semantic markup in TEX \/ LATEX Self-documenting LATEX pacakge (2006) available at https:\/\/svn.kwarc.info\/repos\/stex\/sty\/stex.pdf"},{"key":"25_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11856290_21","volume-title":"Artificial Intelligence and Symbolic Computation","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M., \u015eucan, I.: A search engine for mathematical formulae. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol.\u00a04120, pp. 241\u2013253. Springer, Heidelberg (2006)"},{"key":"25_CR14","unstructured":"Kohlhase, M., \u015eucan, I.: System Description: MathWebSearch 0.3, A Semantic Search Engine. submitted to CADE 21 (2007)"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11832225_33","volume-title":"Mathematical Software - ICMS 2006","author":"P. Libbrecht","year":"2006","unstructured":"Libbrecht, P., Melis, E.: Methods for Access and Retrieval of Mathematical Content in ActiveMath. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, Springer, Heidelberg (2006), http:\/\/www.activemath.org\/publications\/Libbrecht-Melis-Access-and-Retrieval-ActiveMath-ICMS-2006.pdf"},{"key":"25_CR16","unstructured":"Mathdex (seen March 2007), web page at http:\/\/www.mathdex.com"},{"key":"25_CR17","unstructured":"Math Web Search (seen April 2007), web page at http:\/\/kwarc.info\/projects\/mws\/"},{"key":"25_CR18","unstructured":"Math Web Search Plugin. (seen April 2007), http:\/\/kwarc.info\/projects\/mws\/plugin.html"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1145\/1148170.1148348","volume-title":"SIGIR 2006","author":"R. Munavalli","year":"2006","unstructured":"Munavalli, R., Miner, R.: MathFind: a Math-Aware Search Engine. In: SIGIR 2006. Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval, pp. 735\u2013735. ACM Press, New York (2006)"},{"issue":"1-3","key":"25_CR20","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1022967814992","volume":"38","author":"B.R. Miller","year":"2003","unstructured":"Miller, B.R., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence\u00a038(1-3), 121\u2013136 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"25_CR21","volume-title":"Designing Interactive Strategy. From Value Chain to Value Constellation.","author":"R. Normann","year":"1998","unstructured":"Normann, R., Ramirez, R.: Designing Interactive Strategy. From Value Chain to Value Constellation. Wiley and Sons, Chichester (1998)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Oulasvirta, A.: Finding Meaningful Uses for Context-Aware Technologies: The Humanistic Research Strategy. In: Late Breaking Result Papers (April 2004) ISBN 1-58113-703-6","DOI":"10.1145\/985692.985724"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Qiu, Y., Frei, H.-P.: Concept based query expansion. In: Korfhage, R., Rasmussen, E.M., Willett, P. (eds.). Proceedings of the 16th Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, pp. 160\u2013169. ACM, New York (1993)","DOI":"10.1145\/160688.160713"},{"key":"25_CR24","unstructured":"Smirnova, E., So, C., Watt, S., Xie, X.: Components for pen-based mathematical interfaces. In: ACA 2005 Special Session on Pen-Based Mathematical Computing (2005)"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:43:15Z","timestamp":1684006995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}