{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:13Z","timestamp":1725489073204},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_24","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"296-312","source":"Crossref","is-referenced-by-count":7,"title":["Narrative Structure of Mathematical Texts"],"prefix":"10.1007","author":[{"given":"Fairouz","family":"Kamareddine","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Maarek","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Retel","sequence":"additional","affiliation":[]},{"given":"J. B.","family":"Wells","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"de Bruijn, N.G.: The mathematical vernacular, a language for mathematics with typed sets. In: Workshop on Programming Logic, Sweden (1987)"},{"key":"24_CR2","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes. W3C Recommendation (2001)"},{"key":"24_CR3","unstructured":"Kamareddine, F., Wells, J.: MathLang: A new language for mathematics, logic, and proof checking. A research proposal to UK funding body (2001)"},{"key":"24_CR4","unstructured":"Kamareddine, F., Maarek, M., Retel, K., Wells, J.B.: Gradual computerisation\/formalisation of mathematical texts into mizar (2007), \n                    \n                      http:\/\/www.macs.hw.ac.uk\/~retel\/"},{"key":"24_CR5","unstructured":"Kamareddine, F., Lamar, R., Maarek, M., Wells, J.B.: Restoring Natural Language as a Computerised Mathematics Input Method (2007), \n                    \n                      http:\/\/www.macs.hw.ac.uk\/~mm20\/"},{"key":"24_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11618027_15","volume-title":"Mathematical Knowledge Management","author":"F. Kamareddine","year":"2006","unstructured":"Kamareddine, F., Maarek, M., Wells, J.B.: Toward an object-oriented structure for mathematical text. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, Springer, Heidelberg (2006)"},{"issue":"3","key":"24_CR7","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/B:JLLI.0000028393.47593.b8","volume":"13","author":"F. Kamareddine","year":"2004","unstructured":"Kamareddine, F., Nederpelt, R.: A refinement of de Bruijn\u2019s formal language of mathematics. J.\u00a0Logic Lang. Inform.\u00a013(3), 287\u2013340 (2004)","journal-title":"J.\u00a0Logic Lang. Inform."},{"key":"24_CR8","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":"24_CR9","unstructured":"Lange, Ch.: SWiM \u2013 A Semantic Wiki for Mathematical Knowledge Management. Technical Report (December 2006)"},{"key":"24_CR10","unstructured":"Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. W3C Recommendation (1999)"},{"key":"24_CR11","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (2004)"},{"key":"24_CR12","unstructured":"Moller, J.M.: General topology. Authors\u2019 notes (last visit 2007-02-25), available at \n                    \n                      http:\/\/www.math.ku.dk\/~moller\/e03\/3gt\/notes\/gtnotes.pdf"},{"key":"24_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11618027_13","volume-title":"Mathematical Knowledge Management","author":"K. Nakagawa","year":"2006","unstructured":"Nakagawa, K., Suzuki, M.: Mathematical knowledge browser with automatic hyperlink detection. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, Springer, Heidelberg (2006)"},{"key":"24_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11618027_13","volume-title":"Mathematical Knowledge Management","author":"K. Nakagawa","year":"2006","unstructured":"Nakagawa, K., Nomura, A., Suzuki, M.: Extraction of Logical Structure from Articles in Mathematics. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol.\u00a03863, Springer, Heidelberg (2006)"},{"key":"24_CR15","first-page":"216","volume":"249","author":"B. Roy","year":"1959","unstructured":"Roy, B.: Transitivit\u00e9 et connexit\u00e9. C.R. Acad. Sci. Paris\u00a0249, 216\u2013218 (1959)","journal-title":"C.R. Acad. Sci. Paris"},{"issue":"3\u20134","key":"24_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1006218513245","volume":"23","author":"P. Rudnicki","year":"1999","unstructured":"Rudnicki, P., Trybulec, A.: On equivalents of well-foundedness. An experiment in MIZAR. Journal of Automated Reasoning\u00a023(3\u20134), 197\u2013234 (1999)","journal-title":"Journal of Automated Reasoning"},{"key":"24_CR17","unstructured":"Sierpi\u0144ski, W.: Elementary Theory of Numbers. PWN, Warszawa (1964)"},{"key":"24_CR18","unstructured":"Smith, M.K., Welty, Ch., McGuinness, D.L.: OWL Web Ontology Language Guide. W3C Recommendation (2004)"},{"issue":"1","key":"24_CR19","first-page":"11","volume":"9","author":"S. Warshall","year":"1962","unstructured":"Warshall, S.: A theorem on boolean matrices. J.\u00a0ACM\u00a09(1), 11\u201312 (1962)","journal-title":"J.\u00a0ACM"}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:46Z","timestamp":1619517586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}