{"entities":{"Q2894279":{"pageid":2905004,"ns":120,"title":"Item:Q2894279","lastrevid":51501113,"modified":"2026-01-18T13:01:07Z","type":"item","id":"Q2894279","labels":{"en":{"language":"en","value":"Automatic verification of competitive stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051094"}},"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":"Q2894279$E5EFF579-1F1F-4819-9C28-41787F1FD92B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0816feca8a9147d9838043b4ddae0e3d6437f347","datavalue":{"value":{"text":"Automatic Verification of Competitive Stochastic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894279$D31BF839-7F82-494C-A3F4-2AAB44939226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82bb52a4a1416262b6ab12e9ee0877e74f8709b","datavalue":{"value":"1352.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$D3D0D701-C988-4ED3-A7EF-56DB55291849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31ecdfa9190e165c8d2924056731943026f47b30","datavalue":{"value":"10.1007/978-3-642-28756-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$552C8C1D-B6D6-412D-9D78-9E50B17E524F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$9820812C-61BB-40A7-BEA3-03F24BAF0637","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894279$DCB91F4E-2DF2-4533-8CAF-0CD5CFB47E24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$FA4BCD03-8BB1-4318-A67F-F321F74692F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$6DD65623-39B2-47DA-BFD3-C905226EDF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$7B5976C4-618E-4595-AFB5-D2688FE60795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$0A0BBF0B-E085-4D77-8856-CEABA5F6E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$E9CA3BCB-85FC-400C-8AD6-8FB89FCCB55A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d334d95f6a35eaf94b2d49c34c987be92ad806f0","datavalue":{"value":"6051094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$E727B52F-74C7-438E-818C-FF9B942D0CE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34aa41cc588a03d8174545e805fc9cc969937f8a","datavalue":{"value":{"entity-type":"item","numeric-id":21855,"id":"Q21855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$B7781A88-F018-40AF-8930-E708FC5C0EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$8A5DC5B8-413B-45BA-BC37-67CDA798A1F8","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":"Q2894279$138834E6-5F4E-41FA-A23F-F9EBC87AA385","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":"Q2894279$479F4D16-CD79-4661-B08B-A6950E474BA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8508af9c24410549123c4fa0306d55eb5bc5eee5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894279$59C72907-DDBD-4517-A147-A60B5721BF1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a7143f924ec670d6420a94721a576fcdb4d117f","datavalue":{"value":"W2109756477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894279$BECB05E9-F143-4473-B403-88815DFA3EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$0DF6153A-0966-4360-BB83-925284C36CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$156516AE-496D-4024-A5B4-3818A222E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$88275749-DCC3-4751-80DD-A8CB0823C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb59c023eb1ef5529536baede1d4d9c62465c33","datavalue":{"value":{"entity-type":"item","numeric-id":4139715,"id":"Q4139715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$BD27646E-9D6E-439A-8ABC-1D1E9384F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"554cd83a1f8fded9b25ac2020ef4640fcac5f5ae","datavalue":{"value":{"entity-type":"item","numeric-id":1994416,"id":"Q1994416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894279$B782C775-5267-44EA-A932-13DD4D8D214D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2eb5b630e8f79eb1037d961943775226b09ea","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954949ee3971428c8140a3dfe39d89af4c1c2ec0","datavalue":{"value":{"amount":"+0.9928827285766602","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":"Q2894279$82B0BD4B-EF01-452E-9984-6C574E6A9806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08779ddd014f289b27a34923fa30c66d069b83f3","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90396907a6f09dfa3d0e5f78aa686080155b643","datavalue":{"value":{"amount":"+0.8801156878471375","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":"Q2894279$D598496A-5E65-4FE2-8821-E9A7BA125FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539ccc63ee4a40b605866377cf184bf3f068e884","datavalue":{"value":{"amount":"+0.8657413721084595","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":"Q2894279$83205ABB-9286-44AF-BB97-099BCB0FF0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab8b6e1c449d9a78a77fca1d5df7143d9cf4798","datavalue":{"value":{"amount":"+0.8498703837394714","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":"Q2894279$C1A66838-A9F3-4397-81DD-6B066CD87509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dcd60b477378e7ba47c96b0a3d1cb3af908fc5","datavalue":{"value":{"amount":"+0.8394222855567932","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":"Q2894279$1FDDDE0C-2AE5-48FE-A2EA-CF367436A07E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894279"}}}}}