{"entities":{"Q3176188":{"pageid":3186898,"ns":120,"title":"Item:Q3176188","lastrevid":58135911,"modified":"2026-04-03T23:09:53Z","type":"item","id":"Q3176188","labels":{"en":{"language":"en","value":"On the complexity of the model checking problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908307"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$8E05178A-5197-4B59-9A53-941912EDD2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"459e2d40070fbd5f085f92236d5fb7a06a0f80f6","datavalue":{"value":{"text":"On the Complexity of the Model Checking Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176188$E1C12017-143E-43B4-BA76-F1F2831B8890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec47647b6d11f37cd0dba02d717751884985d6ba","datavalue":{"value":"1393.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$FA8D8128-557F-4902-9B06-7D823D7E8903","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f42003c2c635124025f3a36af26c88d2174b310","datavalue":{"value":"10.1137/140965715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$7E2643A5-939D-4831-ACF2-181B42EABC84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"936738da928e42c440c1e88a7b16b3be7dab064a","datavalue":{"value":{"entity-type":"item","numeric-id":941342,"id":"Q941342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$151F1C7F-8DB0-43D8-8497-3A2F55289BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$9B3404CA-BC93-4469-B2F5-77FB0CFDDC7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$F03FDEC7-CD23-4FDC-ABCD-B5BF814726CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c859eea215891ada1a875fdf548c6375ec8428a","datavalue":{"value":{"time":"+2018-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176188$520653BE-F956-47BC-84B7-196AA032A7BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7cac5b1529512acdcbdee08bb59f048ccf2c4db","datavalue":{"value":"https://arxiv.org/abs/1210.6893","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176188$F07FD68A-26CD-4221-B5D6-B3BAA5584319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2c903a77c5d7aca0c51e448e69dc488bbe47791","datavalue":{"value":"http://dro.dur.ac.uk/25546/1/25546.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176188$6880E389-974A-4BED-8D5D-92304E21F3EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$ACB9E7DF-79D7-461B-A358-F806670030BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$FC5B8314-3917-4D61-AA65-301CF6133050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$E7049335-FA17-4518-A931-33EBF8A06A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$41796DCF-65B7-44F7-8FA4-01B7E7FE8999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$4EC1AF4A-F37C-4E33-8F60-DB77F10FC64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76652a0f6a9b6af6c739ab6858648e0591d0b7e0","datavalue":{"value":"6908307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$AEA13CBB-AEA5-4A3D-81F5-21FD126151DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176188$99A9EFAA-FD72-405F-A584-418D115408D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2358c6f306b2f0764b1088130dd2f7274cf9476","datavalue":{"value":"quantified constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176188$6E1F0786-5E3F-4452-91F8-FE971BEE1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176188$D60D0F50-462F-41D8-9FD6-B7CDEF36BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176188$CF3F20D1-28BB-4025-81CE-07008A26794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3176188$CA81A98F-359E-4AA1-A7DE-479CC2845520","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$DF046989-C27A-4F09-AA8D-4D2C74EFEFC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94a810cf7adef08e53b424164bd5a8817098804e","datavalue":{"value":"W2963983432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176188$3A1AB913-01FC-46B1-AAE1-B3E33E664A3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcc1beb258313c6cc88cda9ae62d481e75d9884","datavalue":{"value":{"entity-type":"item","numeric-id":3642864,"id":"Q3642864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$1D0349C5-75B6-4F52-8E74-43CC78FD28E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d805b01b31fa9a707e4c2d8061776d6d2c3fb1","datavalue":{"value":{"entity-type":"item","numeric-id":840700,"id":"Q840700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$D4C1BE86-46F0-40BD-9877-E2B57EADBBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$EB2756B3-5283-49D2-91BB-B96CB6FBD194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df9df797c66e2105b650b58bb72a65315b081d","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$9967DE06-8151-47E2-BD31-925D27B35FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1bb038a1da50946a0172f14d7470c03c2894a","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$457B00D3-DA53-4A3B-88D9-624CF746C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97bea8313302d4aba346d0ce40d208fb04754b9","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$C176DB7F-254B-4082-8430-1E250018A014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5c9eccb9ad7e55410d02e1bab91d3b286f2caa","datavalue":{"value":{"entity-type":"item","numeric-id":2897943,"id":"Q2897943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$06D3E9EE-BE31-478A-8E04-C71B51252086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$3A1ACA53-F06F-41F2-834C-7CDD446BF4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$3906E066-4FCB-4336-8D2D-23FEE9A0C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$C7828645-F7D5-4BA6-8D76-EA3E6C4AF6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$55B98DD1-2ACF-4F2C-AF08-3F8C15783BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82781576be19b460a6b79d295bc1761b089f6480","datavalue":{"value":{"entity-type":"item","numeric-id":3605505,"id":"Q3605505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$6326AE4C-4201-4417-8080-475338FB240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$42587F3F-DDE5-4957-B6C6-D1F0C0BE3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$9CDF2B10-06D2-42AC-8322-B14B1CE67A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$F3D65001-42EF-4DED-BCC0-368B8B26146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a181dd30afaafedddc5b141ee9b82f81ccc5fe9","datavalue":{"value":{"entity-type":"item","numeric-id":4185825,"id":"Q4185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$B9F4F08F-3EEB-4B91-A043-40F273DD5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba4b9fdaaacf8298839013d8606dd45eb62d703","datavalue":{"value":{"entity-type":"item","numeric-id":2946653,"id":"Q2946653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$AE0E75C3-6421-4417-9DD6-4174825B3221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f49008d1946ab9546c9d175dc0b2ece3a7da96","datavalue":{"value":{"entity-type":"item","numeric-id":3507457,"id":"Q3507457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$E36AC5EC-FFC9-4040-A114-5FE3669F9875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37ae7b900727b145ede7807639bfaa7a209b939","datavalue":{"value":{"entity-type":"item","numeric-id":3169451,"id":"Q3169451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$098F01F5-63F5-44FA-8102-7F32A436D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9826eb168148d88eeabcb9d30f806fb71e295b4","datavalue":{"value":{"entity-type":"item","numeric-id":5898832,"id":"Q5898832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$92FCC4C1-9314-4C0A-B5F8-DF27819AD38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9df883ba19a2a8f797a8698fdb52cec231ea53c","datavalue":{"value":{"entity-type":"item","numeric-id":3586057,"id":"Q3586057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$7EC9A19F-F4AE-408E-B321-5B8E6FE32259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176188$B85FE911-A63D-4BC2-867C-EDD4EB184A14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e006ecbb92e0971d5ec850ebac7b1705691407fd","datavalue":{"value":{"entity-type":"item","numeric-id":3507457,"id":"Q3507457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6296e23853a00a952cf2004039e74c657778920","datavalue":{"value":{"amount":"+0.8885828852653503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176188$386D16F2-B9D2-4DAA-90C7-0DF6FEA10519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cb483e37e76d941b5f30b4d9fb689897720484","datavalue":{"value":{"entity-type":"item","numeric-id":5410336,"id":"Q5410336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8468fd578b7bfe4d37e965f4409a11d95aa52a","datavalue":{"value":{"amount":"+0.8101193904876709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176188$327C4286-7B28-44E1-9003-5524EC953FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363417256d8968c5d759791de63bd8286fb13ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1959381,"id":"Q1959381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a56fa694e280d4c33e10e10c35ac7bce5b7ae87","datavalue":{"value":{"amount":"+0.8044350147247314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176188$11BDEA56-4DEF-4C9D-93BA-63031909C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be940d1685a71b3464a8b26763e4b45f20d0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2986797,"id":"Q2986797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216eaf15d9380cf14e5c651c2a6728d14abf781b","datavalue":{"value":{"amount":"+0.8024735450744629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176188$2103FBB8-DE6D-4EAD-B0C9-96352D4649A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d4db3095aa2bfff0ba821f07ef9fa7f8e3aa27","datavalue":{"value":{"entity-type":"item","numeric-id":5506695,"id":"Q5506695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5378889050ecc8a2e0f0f301bb761d410c2387","datavalue":{"value":{"amount":"+0.8010909557342529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176188$2620A2F8-5C79-4969-AC3E-876166B1B8D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176188"}}}}}