{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:34:42Z","timestamp":1725521682496},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540891963"},{"type":"electronic","value":"9783540891970"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89197-0_105","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T07:23:50Z","timestamp":1228289030000},"page":"1046-1052","source":"Crossref","is-referenced-by-count":0,"title":["Reconstructing Hard Problems in a Human-Readable and Machine-Processable Way"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Schwitter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"105_CR1","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Pelzer, B.: Hyper Tableaux with Equality. In: Fachberichte Informatik, 12-2007, Universit\u00e4t Koblenz-Landau (2007)","DOI":"10.1007\/978-3-540-73595-3_36"},{"issue":"4","key":"105_CR2","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1162\/089120103322753356","volume":"29","author":"M. Collins","year":"2003","unstructured":"Collins, M.: Head-Driven Statistical Models for Natural Language Parsing. Computational Linguistics\u00a029(4), 589\u2013637 (2003)","journal-title":"Computational Linguistics"},{"key":"105_CR3","doi-asserted-by":"crossref","unstructured":"Dagan, I., Glickman, O., Magnini, B.: The PASCAL Recognizing Textual Entailment Challenge. In: Proceedings of the First PASCAL Challenges on Recognising Textual Entailment, pp. 1\u20138 (2005)","DOI":"10.1007\/11736790_9"},{"key":"105_CR4","doi-asserted-by":"crossref","unstructured":"Lev, I., MacCartney, B., Manning, C.D., Levy, R.: Solving Logic Puzzles: From Robust Processing to Precise Semantics. In: Proceedings of the 2nd Workshop on Text Meaning and Interpretation at ACL 2004, pp. 9\u201316 (2004)","DOI":"10.3115\/1628275.1628277"},{"key":"105_CR5","unstructured":"Life International: Who Owns the Zebra? Life International magazine\u00a017, 95 (December 1962)"},{"key":"105_CR6","unstructured":"Schwitter, R., Ljungberg, A., Hood, D.: ECOLE \u2013 A Look-ahead Editor for a Controlled Language. In: Proceedings of EAMT-CLAW 2003, pp. 141\u2013150 (2003)"},{"issue":"2","key":"105_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.B.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2008: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89197-0_105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:18:03Z","timestamp":1557947883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89197-0_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540891963","9783540891970"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89197-0_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}