{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T02:29:52Z","timestamp":1648780192854},"reference-count":13,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2009,12,1]]},"DOI":"10.1093\/logcom\/exp008","type":"journal-article","created":{"date-parts":[[2009,2,28]],"date-time":"2009-02-28T01:35:46Z","timestamp":1235784946000},"page":"1175-1198","source":"Crossref","is-referenced-by-count":0,"title":["An Axiomatic System Suggested by Quantum Computation"],"prefix":"10.1093","volume":"19","author":[{"given":"C.","family":"Bertini","sequence":"first","affiliation":[]},{"given":"R.","family":"Leporini","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"1_27496333","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","year":"1936","journal-title":"ANNALS OF MATHEMATICS"},{"key":"2_34165484","first-page":"87","volume":"54","year":"2004","journal-title":"MATHEMATICA SLOVACA"},{"key":"4_34165485","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1142\/S0219749905000943","volume":"3","year":"2005","journal-title":"INTERNATIONAL JOURNAL OF QUANTUM INFORMATION"},{"key":"5_34165486","first-page":"237","volume":"45","year":"2006","journal-title":"INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS"},{"key":"6_34165487","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1023327005274","volume":"42","year":"2003","journal-title":"INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS"},{"key":"8_34165489","first-page":"1","volume":"35","year":"1996","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"9_32989276","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s11225-006-7202-2","volume":"82","year":"2006","journal-title":"STUDIA LOGICA"},{"key":"10_27695072","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1008322226835","volume":"9","year":"2000","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"12_34165490","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.ic.2003.11.003","volume":"190","year":"2004","journal-title":"INFORMATION AND COMPUTATION"},{"key":"13_34165491","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1145\/347476.347481","volume":"47","year":"2000","journal-title":"JOURNAL OF THE ACM"},{"key":"14_34165492","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1024410829713","volume":"42","year":"2003","journal-title":"INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS"},{"key":"16_34165493","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1023\/A:1003642222321","volume":"39","year":"2000","journal-title":"INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS"},{"key":"17_34165494","doi-asserted-by":"crossref","first-page":"2545","DOI":"10.1023\/A:1026453524064","volume":"39","year":"2000","journal-title":"INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/19\/6\/1175\/2803083\/exp008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:51:53Z","timestamp":1550451113000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,27]]},"references-count":13,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2009,11,30]]},"published-print":{"date-parts":[[2009,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp008","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,27]]}}}