{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:32:31Z","timestamp":1753885951241,"version":"3.41.2"},"reference-count":0,"publisher":"Inderscience Publishers","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJICT"],"published-print":{"date-parts":[[2007]]},"DOI":"10.1504\/ijict.2007.013273","type":"journal-article","created":{"date-parts":[[2007,4,21]],"date-time":"2007-04-21T17:50:44Z","timestamp":1177177844000},"page":"4","source":"Crossref","is-referenced-by-count":0,"title":["An algorithm for computing theory prime implicates in first order logic"],"prefix":"10.1504","volume":"1","author":[{"given":"Arindama","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manoj K.","family":"Raut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"378","container-title":["International Journal of Information and Communication Technology"],"original-title":[],"language":"en","deposited":{"date-parts":[[2007,4,21]],"date-time":"2007-04-21T17:50:45Z","timestamp":1177177845000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.inderscience.com\/link.php?id=13273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007]]}},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1504\/ijict.2007.013273","relation":{},"ISSN":["1466-6642","1741-8070"],"issn-type":[{"type":"print","value":"1466-6642"},{"type":"electronic","value":"1741-8070"}],"subject":[],"published":{"date-parts":[[2007]]},"article-number":"13273"}}