{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T22:48:46Z","timestamp":1776552526592,"version":"3.51.2"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319724522","type":"print"},{"value":"9783319724539","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72453-9_17","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:35:54Z","timestamp":1513744554000},"page":"243-257","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Virtual Theories \u2013 A Uniform Interface to Mathematical Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Tom","family":"Wiesing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"issue":"6","key":"17_CR1","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1007\/s10208-016-9306-z","volume":"16","author":"J Cremona","year":"2016","unstructured":"Cremona, J.: The L-functions and modular forms database project. Found. Comput. Math. 16(6), 1541\u20131553 (2016). \nhttps:\/\/doi.org\/10.1007\/s10208-016-9306-z","journal-title":"Found. Comput. Math."},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-42547-4_9","volume-title":"Intelligent Computer Mathematics","author":"P-O Dehaye","year":"2016","unstructured":"Dehaye, P.-O., et al.: Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. In: Kohlhase, M., Johansson, M., Miller, B., de Moura, L., Tompa, F. (eds.) CICM 2016. LNCS (LNAI), vol. 9791, pp. 117\u2013131. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42547-4_9\n\n. \nhttps:\/\/github.com\/OpenDreamKit\/OpenDreamKit\/blob\/master\/WP6\/CICM2016\/published.pdf"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/3-540-55602-8_192","volume-title":"Automated Deduction\u2014CADE-11","author":"WM Farmer","year":"1992","unstructured":"Farmer, W.M., Guttman, J.D., Javier Thayer, F.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 567\u2013581. Springer, Heidelberg (1992). \nhttps:\/\/doi.org\/10.1007\/3-540-55602-8_192"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-72453-9_14","volume-title":"MACIS 2017","author":"M Kohlhase","year":"2017","unstructured":"Kohlhase, M., et al.: Knowledge-based interoperability for mathematical software systems. In: Bl\u00f6mer, J., Kutsia, T., Simos, D. (eds.) MACIS 2017. LNCS, vol. 10693, pp. 195\u2013210. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-72453-9_14\n\n. \nhttps:\/\/github.com\/OpenDreamKit\/OpenDreamKit\/blob\/master\/WP6\/MACIS17-interop\/crc.pdf"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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. 4180. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11826095\n\n. \nhttp:\/\/omdoc.org\/pubs\/omdoc1.2.pdf"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-319-42432-3_60","volume-title":"Mathematical Software \u2013 ICMS 2016","author":"E Luzhnica","year":"2016","unstructured":"Luzhnica, E., Kohlhase, M.: Formula semantification and automated relation finding in the On-line Encyclopedia for integer sequences. In: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (eds.) ICMS 2016. LNCS, vol. 9725, pp. 467\u2013475. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42432-3_60"},{"key":"17_CR7","unstructured":"LMFDB - API. \nhttp:\/\/www.lmfdb.org\/api\/\n\n. Accessed 17 Sept 2017"},{"key":"17_CR8","unstructured":"The LMFDB Collaboration: The L-functions and modular forms database. \nhttp:\/\/www.lmfdb.org\n\n. Accessed 01 Feb 2016"},{"key":"17_CR9","unstructured":"MathHub.info: Active mathematics. \nhttp:\/\/mathhub.info\n\n. Accessed 28 Jan 2014"},{"key":"17_CR10","unstructured":"MMT - Language and System for the Uniform Representation of Knowledge. Project web site. \nhttps:\/\/uniformal.github.io\/\n\n. Accessed 30 Aug 2016"},{"key":"17_CR11","unstructured":"OpenDreamKit Open Digital Research Environment Toolkit for the Advancement of Mathematics. \nhttp:\/\/opendreamkit.org\n\n. Accessed 21 May 2015"},{"key":"17_CR12","unstructured":"OEIS Foundation Inc. (ed.): The On-line Encyclopedia of Integer Sequences. \nhttp:\/\/oeis.org\n\n. Accessed 28 May 2017"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 7362, pp. 143\u2013158. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-31374-5_10\n\n. \narXiv:1204.4685\n\n [cs.LO]"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-39320-4_25","volume-title":"Intelligent Computer Mathematics","author":"F Rabe","year":"2013","unstructured":"Rabe, F.: The MMT API: a generic MKM system. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS (LNAI), vol. 7961, pp. 339\u2013343. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39320-4_25"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2013.06.001","volume":"230","author":"F Rabe","year":"2013","unstructured":"Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1\u201354 (2013). \nhttp:\/\/kwarc.info\/frabe\/Research\/mmt.pdf","journal-title":"Inf. Comput."},{"issue":"8","key":"17_CR16","first-page":"912","volume":"50","author":"NJA Sloane","year":"2003","unstructured":"Sloane, N.J.A.: The On-line Encyclopedia of integer sequences. Not. AMS 50(8), 912 (2003)","journal-title":"Not. AMS"},{"key":"17_CR17","unstructured":"Wiesing, T.: Enabling cross-system communication using virtual theories and QMT. Master\u2019s thesis, Jacobs University Bremen, Bremen, Germany, August 2017. \nhttps:\/\/github.com\/tkw1536\/MasterThesis\/raw\/master\/thesis.pdf"},{"key":"17_CR18","unstructured":"Wikipedia: Wolfram language \u2013 Wikipedia, the free Encyclopedia (2017). \nhttps:\/\/en.wikipedia.org\/w\/index.php?title=Wolfram_Language\n\n. Accessed 09 Oct 2017"},{"key":"17_CR19","unstructured":"Wolfram-Alpha. \nhttp:\/\/www.wolframalpha.com\n\n. Accessed 05 Jan 2013"},{"key":"17_CR20","unstructured":"The LMFDB Collaboration: The L-functions and modular forms database. \nhttp:\/\/www.lmfdb.org\n\n. Accessed 27 Aug 2016"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72453-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T04:42:51Z","timestamp":1513744971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72453-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319724522","9783319724539"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72453-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}