{"entities":{"Q2226750":{"pageid":2237493,"ns":120,"title":"Item:Q2226750","lastrevid":78348770,"modified":"2026-05-06T11:22:49Z","type":"item","id":"Q2226750","labels":{"en":{"language":"en","value":"Checking qualitative liveness properties of replicated systems with stochastic scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307974"}},"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":"Q2226750$306FA9F7-9A68-4473-B1F9-589A93BAEAEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03642f89ebfffb4e8e81c2f41fb061cc32a628ab","datavalue":{"value":{"text":"Checking qualitative liveness properties of replicated systems with stochastic scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226750$FE7389E7-13ED-476D-A2ED-12C3117DAEDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"027351a04b41834a4acfb1028d5894ade35031d6","datavalue":{"value":"1478.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$694AF751-D194-4F47-937F-919E937E0CE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"185a82c792e491a116546231778bf4b8af850584","datavalue":{"value":"10.1007/978-3-030-53291-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$48DE1385-C705-4E5D-AB84-CBD5C6C55209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$CA9D9E32-9C71-4305-BA75-80502B3387B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$BF59A9B6-922B-4E95-ADBF-099D85C38273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9804fa0356f21863fa0bcb99a0fad45ec486f42f","datavalue":{"value":{"entity-type":"item","numeric-id":2112138,"id":"Q2112138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$7BCD8D46-D35B-4A1A-8CC9-9EFC0D1B29A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$BDD15533-DF17-43E0-986A-B1997348A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b09720296daf40b637185fbc6963a5c4e6f90d","datavalue":{"value":{"entity-type":"item","numeric-id":2058385,"id":"Q2058385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$57F07589-AEAA-48B2-9206-6E9B78A2FB3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226750$4BAA043A-B422-483A-BC3A-3D817DA584FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5508d256cb804fdada9cee9b15013453a6b4e71f","datavalue":{"value":"https://arxiv.org/abs/2005.03555","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226750$A1E6EDAC-8CF1-4870-B105-80A7FE50F9A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$730B0D01-4C41-4FC2-8923-161A078F64B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$01065134-AC86-49BE-A04C-4C38B5B7267B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$A2DA0A9A-E9E0-4333-A15C-BD139598A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$BCAB84A6-709D-41A0-A030-F129733B521B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b315d813ca6b7fe9f11d1a5d8e678c817c7ea8b1","datavalue":{"value":"7307974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$C2AF8751-456B-42F9-8B33-A7FE9861A978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226750$54555C33-B537-4735-B672-6B7FEA5DEB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226750$689A40F6-8BF1-4416-8C07-423830B15211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226750$9A5E5AB6-0F07-4A03-86D9-E9FE7E92B0DD","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":"Q2226750$11C2790F-54C8-4AE3-8B70-83ED7F9532FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8834f0c8bb6f29f36b5b0f2ba7bc921a2b20767","datavalue":{"value":"W3044998661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226750$7CAB3702-845D-437B-ADEC-416E98094F54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f00512be295247a050466802f89abac6b45faa","datavalue":{"value":{"entity-type":"item","numeric-id":4633552,"id":"Q4633552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fa7b5e6810785c46a0d5a16e6ef34c21e22149","datavalue":{"value":{"amount":"+0.7646697163581848","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":"Q2226750$3A23C7CA-8073-4CAA-9AE1-807E7675AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c3e3a4c3d3170926a05064c5427c69f2a9ff06","datavalue":{"value":{"entity-type":"item","numeric-id":5896952,"id":"Q5896952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd1836672476bb1ed971c6966229de44cb31f39","datavalue":{"value":{"amount":"+0.7225372195243835","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":"Q2226750$8618843E-37F3-4560-B204-8D00782785C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb9e4711e55effcf8b6f0f672f5db81f5e070d4","datavalue":{"value":{"entity-type":"item","numeric-id":2676223,"id":"Q2676223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b501a6457f43f564b2d410acc9eeaaa936d279","datavalue":{"value":{"amount":"+0.712651789188385","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":"Q2226750$53E8103C-0017-44B5-A967-7F31DDAA6698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3f9901c0ab86678ea5f472d3345deb00f0157c","datavalue":{"value":{"entity-type":"item","numeric-id":4636574,"id":"Q4636574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5495ed031e75b193b29a081ed5ee119d667f34a9","datavalue":{"value":{"amount":"+0.7074869871139526","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":"Q2226750$F5C57345-A961-41A3-9F1E-6AA7B79750EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8cced7c0637e7503264498c6c8710b4e669e3","datavalue":{"value":{"entity-type":"item","numeric-id":4417853,"id":"Q4417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab16bed60c1c701c01518d548e1d884a4eecfdf","datavalue":{"value":{"amount":"+0.7026322484016418","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":"Q2226750$7B7F1698-672E-475A-B987-1D3178ACFC52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226750$8F1063DB-E796-41FD-8B21-C7D99E779875","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking qualitative liveness properties of replicated systems with stochastic scheduling","badges":[]}}}}}