{"entities":{"Q2105474":{"pageid":2116217,"ns":120,"title":"Item:Q2105474","lastrevid":43516435,"modified":"2025-07-30T12:10:13Z","type":"item","id":"Q2105474","labels":{"en":{"language":"en","value":"Model checking hyperproperties for Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629167"}},"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":"Q2105474$FB72D890-B1B7-4605-A28C-056897205240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e567cdb8f0bd0ea996192de32d2354481356d58b","datavalue":{"value":{"text":"Model checking hyperproperties for Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105474$8B396885-A868-44CC-BB23-D0A4DDC46037","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edd4e9ceb648426cb5dc813feceeeef6b37b366","datavalue":{"value":{"entity-type":"item","numeric-id":2105473,"id":"Q2105473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$CEC930ED-238E-48C9-9363-5769F1494871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$3CBA2231-47EF-4049-8642-A7F3F8946B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$BFDF94E6-9BA1-4D1C-BC9F-30847225CFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$73C4CC14-EB1B-45D6-BE48-0BC1D7A18B71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$30CD0B32-873D-437E-BE85-31B4DE48C607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105474$BF6EAA48-CD1A-4A96-AA00-5AFE7943347F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105474$0092323A-A2E9-4F13-8657-F75218085875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73aad66d3e02509e9378f39b05f14f50fd43e660","datavalue":{"value":"7629167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105474$2BF2A424-4115-4BE7-9953-D5A5B3DAB718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c973f8c4ff0aafd5a38f067c67376a15b02bb056","datavalue":{"value":"Markov models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105474$D84FF654-C3C3-4CC9-AD58-7ADFAB1365B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105474$B7B35797-FA0C-450A-A7F0-1EFFD99636C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105474$EAB1CBB0-4D70-4EB4-8551-F56F49AF5676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e92b991a3e77760278e192ea7f3156cc3515a8","datavalue":{"value":"policy synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105474$566C8DCF-E69B-4631-935A-5548141BF3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81b30c1b40c38415c32349729a757dca2487f9a","datavalue":{"value":"information leakage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105474$5501AB50-3A59-4013-B77A-C374274611AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$7BBB72EB-9FE6-4638-B7BA-663F5B4BBBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$F8038C71-3FCD-43A2-B0BD-5AF4346081A0","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":"Q2105474$667E8126-69D8-4B37-851D-4C5F5EA30D8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4ab80740157091363d6888013d3f1b095ee743b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2022.104978","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105474$9CD8F5A6-A2D0-4FC9-9D76-052BE5131673","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7453477a5bf0004d9dcc4d46f1b33a5aa3a68907","datavalue":{"value":"W4307454606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105474$F8D4E1E0-47D4-4321-A52E-1F703D60E26B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c729f19c206aef7d93f6024c130250035132a5ec","datavalue":{"value":"Q124212460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105474$DEBA43C2-A16C-4712-82D9-409F902880FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$072898DA-C9DA-461D-A2F2-1BB36618162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$57494B9D-2A5B-4C7D-A50A-FA73CF96213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0694cdc39b22e204737c487ba74f53cbb8e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$B5FFCA43-FE10-49EC-B5A0-09A9258B29B3","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":"Q2105474$42D79112-4BE4-4EAC-B043-B09C3D9F800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c48d8cd6bba60ffb5d8648f74e1189d23ab35","datavalue":{"value":{"entity-type":"item","numeric-id":3190360,"id":"Q3190360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$B42CC79A-D211-4472-B6D1-F1DC4734827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2de4e7d4a64cec0b81a66df673db8cd9c23954d","datavalue":{"value":{"entity-type":"item","numeric-id":4178385,"id":"Q4178385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$F49ADAB2-C73A-4932-8107-94B52F8E0E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6fd548d2fcee7d2a8e61c309ab1753146962a","datavalue":{"value":{"entity-type":"item","numeric-id":715046,"id":"Q715046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$9FC02940-41DF-40EC-BBB9-4F850EAD59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc03c3f85962ea09495b4b937bc187e5d206f48","datavalue":{"value":{"entity-type":"item","numeric-id":5458366,"id":"Q5458366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$EE4097B9-C239-432B-8B5F-3C634F82F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$36506775-7925-44C7-B820-12A8FEF2683F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7307bc2d0d53679a504e4d1569b07360d86d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$E7535E92-EB68-4023-AD13-38C5D84AE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b236c38f6227a0534d2d5916ac862f5ac165be","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$41D0AFDC-5C33-4A29-9F0C-FAF74BD9A19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$509F4660-2D3C-4AF5-AD91-540910927442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$CD2AF91D-481C-4EFB-8C81-6C588E7F83BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668509da96d3dbde15b6fd335a9c25e625530b4d","datavalue":{"value":{"entity-type":"item","numeric-id":3297603,"id":"Q3297603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105474$A1034662-1A2C-41A9-88D3-89463FE159BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17b7ef09bc8ab60c2707c38429f8f594c47a30fa","datavalue":{"value":"10.1016/J.IC.2022.104978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105474$279061BB-2CE0-488C-8C0B-DBF83A8F3420","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb0a59e013fd84ca2242017b51573179d092398","datavalue":{"value":{"amount":"+0.9212841","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":"Q2105474$D402A1D1-7096-4DA5-80D5-C47584038520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bdd692c228514c0d2b5f116c4dd68da6ba55ab","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949917ffc64db665d2f3a44450a2387b14b2dc73","datavalue":{"value":{"amount":"+0.9084219","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":"Q2105474$804212D7-182E-4196-9D0D-5F68A50494C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49eaf73ddd65bcc0c361cb9aef2d62d5fceade83","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b9d8dcd672de85579c3a79862c5d512ab5b1b7","datavalue":{"value":{"amount":"+0.9060451","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":"Q2105474$040FEEBD-6096-4C83-97BC-AA621FC7976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf14b2fe8d7eeaec2be31bff92044513eb60a6","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b9d8dcd672de85579c3a79862c5d512ab5b1b7","datavalue":{"value":{"amount":"+0.9060451","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":"Q2105474$B78E0CCD-8140-4B50-9495-6FF6A2FF90A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8d2ad8fca055e9fd2bfa74ac6d01129feb3b73","datavalue":{"value":{"amount":"+0.90217435","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":"Q2105474$2846F973-6E2A-4A7B-BA00-682DA3304BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e583d9dc19b7fcafa7a6a4dd36cb4ca4b37e9","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a196970920df09bc4737d37b1f5b6a3575a2947","datavalue":{"value":{"amount":"+0.900442","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":"Q2105474$F6EF7396-0D96-4C89-A0A5-FC43F0126FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef70bbdfca881be12716d8cf3dee40109d9c513","datavalue":{"value":{"amount":"+0.89554393","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":"Q2105474$E4BA6951-3697-4480-B4F1-E50CC06EBC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdb19450e290e9632985dc3e940d1b4eb0d2638","datavalue":{"value":{"entity-type":"item","numeric-id":6060096,"id":"Q6060096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e0609b3130ac5bb907d401847fac5482d5fa1b","datavalue":{"value":{"amount":"+0.89327973","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":"Q2105474$E9F7C27E-3774-46DA-8491-92C2C15C199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4407d950174d5b15418720c8e121385797aef65b","datavalue":{"value":{"amount":"+0.8922203","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":"Q2105474$7C10277C-8546-439B-8B44-64F689719557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105474"}}}}}