{"entities":{"Q2956706":{"pageid":2967425,"ns":120,"title":"Item:Q2956706","lastrevid":52725293,"modified":"2026-01-23T09:03:20Z","type":"item","id":"Q2956706","labels":{"en":{"language":"en","value":"Model checking of probabilistic and nondeterministic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676192"}},"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":"Q2956706$A359273A-DF63-4153-A0AE-2F99090D6284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbab5529183727979684410aff14e4a4098ce5dd","datavalue":{"value":{"text":"Model checking of probabilistic and nondeterministic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956706$E5570F57-DF8F-4C5A-96E3-80C89F1693CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccd7d27d96295074f888692ec153620e5684473","datavalue":{"value":"1354.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$303459B5-4B61-4273-909F-8C3C8FA9927B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"251bdb8b8db2ff249af21c49e9b80cb235ea56d2","datavalue":{"value":"10.1007/3-540-60692-0_70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$8E6688A5-A8C0-4F1C-AD8F-E71CCC37A8E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb8b845fd77c5630e8e58dcfde6a69216ee5e39","datavalue":{"value":{"entity-type":"item","numeric-id":1017491,"id":"Q1017491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956706$3F221AB5-5475-4967-99A8-1130D0D241E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956706$8927DF81-E8D8-4797-8E7D-3BF1B3329B9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956706$52B740B8-FCBD-49C6-967B-1B5B84559485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956706$D6CEBEB8-7E93-4749-B018-AAC558E7C063","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$E5EC5E80-5046-49BB-8A98-893BCA0F4A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$DF1F1E5F-F599-46E2-B223-9D09AB6902D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78aaa8f23575af1b7fc53f25ab10ec5fb1d0afe5","datavalue":{"value":"6676192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$0A922BCD-8F87-4DE1-981B-E6FA0C6F7FB9","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":"Q2956706$6F661AFC-07C2-49CF-AC4E-052D5CE1DC69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2692ba87f7bc622d03ed58866232a42da92b2d7c","datavalue":{"value":"https://doi.org/10.1007/3-540-60692-0_70","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956706$9700EB70-570A-4AC0-A511-F0572A292A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"820976926519dad66d7ea9d24622a6e1fb7e9785","datavalue":{"value":"W4377077122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956706$8912008F-7959-4B19-98E8-44AF79A45400","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4265485c1153b3ddfcabd439d1c8358569a2b0e","datavalue":{"value":{"amount":"+0.8808093070983887","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":"Q2956706$59AE90D9-9501-40EA-8218-AD2028CD2290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aebd38ec7399f79d0b2d2f0f369a59a04ed8a47","datavalue":{"value":{"amount":"+0.8803851008415222","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":"Q2956706$EA176B96-4F83-410F-A2C4-656F38F2037D","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":"859c1ba2bd5ab86477a1befdd9c3fc85d0af87a3","datavalue":{"value":{"amount":"+0.8796513676643372","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":"Q2956706$33E512E7-FB43-4834-9257-55E1802A2247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28139c6597904d6fa5a48a63bd231a058e8c9a03","datavalue":{"value":{"amount":"+0.8767076134681702","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":"Q2956706$1DF31C00-F69A-49C1-9179-8ED0E89ECAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da88f1253fdb67fff95e2b857e74ac4fd8f9abd","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f20b0d960f0400f199cefa308ebd6da8b69065","datavalue":{"value":{"amount":"+0.8765466213226318","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":"Q2956706$F8BC9539-8DC4-4C3F-B01D-BBF1DC0683E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956706"}}}}}