{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T05:46:06Z","timestamp":1733895966709,"version":"3.30.1"},"reference-count":0,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T00:00:00Z","timestamp":1721779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,4]]},"DOI":"10.1093\/logcom\/exae035","type":"journal-article","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T02:21:16Z","timestamp":1721874076000},"page":"1397-1398","source":"Crossref","is-referenced-by-count":0,"title":["Advances in Computational Logic (CILC23): Preface"],"prefix":"10.1093","volume":"34","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[{"name":"Dipartimento di Scienze Matematiche , Informatiche e Fisiche,"},{"name":"Universit\u00e0 di Udine , Informatiche e Fisiche,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienze Matematiche , Informatiche e Fisiche,"},{"name":"Universit\u00e0 di Udine , Informatiche e Fisiche,"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2024,7,24]]},"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/8\/1397\/60952992\/exae035.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/8\/1397\/60952992\/exae035.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T20:15:53Z","timestamp":1733861753000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/8\/1397\/7719017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,24]]},"references-count":0,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2024,7,24]]},"published-print":{"date-parts":[[2024,12,4]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exae035","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2024,12]]},"published":{"date-parts":[[2024,7,24]]}}}