{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:19Z","timestamp":1750308079900,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"30","license":[{"start":{"date-parts":[[1971,10,1]],"date-time":"1971-10-01T00:00:00Z","timestamp":55123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGART Bull."],"published-print":{"date-parts":[[1971,10]]},"abstract":"<jats:p>This section of the newsletter will carry counterexamples and conjectures which are of interest to our readers but which will not normally be published elsewhere. Most of these counterexamples and conjectures concern completeness of some resolution based theorem proving procedure but others are welcomed. Some of these conjectures and\/or counterexamples may be well known. We welcome such information and other examples.<\/jats:p>","DOI":"10.1145\/1056574.1056575","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"5-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Counterexamples and conjectures"],"prefix":"10.1145","member":"320","published-online":{"date-parts":[[1971,10]]},"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056574.1056575","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056574.1056575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:41Z","timestamp":1750262861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056574.1056575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1971,10]]},"references-count":0,"journal-issue":{"issue":"30","published-print":{"date-parts":[[1971,10]]}},"alternative-id":["10.1145\/1056574.1056575"],"URL":"https:\/\/doi.org\/10.1145\/1056574.1056575","relation":{},"ISSN":["0163-5719"],"issn-type":[{"type":"print","value":"0163-5719"}],"subject":[],"published":{"date-parts":[[1971,10]]},"assertion":[{"value":"1971-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}