{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:57:41Z","timestamp":1648663061635},"reference-count":11,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1989,8,1]],"date-time":"1989-08-01T00:00:00Z","timestamp":617932800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8751,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[1989,8]]},"DOI":"10.1016\/0890-5401(89)90053-9","type":"journal-article","created":{"date-parts":[[2004,12,2]],"date-time":"2004-12-02T00:24:20Z","timestamp":1101947060000},"page":"185-197","source":"Crossref","is-referenced-by-count":3,"title":["Proving properties of interactive proofs by a generalized counting technique"],"prefix":"10.1016","volume":"82","author":[{"given":"L\u00e1szl\u00f3","family":"Babai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shlomo","family":"Moran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0890-5401(89)90053-9_BIB1","series-title":"Proceedings, 27th FOCS","first-page":"368","article-title":"On the power of Interaction","author":"Aiello","year":"1986"},{"key":"10.1016\/0890-5401(89)90053-9_BIB2","series-title":"Proceedings, 17th STOC","article-title":"Trading group theory for randomness","author":"Babai","year":"1985"},{"key":"10.1016\/0890-5401(89)90053-9_BIB3","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/0022-0000(88)90028-1","article-title":"Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes","volume":"36","author":"Babai","year":"1988","journal-title":"J. Comput. System Sc."},{"key":"10.1016\/0890-5401(89)90053-9_BIB10","doi-asserted-by":"crossref","unstructured":"Boppana, R., Hastad, J., and Zachos, S., Does co-NP have short interactive proofs, Inform. Process Lett., in press.","DOI":"10.1016\/0020-0190(87)90232-8"},{"issue":"2","key":"10.1016\/0890-5401(89)90053-9_BIB4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0022-0000(79)90044-8","article-title":"Universal classes of hash functions","volume":"18","author":"Carter","year":"1979","journal-title":"J. Comput. System. Sci."},{"key":"10.1016\/0890-5401(89)90053-9_BIB5","series-title":"Proceedings, 17th STOC","article-title":"The knowledge complexity of interactive functions","author":"Goldwasser","year":"1985"},{"key":"10.1016\/0890-5401(89)90053-9_BIB6","series-title":"Proceedings, 27th FOCS","article-title":"Proofs that yield nothing but the validity of their assertion","author":"Goldreich","year":"1986"},{"key":"10.1016\/0890-5401(89)90053-9_BIB7","series-title":"Proceedings, 18th STOC","article-title":"Private coins versus public coins in interactive proof systems","author":"Goldwasser","year":"1986"},{"key":"10.1016\/0890-5401(89)90053-9_BIB8","author":"Moran","year":"1986"},{"key":"10.1016\/0890-5401(89)90053-9_BIB9","series-title":"Proceedings, 15th STOC","article-title":"A complexity theoretic approach to randomness","author":"Sipser","year":"1983"},{"key":"10.1016\/0890-5401(89)90053-9_BIB11","unstructured":"Zachos, S., and Furer, M., Probabilistic quantifiers vs distrusful adversaries, to appear."}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0890540189900539?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0890540189900539?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T18:26:50Z","timestamp":1549045610000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0890540189900539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,8]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,8]]}},"alternative-id":["0890540189900539"],"URL":"https:\/\/doi.org\/10.1016\/0890-5401(89)90053-9","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[1989,8]]}}}