{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T21:24:52Z","timestamp":1714857892599},"reference-count":0,"publisher":"IMPERIAL COLLEGE PRESS","isbn-type":[{"value":"9781783265084","type":"print"},{"value":"9781783265091","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1142\/9781783265091_0014","type":"book-chapter","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T06:31:53Z","timestamp":1415082713000},"page":"113-120","source":"Crossref","is-referenced-by-count":0,"title":["Satisfiability Machines"],"prefix":"10.1142","author":[{"given":"Filip","family":"\u017delezn\u00fd","sequence":"first","affiliation":[{"name":"Department of Cybernetics, Czech Technical University in Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,11,3]]},"container-title":["Latest Advances in Inductive Logic Programming"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T20:56:25Z","timestamp":1500497785000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/9781783265091_0014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,3]]},"ISBN":["9781783265084","9781783265091"],"references-count":0,"alternative-id":["10.1142\/9781783265091_0014","10.1142\/p954"],"URL":"https:\/\/doi.org\/10.1142\/9781783265091_0014","relation":{},"subject":[],"published":{"date-parts":[[2014,11,3]]}}}