{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T10:10:11Z","timestamp":1722939011620},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1145\/800116.803751","type":"proceedings-article","created":{"date-parts":[[2003,11,25]],"date-time":"2003-11-25T11:40:52Z","timestamp":1069760452000},"page":"37-44","source":"Crossref","is-referenced-by-count":7,"title":["Lower bounds on the size of Boolean formulas"],"prefix":"10.1145","author":[{"given":"Michael J.","family":"Fischer","sequence":"first","affiliation":[]},{"given":"Albert R.","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Michael S.","family":"Paterson","sequence":"additional","affiliation":[]}],"member":"320","event":{"number":"7","sponsor":["ACM, Association for Computing Machinery","SIGACT, ACM Special Interest Group on Algorithms and Computation Theory"],"acronym":"STOC '75","name":"seventh annual ACM symposium","start":{"date-parts":[[1975,5,5]]},"location":"Albuquerque, New Mexico, United States","end":{"date-parts":[[1975,5,7]]}},"container-title":["Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75"],"original-title":[],"link":[{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=803751&ftid=53758&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T20:41:25Z","timestamp":1481834485000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=800116.803751"}},"subtitle":["Preliminary Report"],"proceedings-subject":"Theory of computing","short-title":[],"issued":{"date-parts":[[1975]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/800116.803751","relation":{},"subject":[],"published":{"date-parts":[[1975]]}}}