{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:27:47Z","timestamp":1762100867786},"reference-count":13,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,2,1]]},"DOI":"10.1093\/logcom\/exn058","type":"journal-article","created":{"date-parts":[[2008,11,13]],"date-time":"2008-11-13T20:34:18Z","timestamp":1226608458000},"page":"5-34","source":"Crossref","is-referenced-by-count":60,"title":["Axiom Pinpointing in General Tableaux"],"prefix":"10.1093","volume":"20","author":[{"given":"F.","family":"Baader","sequence":"first","affiliation":[]},{"given":"R.","family":"Penaloza","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,11,13]]},"reference":[{"key":"2_32612600","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","year":"1996","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"4_32612601","first-page":"247","volume":"57","year":"2003","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"5_32050081","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","year":"1995","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"8_32612602","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","year":"2001","journal-title":"STUDIA LOGICA"},{"key":"11_32612603","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1018924526592","volume":"23","year":"1998","journal-title":"ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"key":"14_32612604","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02127745","volume":"18","year":"1996","journal-title":"ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"key":"17_31711928","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","year":"2003","journal-title":"JOURNAL OF WEB SEMANTICS"},{"issue":"3","key":"18_20350805","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"Horrocks","year":"1999","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"19_32612605","first-page":"239","volume":"8","year":"2000","journal-title":"JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGIC"},{"key":"20_32612606","first-page":"144","volume":"4","year":"2005","journal-title":"JOURNAL OF WEB SEMANTICS"},{"key":"28_29468902","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","year":"1987","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"31_32612607","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","year":"1991","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"33_32612608","first-page":"640","volume":"0000","year":"1997","journal-title":"JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION FALL SYMPOSIUM SUPPLEMENT"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/1\/5\/2792224\/exn058.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T06:51:20Z","timestamp":1503471080000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,13]]},"references-count":13,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2010,2,1]]},"published-print":{"date-parts":[[2010,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn058","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,13]]}}}