{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:42:33Z","timestamp":1743111753982,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230298"},{"type":"electronic","value":"9783540278184"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27818-4_27","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:26:47Z","timestamp":1267108007000},"page":"378-392","source":"Crossref","is-referenced-by-count":4,"title":["The Categorial Type of OpenMath Objects"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Strotmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Abbott, J., van Leeuwen, A., Strotmann, A.: OpenMath: Communicating mathematical information between co-operating agents in a knowledge network. J. of Intelligent Systems (1998) (special issue: Improving the Design of Intelligent Systems: Outstanding problems and some methods for their solution 8, 1998)","key":"27_CR1"},{"key":"27_CR2","first-page":"1","volume":"1","author":"K. Ajdukiewicz","year":"1935","unstructured":"Ajdukiewicz, K.: Die syntaktische Konnexit\u00e4t. Studia Philosophica\u00a01, 1\u201327 (1935)","journal-title":"Studia Philosophica"},{"key":"27_CR3","first-page":"207","volume-title":"Polish Logic 1920\u20131939","author":"K. Ajdukiewicz","year":"1967","unstructured":"Ajdukiewicz, K.: Syntactic connexion. In: McCall, S. (ed.) Polish Logic 1920\u20131939, pp. 207\u2013231. Oxford University Press, Oxford (1967); Translated from [2]"},{"unstructured":"Caprotti, O., Carlisle, D., Cohen, A. (eds.): The OpenMath standard \u2013 version 1.0. Technical report, Esprit Project OpenMath (2000), URL: \n                  \n                    http:\/\/www.nag.co.uk\/projects\/OpenMath\/omstd\/","key":"27_CR4"},{"unstructured":"Caprotti, O., Cohen, A.: A type system for OpenMath. Technical report, Esprit Project OpenMath (1998)","key":"27_CR5"},{"unstructured":"D. Carlisle, P. Ion, R. Miner, N. Poppelier (eds.), Mathematical Markup Language (MathML) 2.0: W3C Recommendation (February 21, 2001), URL: \n                  \n                    http:\/\/www.w3.org\/TR\/2001\/REC-MathML2-20010221\/","key":"27_CR6"},{"key":"27_CR7","first-page":"16","volume":"34","author":"J. Davenport","year":"2000","unstructured":"Davenport, J.: A small OpenMath type system. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)\u00a034, 16\u201321 (2000)","journal-title":"SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)"},{"key":"27_CR8","volume-title":"Specifying Syntactic Structures","author":"J. D\u00f6rre","year":"1997","unstructured":"D\u00f6rre, J., Manandhar, S.: On constraint-based Lambek calculi. In: Blackburn, P., de Rijke, M. (eds.) Specifying Syntactic Structures. CSLI Publications, Stanford (1997)"},{"unstructured":"Genesereth, M., Fikes, R.: Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1, Computer Science Department. Stanford University, Stanford, CA, USA (1992)","key":"27_CR9"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/B978-1-4832-1452-8.50120-2","volume-title":"Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning","author":"T. Gruber","year":"1994","unstructured":"Gruber, T., Olsen, G.: An ontology for engineering mathematics. In: Pietro Torasso, J. (ed.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, FRG, pp. 258\u2013269. Morgan Kaufmann, San Francisco (1994)"},{"key":"27_CR11","first-page":"417","volume-title":"Handbook of Logic and Language","author":"T. Janssen","year":"1996","unstructured":"Janssen, T.: Compositionality. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 417\u2013473. Elsevier, Amsterdam (1996)"},{"key":"27_CR12","first-page":"834","volume-title":"Proc. of IEEE Internat. Symp. on Intelligent Control, IEEE Internat. Symp. on Computational Intelligence in Robotics and Automation & Intelligent Systems and Semiotics","author":"L. Kohout","year":"1998","unstructured":"Kohout, L., Strotmann, A.: Understanding and improving content markup for the Web: from the perspectives of formal linguistics, algebraic logic, and cognitive science. In: Albus, J., Meystel, A. (eds.) Proc. of IEEE Internat. Symp. on Intelligent Control, IEEE Internat. Symp. on Computational Intelligence in Robotics and Automation & Intelligent Systems and Semiotics. A joint conf. on the Science and Technology of Intelligent Systems, Piscataway, NJ, IEEE & NIST, pp. 834\u2013839. IEEE, Los Alamitos (1998)"},{"key":"27_CR13","first-page":"93","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1996","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93\u2013177. Elsevier, Amsterdam (1996)"},{"unstructured":"Strotmann, A.: Limitations of the Knowledge Interchange Format as a general purpose content communication language. J. of Intelligent Systems\u00a012 (2002)","key":"27_CR14"},{"unstructured":"Strotmann, A.: Content markup language design principles, Dissertation, The Florida State University (2003)","key":"27_CR15"},{"key":"27_CR16","first-page":"66","volume":"34","author":"A. Strotmann","year":"2000","unstructured":"Strotmann, A., Kohout, L.: OpenMath: compositionality achieved at last. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)\u00a034, 66\u201372 (2000)","journal-title":"SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27818-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T09:33:03Z","timestamp":1552383183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27818-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230298","9783540278184"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27818-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}