{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:55:36Z","timestamp":1725738936235},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642393198"},{"type":"electronic","value":"9783642393204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39320-4_25","type":"book-chapter","created":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T11:22:52Z","timestamp":1372677772000},"page":"339-343","source":"Crossref","is-referenced-by-count":22,"title":["The MMT API: A Generic MKM System"],"prefix":"10.1007","author":[{"given":"Florian","family":"Rabe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaetano, M., Kohlhase, M.: The Open Math Standard, Version 2.0. Technical report, The Open Math Society (2004), \n                    \n                      http:\/\/www.openmath.org\/standard\/om20"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-22673-1_24","volume-title":"Intelligent Computer Mathematics","author":"M. Codescu","year":"2011","unstructured":"Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic Atlas and Integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus\/MKM 2011. LNCS, vol.\u00a06824, pp. 289\u2013291. Springer, Heidelberg (2011)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02614-0_24","volume-title":"Intelligent Computer Mathematics","author":"J. Giceva","year":"2009","unstructured":"Giceva, J., Lange, C., Rabe, F.: Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus\/MKM 2009. LNCS, vol.\u00a05625, pp. 279\u2013293. Springer, Heidelberg (2009)"},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery\u00a040(1), 143\u2013184 (1993)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-22673-1_15","volume-title":"Intelligent Computer Mathematics","author":"F. Horozal","year":"2011","unstructured":"Horozal, F., Iacob, A., Jucovschi, C., Kohlhase, M., Rabe, F.: Combining Source, Content, Presentation, Narration, and Relational Representation. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus\/MKM 2011. LNCS, vol.\u00a06824, pp. 212\u2013227. Springer, Heidelberg (2011)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-31374-5_22","volume-title":"Intelligent Computer Mathematics","author":"M. Iancu","year":"2012","unstructured":"Iancu, M., Rabe, F.: Management of Change in Declarative Languages. In: Jeuring, J., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS, vol.\u00a07362, pp. 326\u2013341. Springer, Heidelberg (2012)"},{"key":"25_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-540-85110-3_41","volume-title":"Intelligent Computer Mathematics","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M., M\u00fcller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC\/Calculemus\/MKM 2008. LNCS (LNAI), vol.\u00a05144, pp. 504\u2013519. Springer, Heidelberg (2008)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-14128-7_32","volume-title":"Intelligent Computer Mathematics","author":"M. Kohlhase","year":"2010","unstructured":"Kohlhase, M., Rabe, F., Zholudev, V.: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS, vol.\u00a06167, pp. 370\u2013384. Springer, Heidelberg (2010)"},{"key":"25_CR9","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala. artima (2007)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-31374-5_10","volume-title":"Intelligent Computer Mathematics","author":"F. Rabe","year":"2012","unstructured":"Rabe, F.: A Query Language for Formal Mathematical Libraries. In: Jeuring, J., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS, vol.\u00a07362, pp. 143\u2013158. Springer, Heidelberg (2012)"},{"key":"25_CR11","unstructured":"Rabe, F., Kohlhase, M.: A Scalable Module System. Information and Computation (2013), conditionally accepted \n                    \n                      http:\/\/arxiv.org\/abs\/1105.0548"},{"key":"25_CR12","unstructured":"Zholudev, V., Kohlhase, M.: TNTBase: a Versioned Storage for XML. In: Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies, vol.\u00a03, Mulberry Technologies, Inc. (2009)"}],"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-39320-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T06:02:27Z","timestamp":1557900147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39320-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642393198","9783642393204"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39320-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}