{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:21:36Z","timestamp":1648729296148},"reference-count":6,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1080\/00207169908804764","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:23:05Z","timestamp":1182817385000},"page":"417-427","source":"Crossref","is-referenced-by-count":1,"title":["Computing prime implicants via transversal clauses"],"prefix":"10.1080","volume":"70","author":[{"given":"Arindama","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90168-1"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80029-6"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1970.222917"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249017"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1967.264648"},{"key":"CIT0006","volume-title":"TR88-21, Department of Computer Science","author":"Tsiknis G.","year":"1988"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169908804764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T05:57:37Z","timestamp":1481695057000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169908804764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1080\/00207169908804764"],"URL":"https:\/\/doi.org\/10.1080\/00207169908804764","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}