{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:43:08Z","timestamp":1725882188481},"publisher-location":"Singapore","reference-count":5,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811041532"},{"type":"electronic","value":"9789811041549"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-981-10-4154-9_59","type":"book-chapter","created":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T04:29:21Z","timestamp":1489724961000},"page":"512-518","source":"Crossref","is-referenced-by-count":0,"title":["Application of Automated Theorem-Proving to Philosophical Thought: Spinoza\u2019s Ethics"],"prefix":"10.1007","author":[{"given":"Maciej","family":"Janowicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiza","family":"Ochnio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek J.","family":"Chmielewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arkadiusz","family":"Or\u0142owski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,18]]},"reference":[{"key":"59_CR1","unstructured":"Prover9. \nhttp:\/\/www.cs.unm.edu\/~mccune\/prover9\/manual\/2009-11A\/\n\n. Accessed 20 Dec 2016"},{"key":"59_CR2","volume-title":"The Chief Works of Benedict De Spinoza","author":"B Spinoza","year":"1951","unstructured":"Spinoza, B., Ethics, E.: Translation from Latin. In: Elwes, R.H.M. (ed.) The Chief Works of Benedict De Spinoza. Dover Publications, New York (1951)"},{"key":"59_CR3","first-page":"15","volume":"37","author":"C Jarrett","year":"1978","unstructured":"Jarrett, C.: The logical structure of Spinoza\u2019s Ethics. Part I Synth. 37, 15\u201365 (1978)","journal-title":"Part I Synth."},{"key":"59_CR4","unstructured":"Blum, A., Malinovich, S.: A formalization of a segment I of Spinoza\u2019s Ethics, Metalogicon. VI, 1 (1993)"},{"key":"59_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-03359-9_17","volume-title":"Theorem Proving in Higher Order Logics","author":"O Hasan","year":"2009","unstructured":"Hasan, O., Khan Afshar, S., Tahar, S.: Formal analysis of optical waveguides in HOL. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 228\u2013243. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-03359-9_17"}],"container-title":["Lecture Notes in Electrical Engineering","Information Science and Applications 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-4154-9_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T04:46:57Z","timestamp":1489726017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-4154-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811041532","9789811041549"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-4154-9_59","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2017]]}}}