{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,28]],"date-time":"2023-03-28T10:31:41Z","timestamp":1679999501419},"reference-count":0,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,9,23]]},"DOI":"10.3166\/jancl.17.283-316","type":"journal-article","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T16:52:24Z","timestamp":1194367944000},"page":"283-316","source":"Crossref","is-referenced-by-count":4,"title":["Operations on proofs and labels"],"prefix":"10.1080","volume":"17","author":[{"given":"Tatiana","family":"Yavorskaya","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Rubtsova","sequence":"additional","affiliation":[]}],"member":"301","container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T11:51:54Z","timestamp":1481716314000},"score":1,"resource":{"primary":{"URL":"http:\/\/jancl.revuesonline.com\/article.jsp?articleId=10741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,23]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9,23]]}},"URL":"https:\/\/doi.org\/10.3166\/jancl.17.283-316","relation":{},"ISSN":["1166-3081"],"issn-type":[{"value":"1166-3081","type":"print"}],"subject":[],"published":{"date-parts":[[2007,9,23]]}}}