{"entities":{"Q5015397":{"pageid":7044974,"ns":120,"title":"Item:Q5015397","lastrevid":98287088,"modified":"2026-06-05T17:08:20Z","type":"item","id":"Q5015397","labels":{"en":{"language":"en","value":"Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440225"}},"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":"Q5015397$ED8FBCDA-B38C-4225-BDCE-5ADF2BC63276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eb877059dfff0d2e51a28f533537fd016649fca","datavalue":{"value":"1483.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$32EE05B1-446F-4E2E-A7AE-4B3C2FF7DB92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$CCA9F3CC-BABB-4B00-8468-6176FFC84A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"301c81049e2a7b18bc729e432aa23624e3713f79","datavalue":{"value":{"entity-type":"item","numeric-id":912192,"id":"Q912192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$BA5328A1-12BB-417D-B42E-FBE1207C0D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-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":"Q5015397$3985A263-BB06-4527-89E4-9AE57024743A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45af680c1d01f253899b315256d26f4c687c9425","datavalue":{"value":"https://arxiv.org/abs/1606.08815","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015397$245A6E21-F7C6-4B9A-AE27-62D785011E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfd0bd7e00e250ca7b57f39c0885d4576b04505e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2015.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015397$A76D9772-232D-4A4A-8764-862086676A28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$C850446F-D298-4B7E-8287-E59EDDC7C773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$D05315D8-76F0-4ABA-B473-16ED04D55278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$76E454A8-B167-4EFB-8032-155569495DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$39157E5C-AB0E-419D-968B-CC0557D48A79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77ec79d990649913b264927878de262f41c717cc","datavalue":{"value":"7440225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015397$9322F619-178E-4C7A-9F38-C2E1238420F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$BCFFDA83-7C78-43D3-B761-8613BE7ABF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$E64C1073-0959-4FCF-A8DC-6C936E573608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$E6943B4C-D697-44FB-9DAB-EE88716146AB","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":"Q5015397$6D09554D-ACFF-402F-8997-C07778848701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$DBE7B128-1C1E-4868-B5A9-CA0F30390101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99439fae6e37c6c02251eaecee18e0ab08279341","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$A8542BA9-8063-4BEC-BAC8-5014F16DDA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$7702A4E2-2245-4F2D-BB55-16E8F266889A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$A3E89037-2056-4587-A009-FBB2EEC6F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c172e0693ee7278cc6bb4438211f8ca19d3584b9","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$8A5C2264-EFCA-4BA1-9AEC-68EF17E9731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$F747A756-639E-4258-AE45-2D37B3983A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$3E0B44FA-5DFE-4E1B-8562-A3BC0415D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$0A40C20B-A103-474D-86C7-28A98E6590BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$7EAA4712-838B-40E8-945F-4B65F6665C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$63F3EFCB-E5A6-467B-A47C-1AB095929055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be22cc5be49f9b5f183210144516b7ac2ec50b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4028804,"id":"Q4028804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$01D32883-BAD6-4594-A58C-F6DBB74A1FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c20aa85eb416dd7cde803b8e47d06c7c466a5e2","datavalue":{"value":{"entity-type":"item","numeric-id":2999188,"id":"Q2999188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$ADB87C4F-14CA-4F79-8840-D65B5A2A9F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$9333EA75-A4CE-42B7-8100-7329DAAAD73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$4C115D0F-99C7-4768-8203-62C05573322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$7B813A60-79CA-45CC-8E79-5ABD60298734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$C475E2D9-E215-4B93-B192-36E3B4569240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$1F764F37-63F9-4612-BDCC-7667C1CAB34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$65AAA2F6-3E88-497B-847B-2CC5C6878573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$6D5A9ED4-1A52-4386-87EF-9DEDD3E4B2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$EFBCF10A-2951-4467-BECB-B518416A08D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$BDC7B9FC-0D7D-4095-9464-B0FD66748827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219b8caf64f58381971bc73c47456fa8a33f55a","datavalue":{"value":{"entity-type":"item","numeric-id":3645296,"id":"Q3645296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$ED3A0F71-A4F1-4192-B16A-B6B8C4A733E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$2E2DF024-9C58-430B-846F-FBFBD13DF69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015397$AE0A4890-8C5A-4947-8622-FF6758FFE9AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea77b4c1bb55e0624ce32a2460de260e69a4395d","datavalue":{"value":{"entity-type":"item","numeric-id":5034220,"id":"Q5034220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b172677829187e275b277f4d9fc4736e2d011456","datavalue":{"value":{"amount":"+0.992209255695343","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":"Q5015397$A35ECC74-FD5A-406B-81B1-8916C72937AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd96849f712113a17f3f8f4297dc3a93a7690a14","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5caeaf4c78634aae8921fd58b13def6513c1f3","datavalue":{"value":{"amount":"+0.8197060227394104","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":"Q5015397$4288AFE0-43FA-4A9C-AE13-D604C45406CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9921a4fa2826384241d591ccca041c5c603f3c1b","datavalue":{"value":{"amount":"+0.8191211819648743","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":"Q5015397$1410E58A-7B4C-4E50-AA86-C177D071BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00eb0f6a6e4fefaeacc5130df740812569cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfded07f243393f4ac9b9ff20e536ab3f0373ce","datavalue":{"value":{"amount":"+0.818012535572052","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":"Q5015397$33DA2546-EB45-4F03-A037-63766BDAEF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab49dd9b477f3e4628229a95f94a5c17244fc7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3400533,"id":"Q3400533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0faee68918b07272f00c44ab96dcbea31e262f","datavalue":{"value":{"amount":"+0.8069027662277222","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":"Q5015397$7997FEC9-8D08-4DC1-8E4E-E860860A39F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_cases_of_model_checking_probabilistic_temporal-epistemic_logic_(extended_abstract)"}}}}}