{"entities":{"Q5034220":{"pageid":7063797,"ns":120,"title":"Item:Q5034220","lastrevid":91126886,"modified":"2026-06-04T22:19:41Z","type":"item","id":"Q5034220","labels":{"en":{"language":"en","value":"Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480986"}},"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":"Q5034220$05E4B971-300C-463F-8158-5932E94F5D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ec3ddf47c1fe73a1a4008ce87bd25ab0fbbf1f9","datavalue":{"value":{"text":"Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034220$85C24EDF-1221-45EA-AD7C-DFABE880F296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d72d0a262836af858196eae65d66b66ae4a04eb","datavalue":{"value":"1502.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$2C98694E-FBC1-44F8-8B3B-997E003F22EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e393e727cb55671a7b87be938ffdf9c4c3ddda6","datavalue":{"value":"10.1145/3409250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$DCDBB5E7-CFC0-4DE3-92AA-9EA83C6B9612","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":"Q5034220$1CA38EB6-3226-4E55-AD5B-B8DF733330F8","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":"Q5034220$9EBBF125-BF4A-45B6-8AD4-11527D9A4E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034220$0C24ACEF-51D3-4DC2-8584-B64DE0F78565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034220$7E23C849-743C-4529-98A5-F21B290D31A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97ae059dfc7fdda6da5bc33e8947a1f76f3d3004","datavalue":{"value":"https://arxiv.org/abs/1511.03003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034220$9F90BB51-CC06-400D-AF77-752ACDB6842A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$FD38727F-ACA3-4406-90F8-1316B2AB275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$843C6BB7-0B4E-4426-AD0F-745AE364B442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$25CCEDF9-3D84-4B6C-8A03-0AB032666DE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d4ac2eafb2a845cfdc1368ab149852958281761","datavalue":{"value":"7480986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$47010131-4293-4C80-B79E-B7EB851DB7F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034220$0A2D1628-2420-4282-AD19-C23AEAF9C679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034220$D032C60D-68A6-423E-974F-1DC82CD67A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f0b3df7bf8e2f3440204f4d3b6ecfa3369e205","datavalue":{"value":"logic of probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034220$DF18804B-AF27-4EF2-81AB-7EA12360BF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034220$05A53824-922C-4944-B877-738ACFD18D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c54e34aaad3247566afdf06ea044b617ab385ef","datavalue":{"value":"partially observable Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034220$D3C20738-4F47-4BB3-88D9-EEC5B6678A42","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":"Q5034220$4633A13A-07AE-4301-896E-DC10DB2EE989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f729019250de147d74f1286501e9478fc213cc9d","datavalue":{"value":"W3096440824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$CAF8EBBE-B2A5-43EE-B281-7A995EF4E644","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"977dfe0dba8d37150714451ebcf1ec3dccb71cc3","datavalue":{"value":"Q130821841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034220$827F5EE6-29FE-4F91-9563-674F3A37E9B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b42ea544a6a916eae626034c4c899ad083bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":5015397,"id":"Q5015397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f841ee8d23ef82146c8574a8368254a633b5507f","datavalue":{"value":{"amount":"+0.99404776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$3DD7D4E1-9BC6-4B02-B7B1-BAF31D7AFFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094dc54eba64f776e1973a236627b8cba419ddab","datavalue":{"value":{"amount":"+0.9136515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$024253FD-3148-45D4-95F9-3F287FA86B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a6fc1c23a89182a2d11717b9e45e2ceff61797","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b935ec1eb087a3819198637c6734d35fc11faf1d","datavalue":{"value":{"amount":"+0.8922094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$5121E5D9-4731-4125-BE25-F60BA2E42B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46f2b0b4bde46d1b8d0fb393988c8667b544db","datavalue":{"value":{"entity-type":"item","numeric-id":5024714,"id":"Q5024714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378eb291df4cf18c6c50f0294c91ff6db4085324","datavalue":{"value":{"amount":"+0.891493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$818497F0-CBC2-49BB-8B77-51BA4C454885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964a0de9d90a23e2357bc2e4c7d91c3a559d651","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86a240c10a69151084a2ac139c8cfa275b03be7","datavalue":{"value":{"amount":"+0.88698083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$1B35B80A-273E-4D5F-ADDA-E4D010F986ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5718c4de4ce63463200edddba7359e0809bb63","datavalue":{"value":{"amount":"+0.88676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$A7909875-E478-425E-AE9E-F75B74494FF7","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":"80a23de9aec25902d4ef98b1fefd960f53c79eee","datavalue":{"value":{"amount":"+0.8856969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$64A0808F-6F29-478F-A267-E2A5B2220261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7082ee7b939f8d75640ad2f4fc4b031b100ffad4","datavalue":{"value":{"amount":"+0.88495946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5034220$386A877E-7401-45A6-A642-7EF20CCCD8E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic","badges":[]}}}}}