{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T22:57:46Z","timestamp":1776553066186,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642311741","type":"print"},{"value":"9783642311758","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31175-8_3","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T22:53:21Z","timestamp":1339455201000},"page":"43-52","source":"Crossref","is-referenced-by-count":2,"title":["Interpreting Plurals in the Naproche CNL"],"prefix":"10.1007","author":[{"given":"Marcos","family":"Cramer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Schr\u00f6der","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Cohen, G.L.: Derived Sequences. Journal of Integer Sequences 6 (2003)"},{"key":"3_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-14418-9_11","volume-title":"Controlled Natural Language","author":"M. Cramer","year":"2010","unstructured":"Cramer, M., Fisseni, B., Koepke, P., K\u00fchlwein, D., Schr\u00f6der, B., Veldman, J.: The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. In: Fuchs, N.E. (ed.) CNL 2009 Workshop. LNCS (LNAI), vol.\u00a05972, pp. 170\u2013186. Springer, Heidelberg (2010)"},{"key":"3_CR3","unstructured":"Egg, M.: Semantic underspecification. In: Maienborn, C., von Heusinger, K., Portner, P. (eds.) Semantics. HSK, vol.\u00a033. De Gruyter Mouton (2011)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Johnson, M., Klein, E.: Discourse, anaphora and parsing. In: Proceedings of the 11th Coference on Computational linguistics (1986)","DOI":"10.3115\/991365.991559"},{"key":"3_CR5","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language. Kluwer Academic Publisher (1993)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Link, G.: Plural. In: von Stechow, A., Wunderlich, D. (eds.) Semantics. HSK, vol.\u00a06. de Gruyter (1991)","DOI":"10.1515\/9783110126969"},{"key":"3_CR7","unstructured":"Paskevich, A.: The syntax and semantics of the ForTheL language (2007)"},{"key":"3_CR8","unstructured":"Schwertel, U.: Plural Semantics for Natural Language Understanding \u2013 A Computational Proof-Theoretic Approach. PhD thesis. University of Zurich (2005)"}],"container-title":["Lecture Notes in Computer Science","Controlled Natural Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31175-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T14:09:11Z","timestamp":1642428551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31175-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311741","9783642311758"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31175-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}