{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T07:26:08Z","timestamp":1769585168156,"version":"3.49.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030232498","type":"print"},{"value":"9783030232504","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-23250-4_3","type":"book-chapter","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T07:01:17Z","timestamp":1562050877000},"page":"28-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6678-8975","authenticated-orcid":false,"given":"Katja","family":"Ber\u010di\u010d","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9859-6337","authenticated-orcid":false,"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3040-3655","authenticated-orcid":false,"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"3_CR1","unstructured":"Ber\u010di\u010d, K.: Math databases table. https:\/\/mathdb.mathhub.info\/ . Accessed 15 Jan 2019"},{"key":"3_CR2","unstructured":"Ber\u010di\u010d, K.: Math databases wiki. https:\/\/github.com\/MathHubInfo\/Documentation\/wiki\/Math-Databases . Accessed 15 Jan 2019"},{"key":"3_CR3","volume-title":"An Introduction to the Langlands Program","year":"2003","unstructured":"Gelbart, S., Bernstein, J. (eds.): An Introduction to the Langlands Program. Birkh\u00e4user, Basel (2003). ISBN: 3-7643-3211-5"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 171\u2013183. ACM, New York (1983). https:\/\/doi.org\/10.1145\/800061.808746 . ISBN: 0-89791-099-0","DOI":"10.1145\/800061.808746"},{"issue":"1\u20132","key":"3_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.dam.2012.07.018","volume":"161","author":"G Brinkmann","year":"2013","unstructured":"Brinkmann, G., et al.: House of graphs: a database of interesting graphs. Discrete Appl. Math. 161(1\u20132), 311\u2013314 (2013). https:\/\/doi.org\/10.1016\/j.dam.2012.07.018 . ISSN: 0166\u2013218X","journal-title":"Discrete Appl. Math."},{"key":"3_CR6","unstructured":"Berg, C., Stump, C., et al.: FindStat: the combinatorial statistic finder (2014). http:\/\/www.FindStat.org . Accessed 31 Aug 2016"},{"key":"3_CR7","unstructured":"Ber\u010di\u010d, K., Vidali, J.: DiscreteZOO: a fingerprint database of discrete objects (2018). arXiv:1812.05921"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"European Commission Expert Group on FAIR Data: Turning FAIR into reality (2018). https:\/\/doi.org\/10.2777\/1524","DOI":"10.2777\/1524"},{"key":"3_CR9","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":"Mathematical Aspects of Computer and Information Sciences","author":"M Kohlhase","year":"2017","unstructured":"Kohlhase, M., et al.: Knowledge-based interoperability for mathematical software systems. In: Bl\u00f6mer, J., Kotsireas, I.S., Kutsia, T., Simos, D.E. (eds.) MACIS 2017. LNCS, vol. 10693, pp. 195\u2013210. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72453-9_14"},{"key":"3_CR10","unstructured":"The L-functions and modular forms database. http:\/\/www.lmfdb.org . Accessed 02 Jan 2016"},{"key":"3_CR11","unstructured":"MBGen description, links demos and code repositories. https:\/\/github.com\/MathHubInfo\/Documentation\/wiki\/MBGen . Accessed 05 Mar 2019"},{"key":"3_CR12","unstructured":"McKay, B.: Description of graph6, sparse6 and digraph6 encodings. http:\/\/users.cecs.anu.edu.au\/~bdm\/data\/formats.txt"},{"key":"3_CR13","unstructured":"MathHub.info: Active mathematics. http:\/\/mathhub.info . Accessed 28 Jan 2014"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/978-3-319-94205-6_38","volume-title":"Automated Reasoning","author":"D M\u00fcller","year":"2018","unstructured":"M\u00fcller, D., Rabe, F., Kohlhase, M.: Theories as types. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 575\u2013590. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94205-6_38"},{"key":"3_CR15","unstructured":"The on-line encyclopedia of integer sequences. http:\/\/oeis.org . Accessed 28 May 2017"},{"key":"3_CR16","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., et al. (eds.) CICM 2012. LNCS (LNAI), vol. 7362, pp. 143\u2013158. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31374-5_10 . arXiv: 1204.4685 . ISBN: 978-3-642-31373-8"},{"issue":"6","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1093\/logcom\/exu079","volume":"27","author":"F Rabe","year":"2017","unstructured":"Rabe, F.: How to identify, translate, and combine logics? J. Logic Comput. 27(6), 1753\u20131798 (2017)","journal-title":"J. Logic Comput."},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","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), 1\u201354 (2013)","journal-title":"Inf. Comput."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Slick, functional relational mapping for scala. http:\/\/slick.lightbend.com\/ . Accessed 16 Mar 2019","DOI":"10.1007\/978-3-319-75771-1_35"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Rabe, F., Ber\u010di\u010d, K.: Schema theories repository for the prototyper. https:\/\/gl.mathhub.info\/ODK\/discretezoo . Accessed 14 Mar 2019","DOI":"10.1007\/s11786-020-00453-5"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-72453-9_17","volume-title":"Mathematical Aspects of Computer and Information Sciences","author":"T Wiesing","year":"2017","unstructured":"Wiesing, T., Kohlhase, M., Rabe, F.: Virtual theories \u2013 a uniform interface to mathematical knowledge bases. In: Bl\u00f6mer, J., Kotsireas, I.S., Kutsia, T., Simos, D.E. (eds.) MACIS 2017. LNCS, vol. 10693, pp. 243\u2013257. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72453-9_17"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23250-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,9]],"date-time":"2021-01-09T03:18:41Z","timestamp":1610162321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23250-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030232498","9783030232504"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23250-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2019\/cicm.php?event=&menu=general","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}