{"entities":{"Q6487329":{"pageid":14066098,"ns":120,"title":"Item:Q6487329","lastrevid":57576228,"modified":"2026-03-31T11:27:16Z","type":"item","id":"Q6487329","labels":{"en":{"language":"en","value":"PAC Statistical Model Checking of\u00a0Mean Payoff in\u00a0Discrete- and Continuous-Time MDP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628137"}},"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":"Q6487329$235AB56E-1593-4E5D-A6C0-377702568254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ab59a7a408a53a51826ff27d889f880a13f7e5c","datavalue":{"value":{"text":"PAC Statistical Model Checking of\u00a0Mean Payoff in\u00a0Discrete- and Continuous-Time MDP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487329$99021E48-955B-406E-8D4A-27960EFEA9D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f43348ba16ddc4345c6d686d8a984996391de873","datavalue":{"value":"1514.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487329$4B426B4E-4714-48C5-AE78-56E9AF156538","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11da8630c3ca871a96be77a88db6392fe2c45eaf","datavalue":{"value":"10.1007/978-3-031-13188-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487329$2A16E709-5598-472C-855A-C997CE9F1C98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7f8f5cb57881431ccbc2e5ec7732dbbe07fcc8","datavalue":{"value":{"entity-type":"item","numeric-id":6485595,"id":"Q6485595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$8A83ABEF-96D7-4DEC-B61B-D97032D29A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ec7cf533a9e797506d0d9cf6304c0b66208f71","datavalue":{"value":{"entity-type":"item","numeric-id":832073,"id":"Q832073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$330E4563-BAA5-4BBA-A3C4-9AF80483E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$6EE4E2D4-605D-451A-AF74-6D685D2382CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92feb51a2ad737cd24c8786900059ef80e296229","datavalue":{"value":{"entity-type":"item","numeric-id":6485596,"id":"Q6485596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$8435634F-E3C2-4BDF-90F6-8D1B31DBD032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487329$1BD69360-F2FD-4CF5-982A-E9A88F24F696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487329$105E2988-9DAC-45B6-85C0-C7CF459C0530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487329$950B6A56-3401-42A9-985A-B1036710836C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc8c3274ab5b7b370d12a47e840aa6efa587dc6","datavalue":{"value":"7628137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487329$FBE691AD-CA46-4D6D-A6EB-A6FF75B287EF","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":"Q6487329$7D88D62E-5E1F-4C75-98FE-79219872BB96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"456f5c1039c673f85abe41043df08ce87efe8a04","datavalue":{"value":{"entity-type":"item","numeric-id":6487329,"id":"Q6487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$82D6ABF8-9337-4DA9-BDD0-18DBDE7B4EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cced84ce04bb73fddec7ed53e9680deb6de57ff","datavalue":{"value":{"entity-type":"item","numeric-id":2151247,"id":"Q2151247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$C97402E4-6C4F-4A6E-B4D2-8D17534A46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e5170e2d5498d27175c0eb144714c61341e0cd","datavalue":{"value":{"entity-type":"item","numeric-id":6194591,"id":"Q6194591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$218EB201-2622-4892-AAAD-F9AF32B2329A","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":"Q6487329$46182554-E625-4527-9567-D0E8144E4FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da738f3b3a0589b5865d644cdd2720582fdb1ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4368722,"id":"Q4368722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$20753B7D-13A4-4516-8EB1-160014F31E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c447c86cd59082986362ce26ecb8202775afc2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5404479,"id":"Q5404479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$DB2B97AD-6FB9-404F-922E-2C1D1F716081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$02DEC522-9B90-4809-978D-FC5EBB8C9B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddf430626408a9755eb7473ae94474ed8a4c727","datavalue":{"value":{"entity-type":"item","numeric-id":3902467,"id":"Q3902467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$EBA77E23-E67B-4DE0-8FEA-69F03AA02F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85612cecf69008fea6bb0caad5125f0320b2527","datavalue":{"value":{"entity-type":"item","numeric-id":2892776,"id":"Q2892776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$DF750562-39CC-4831-8ACA-3E464A326F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7f26b1bed767ed74f2e866bdc5b49786904da0","datavalue":{"value":{"entity-type":"item","numeric-id":1040906,"id":"Q1040906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$68E030C0-40F4-4E7E-BA4B-0D826FD12808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce332bad8cb2cb08fd9143022ac5862d8e2cf5e","datavalue":{"value":{"entity-type":"item","numeric-id":5704186,"id":"Q5704186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$A097101C-538F-43CC-A7FF-95F5AD89BA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fe751a07a354b5b4176618fc695ef7344724d5","datavalue":{"value":{"entity-type":"item","numeric-id":5954951,"id":"Q5954951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$EB7EB272-9ED9-46E8-BDC6-816267B9713F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abe19eaac08b73cbbe114940b48fc8282c5137f","datavalue":{"value":{"entity-type":"item","numeric-id":6091336,"id":"Q6091336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$C272DDAD-B930-45B6-904D-8445DA605D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271eef31571c9ec9c914bf2cb669d0e0bbd0ee7","datavalue":{"value":{"entity-type":"item","numeric-id":6041135,"id":"Q6041135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$71420C6A-B1F1-4D5B-BD32-AECB4A052C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ec6528d68622e53fe0c41f4538ff81bf910e33","datavalue":{"value":{"entity-type":"item","numeric-id":5009420,"id":"Q5009420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$273CA13D-E497-4B55-8A3A-DB5E555A146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$A7E79B42-9244-4D93-BF3D-25D7752BE76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$C44B7893-DC8D-4B59-BA67-E49A0FA49E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5debee39132e1ae3a2ce5cb4a60a26b600962c07","datavalue":{"value":{"entity-type":"item","numeric-id":4223191,"id":"Q4223191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$F5B40A3C-E610-4CBE-9EC0-36A342EA7339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d63052cabe12ef2d176f0fddc6bc808c0b887c","datavalue":{"value":{"entity-type":"item","numeric-id":1426850,"id":"Q1426850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$13041DFA-B8F6-4A35-A494-925C8D52EA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8ef586515d5be78d3874d9c7885ce5a3295923","datavalue":{"value":{"entity-type":"item","numeric-id":2896090,"id":"Q2896090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$680BD9F1-8A09-484B-9C67-4F5163A7EF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$6CE8ABAB-6B82-4EB8-8C66-55AC8FA083C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230c27b11515c9908579f5d461c7ce654b8bf734","datavalue":{"value":{"entity-type":"item","numeric-id":5009420,"id":"Q5009420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f6be74e68c1ce95bda24bd1749f174a184d0ec","datavalue":{"value":{"amount":"+0.7699964046478271","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":"Q6487329$0D202BCC-7119-4C29-B4AE-4AC3D681C302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d315077e117f70d0aecb25409bcd09237707231","datavalue":{"value":{"entity-type":"item","numeric-id":5096097,"id":"Q5096097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6bc392807d9ef7cc8c9b91070ccbcda9e83141","datavalue":{"value":{"amount":"+0.7587873339653015","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":"Q6487329$E56F38D6-52EF-4559-BFF1-138C4A602CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570e46a58fa84ca1108991782d73eb20dbd97665","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f874dd6b3e4d3ed3f28d745f16a6fdfa0a03862","datavalue":{"value":{"amount":"+0.7480878233909607","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":"Q6487329$327F8978-02A9-4D29-9836-882DEF503568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3673d86179a68b447e8da2a04d42220e5e9103","datavalue":{"value":{"entity-type":"item","numeric-id":5308389,"id":"Q5308389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7acce20ba34763e7dbe599abcf9ca48f1a9a80","datavalue":{"value":{"amount":"+0.7465953826904297","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":"Q6487329$EB204914-8155-4A56-B2B2-6AD37F0689D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b08757bec46562b5500b76378e145ec8db92d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3086919,"id":"Q3086919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98f006c4cebc3dc6192a8d47ac06afcc4fe8357","datavalue":{"value":{"amount":"+0.7437052726745605","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":"Q6487329$94DE30BE-A79F-475E-A62F-AAF6B58F3D85","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487329$F65C82BA-445B-4CDD-AF8D-723F2FA60F69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487329"}}}}}