{"entities":{"Q5136327":{"pageid":7165899,"ns":120,"title":"Item:Q5136327","lastrevid":94335629,"modified":"2026-06-05T06:32:56Z","type":"item","id":"Q5136327","labels":{"en":{"language":"en","value":"Complexity of model checking MDPs against LTL specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278107"}},"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":"Q5136327$83727A46-6F59-4134-A9DF-95F64C75C556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786583586911dc81d152a2852bf29c0ce1d36c10","datavalue":{"value":"1491.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$E8566E11-62C0-4375-BE3E-E967078C2C98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ec18d9efb86144ed2dcb2f2b20408f6214470a","datavalue":{"value":{"entity-type":"item","numeric-id":2272911,"id":"Q2272911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$43F5759D-180A-4027-9FD0-32C5D685B8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$BFA8E1BB-B97E-4BB9-9B95-FF14720A815A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136327$3061CC2F-F204-4DCD-AB9B-E67A366A0A54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$37E1EEBD-296B-418A-B0C6-9C03D29D4A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$504CEA9E-6019-45AA-9006-F27C97E26EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$A814BA41-D9F1-41D2-B128-ED911FCA554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$EE2B0CE0-6290-4EE5-949D-CA9764E0C241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d8db47bb98e401d7661c65c552c682e4f54f1e","datavalue":{"value":"7278107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$887A4885-AF3C-4FB5-BCFB-330E6EF2CD62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136327$D89F4F1F-93B1-4E6D-B725-193635585F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136327$772C934D-3A97-4AF4-A0AA-A2E566B9D819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136327$926A3868-EAEA-4C37-AC3D-8A82E0186244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136327$FCE5F8DF-7397-4A16-9931-12B90BE1C614","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":"Q5136327$842238EB-92C5-4C20-966F-1E4B4F63C662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$E1460E35-3D73-48B5-AB37-C5ABC53BE851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecbe8498bea9dfe933ee3e08ca9d63d4f901531","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$EF646F07-993F-487C-AB44-DA4B68E50988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$06EDF3E7-835A-45C6-909F-2A20974CCCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$0A0234A5-A111-4112-BEC8-3F52988CC3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fdef8e721ff2cf00c355bc79bbe5145c2ebc51","datavalue":{"value":{"entity-type":"item","numeric-id":2938064,"id":"Q2938064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$AF05689F-8DA3-402B-9AA4-7745BD76CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ade4565e2d3f767218a8b8d248882e1289ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4411828,"id":"Q4411828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$B858090F-EE5E-41B1-81C7-624FBCD99457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136327$C3F9A11C-F012-450B-96B9-DA96186DBD67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fa39b0ebb1e922103c32d2033d7e563ff14101c","datavalue":{"value":"https://doi.org/10.4230/lipics.fsttcs.2017.35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136327$194666B0-C9BB-450D-9015-38AC584A6C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05d71ff4d13aff0b057a1706ac20c7d42e831783","datavalue":{"value":"W2788909595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$AE8FF628-1F03-4760-B0DB-C3B00878065D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f47672ef623d946027de31a711947a46127b55c","datavalue":{"value":{"text":"Complexity of model checking MDPs against LTL specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136327$39434729-EA15-4578-BBD5-CA00EB6257DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af39449fd0321170c1bc71d89fc2ea02a1568139","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136327$F9D6BB95-F296-421C-9AEE-25F0F67E4FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93808e0b5b5bfd4cc528c2bccf4166fd67f6555d","datavalue":{"value":{"entity-type":"item","numeric-id":3190162,"id":"Q3190162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421653ff10e89d4a7d3e148243413827a42f2a6c","datavalue":{"value":{"amount":"+0.7770788073539734","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":"Q5136327$92FAA4A7-2E97-4208-AA70-C080CC913379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53310a97d16461eb1e015da155592b3741bff77","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fc270558ac63da8231f37c3fa76de57e8e11a3","datavalue":{"value":{"amount":"+0.7609452605247498","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":"Q5136327$44D151F4-BABF-4D47-BD33-A12CCDF521B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b688bf179c205c53b40de96fd9478f14b64384","datavalue":{"value":{"amount":"+0.7595470547676086","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":"Q5136327$D7881BBC-DBD3-451E-ADF7-0E5F101FC973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a904f330643dff36bc7f594c27dcf4c91f4ad1e","datavalue":{"value":{"amount":"+0.7575656175613403","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":"Q5136327$BCE88914-52B6-4C2C-8238-8466D5415B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd91214a6e0692578e05a84f7c573038776a88","datavalue":{"value":{"entity-type":"item","numeric-id":3636806,"id":"Q3636806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42f3af3ab3db86cc390cf7ebf3b1dcb472cb56d","datavalue":{"value":{"amount":"+0.7569707632064819","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":"Q5136327$AE791D73-55C3-4F4C-90F3-768D61C75AD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of model checking MDPs against LTL specifications","badges":[]}}}}}