{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:15:08Z","timestamp":1761581708105},"reference-count":26,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1137\/140965715","type":"journal-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T14:06:47Z","timestamp":1528812407000},"page":"769-797","source":"Crossref","is-referenced-by-count":4,"title":["On the Complexity of the Model Checking Problem"],"prefix":"10.1137","volume":"47","author":[{"given":"Florent R.","family":"Madelaine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barnaby D.","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1137\/070708093"},{"key":"atypb2","first-page":"31","author":"Bodirsky M.","year":"2009","journal-title":"Europe"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.05.003"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700376676"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1145\/1120582.1120584"},{"key":"atypb8","first-page":"168","author":"Chen H.","year":"2004","journal-title":"Springer"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1137\/060668572"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1145\/1592451.1592453"},{"key":"atypb11","first-page":"35","author":"Chen H.","year":"2012","journal-title":"Springer"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(90)90132-J"},{"key":"atypb17","first-page":"286","author":"Hermann M.","year":"2009","journal-title":"Proceedings of the Third International Workshop on Algorithms and Computation"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1145\/263867.263489"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1713"},{"key":"atypb21","first-page":"367","volume":"9","author":"Krasner M.","year":"1938","journal-title":"J. Math. Pures Appl."},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1145\/322033.322037"},{"key":"atypb23","first-page":"429","author":"Madelaine F. R.","year":"2009","journal-title":"Computer Science"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1145\/2071368.2071373"},{"key":"atypb26","first-page":"480","author":"Madelaine F. R.","year":"2012","journal-title":"Springer"},{"key":"atypb27","first-page":"417","author":"Martin B.","year":"2008","journal-title":"Springer"},{"key":"atypb28","first-page":"417","author":"Martin B.","year":"2008","journal-title":"Springer"},{"key":"atypb29","first-page":"368","author":"Martin B.","year":"2010","journal-title":"Springer"},{"key":"atypb30","first-page":"546","author":"Martin B.","year":"2011","journal-title":"Springer"},{"key":"atypb31","first-page":"342","author":"Martin B.","year":"2006","journal-title":"Springer"},{"key":"atypb32","first-page":"426","author":"Martin B.","year":"2010","journal-title":"Springer"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/140965715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,21]],"date-time":"2018-11-21T12:11:31Z","timestamp":1542802291000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/140965715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["10.1137\/140965715"],"URL":"https:\/\/doi.org\/10.1137\/140965715","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}