{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:53:39Z","timestamp":1725537219712},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046162"},{"type":"electronic","value":"9783642046179"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04617-9_36","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T06:55:02Z","timestamp":1252997702000},"page":"281-288","source":"Crossref","is-referenced-by-count":7,"title":["External Sources of Axioms in Automated Theorem Proving"],"prefix":"10.1007","author":[{"given":"Martin","family":"Suda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoff","family":"Sutcliffe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Wischnewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Lamotte-Schubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"de Melo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"de Melo, G., Suchanek, F., Pease, A.: Integrating YAGO into the Suggested Upper Merged Ontology. In: Chung, S. (ed.) Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence, pp. 190\u2013193 (2008)","DOI":"10.1109\/ICTAI.2008.34"},{"issue":"2-3","key":"36_CR2","first-page":"111","volume":"15","author":"S. Schulz","year":"2002","unstructured":"Schulz, S.: E- A Brainiac Theorem Prover. AI Communications\u00a015(2-3), 111\u2013126 (2002)","journal-title":"AI Communications"},{"key":"36_CR3","unstructured":"Sutcliffe, G.: The SZS Ontologies for Automated Reasoning Software. In: Sutcliffe, G., Rudnicki, P. (eds.) Proceedings of the Workshop on Knowledge Exchange: Automated Provers and Proof Assistants, CEUR Workshop Proceedings, vol.\u00a0418, pp. 38\u201349 (2008)"},{"issue":"1","key":"36_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/AIC-2009-0441","volume":"22","author":"G. Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The 4th IJCAR Automated Theorem Proving System Competition - CASC. AI Communications\u00a022(1), 59\u201372 (2009)","journal-title":"AI Communications"},{"key":"36_CR5","series-title":"LNCS (LNAI)","first-page":"140","volume-title":"Proceedings of the 22nd International Conference on Automated Deduction","author":"C. Weidenbach","year":"2009","unstructured":"Weidenbach, C., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P., Dimova, D.: SPASS Version 3.5. In: Schmidt, R. (ed.) Proceedings of the 22nd International Conference on Automated Deduction. LNCS (LNAI), vol.\u00a05663, pp. 140\u2013145. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","KI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04617-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T01:55:26Z","timestamp":1590112526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04617-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046162","9783642046179"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04617-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}