{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T00:49:56Z","timestamp":1648946996280},"reference-count":9,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.507-516","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:06:10Z","timestamp":1176296770000},"page":"507-516","source":"Crossref","is-referenced-by-count":0,"title":["Automatic checking properties of non-classical logics"],"prefix":"10.1080","volume":"16","author":[{"given":"Pavel","family":"Schreiner","sequence":"first","affiliation":[{"name":"a   Sobolev Institute of Mathematics , Russian Academy of Sciences , 4 Koptyug av.,  630090 ,  Novosibirsk ,  Russia"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001"},{"key":"CIT0002","first-page":"255","volume-title":"11th Sovjet Algebraic Colloquium","author":"KUZNETSOV A.","year":"1971"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/BF02330744"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01673502"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01669837"},{"key":"CIT0006","unstructured":"MAKSIMOVA ,  L.  and \n                     SCHREINER ,  P.  2006. The algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus, vol. 3, 49\u201358. Vestnik of Novosibirsk State University."},{"key":"CIT0007","first-page":"113","volume-title":"Logic Colloquium 2005","author":"SCHREINER P.","year":"2005"},{"key":"CIT0008","first-page":"123","volume-title":"the 9th Asian Logic Conference","author":"SCHREINER P.","year":"2005"},{"key":"CIT0009","volume-title":"Algorithmic Problems of Algebraic Systems","author":"VERHOZINA M.","year":"1978"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.507-516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:31:16Z","timestamp":1498228276000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.507-516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":9,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.507-516"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.507-516","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}