{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:09:27Z","timestamp":1725566967137},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260318"},{"type":"electronic","value":"9783540321101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11428817_20","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T19:44:00Z","timestamp":1285443840000},"page":"215-226","source":"Crossref","is-referenced-by-count":0,"title":["Interpretation of Implicit Parallel Structures. A Case Study with \u201cvice-versa\u201d"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Horacek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Wolska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Benzm\u00fcller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Tutorial Dialogs on Mathematical Proofs. In: IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12\u201322 (2003)"},{"key":"20_CR2","unstructured":"Benzm\u00fcller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics. In: AIED2003 \u2014 Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 471\u2013481 (2003)"},{"key":"20_CR3","unstructured":"http:\/\/www.sfb360.uni-bielefeld.de\/"},{"key":"20_CR4","unstructured":"Haji\u010dov\u00e1, E., Panevov\u00e1, J., Sgall, P.: A Manual for Tectogrammatical Tagging of the Prague Dependency Treebank. TR-2000-09, Charles University, Prague (2000)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-27779-8_3","volume-title":"Natural Language Processing and Information Systems","author":"H. Horacek","year":"2004","unstructured":"Horacek, H., Wolska, M.: Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. In: Meziane, F., M\u00e9tais, E. (eds.) NLDB 2004. LNCS, vol.\u00a03136, pp. 26\u201338. Springer, Heidelberg (2004)"},{"key":"20_CR6","unstructured":"SFB 378 web-site, \n                    \n                      http:\/\/www.coli.uni-sb.de\/sfb378\/"},{"key":"20_CR7","volume-title":"The Meaning of the Sentence in its Semantic and Pragmatic Aspects","author":"P. Sgall","year":"1986","unstructured":"Sgall, P., Haji\u010dov\u00e1, E., Panevov\u00e1, J.: The Meaning of the Sentence in its Semantic and Pragmatic Aspects. Reidel Publishing Company, Dordrecht (1986)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Siekmann, J., et al.: Proof Development with \u03a9mega. In: Proceedings of the 18th Conference on Automated Deduction, Copenhagen, Denmark, pp. 144\u2013149 (2002)","DOI":"10.1007\/3-540-45620-1_12"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Wolska, M., Kruijff-Korbayov\u00e1, I.: Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs. In: Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics, Barcelona, Spain, pp. 25\u201332 (2004)","DOI":"10.3115\/1218955.1218959"},{"key":"20_CR10","unstructured":"Wolska, M., Vo, B.Q., Tsovaltzi, D., Kruijff-Korbayov\u00e1, I., Karagjosova, E., Horacek, H., Gabsdil, M., Fiedler, A., Benzm\u00fcller, C.: An annotated corpus of tutorial dialogs on mathematical theorem proving. In: Proc. of 4th International Conference on Language Resources and Evaluation, Lisbon, pp. 1007\u20131010 (2004)"},{"key":"20_CR11","unstructured":"http:\/\/www.chiasmus.com\/"}],"container-title":["Lecture Notes in Computer Science","Natural Language Processing and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11428817_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:23Z","timestamp":1619507423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11428817_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260318","9783540321101"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11428817_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}