{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:25:11Z","timestamp":1649039111286},"reference-count":5,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2005,2]]},"DOI":"10.1080\/00207160412331296625","type":"journal-article","created":{"date-parts":[[2004,12,22]],"date-time":"2004-12-22T03:44:23Z","timestamp":1103687063000},"page":"151-161","source":"Crossref","is-referenced-by-count":2,"title":["Proving completeness by logic"],"prefix":"10.1080","volume":"82","author":[{"given":"Bruno","family":"Escoffier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vangelis Th.","family":"Paschos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"b1","first-page":"pp. 43\u201373","volume-title":"Complexity of Computations, American Mathematics Society","author":"Fagin R","year":"1974"},{"key":"b2","volume-title":"Dept. of Computer Science, University of Helsinki","author":"Orponen P","year":"1987"},{"key":"b3","first-page":"pp. 151\u2013158","volume-title":"Proc. STOC\u201971","author":"Cook SA","year":"1971"},{"key":"b4","volume-title":"Descriptive Complexity, Springer-Verlag","author":"Immerman N","year":"1998"},{"key":"b5","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(91)90023-X"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160412331296625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T06:05:25Z","timestamp":1481695525000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160412331296625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["10.1080\/00207160412331296625"],"URL":"https:\/\/doi.org\/10.1080\/00207160412331296625","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}