{"entities":{"Q2908866":{"pageid":2919591,"ns":120,"title":"Item:Q2908866","lastrevid":79544576,"modified":"2026-05-06T14:09:59Z","type":"item","id":"Q2908866","labels":{"en":{"language":"en","value":"Model checking concurrent programs with nondeterminism and randomization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073546"}},"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":"Q2908866$B6309BE2-E5B1-4430-8A7D-BD0B323C760D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b697249db6cc139aba98dc3b241c0a6d9808919","datavalue":{"value":"1245.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$862B776B-141E-47AD-B79D-205436689CB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908866$1B224D4B-F337-4D8B-8653-1C268A465A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48bfd5c3f36dd2ce1096a466e93c3a154aa465b9","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_b84b.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908866$A81B48C4-B19D-4F76-B740-1602A68BC8E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$717C32A0-B58E-438F-A44D-3EA9C17E2E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$314DD728-460D-464F-8612-0EBD5D08129A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46266e7e417aa9c12be323775f623ee0601761c3","datavalue":{"value":"6073546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$995AAE0B-9997-433A-9FB3-6F53F4899379","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da69cfe7e10b0b9ba2e6570884c993bc2162874a","datavalue":{"value":"view consistent scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908866$8F3BC6DB-EAF7-4DBE-BD18-3CE46DACB093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612b7c68334f8d3bb6016895c4bff7f539abb78d","datavalue":{"value":"locally Markovian scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908866$FC2DC2EE-7530-4AD1-B92F-68ECC010C71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908866$8AA25A51-48A0-48BC-A118-318570C8D1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731bc61ee730a4a0d7a8ee25fad475b5ff252ce7","datavalue":{"value":"probabilistic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908866$F1A0A339-8CB3-4285-B22E-D1C31502B155","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":"Q2908866$10432F61-7A63-4B04-B73B-636779A9CC99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9247c2c408ac31c245ea121e070cacaf1ce6c173","datavalue":{"value":"W2117091339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$B6FD6BFE-D50B-42EE-9506-2B827713B6B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c29a3de9bfc4f5cf4742482b8c493ab9558cbf0","datavalue":{"value":{"text":"Model checking concurrent programs with nondeterminism and randomization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908866$DB5B9F4A-1661-4F97-8BE8-6B418E3EE943","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"845be6e77c58e2db32b68df5eea88bd812866f82","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908866$1E9F2EDF-AC00-4D74-B4BD-2AF7DC3D680B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384d0461129b43d99cccc50cf9a47b5166e1170a","datavalue":{"value":{"amount":"+0.9231141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$82B52DA7-413A-407D-8D72-E3E131492467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a537fc0a1e5caabb38b654317b6efccfe1f45219","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d26f34a2d8947ab52b47060b3854ccfc2cb9155","datavalue":{"value":{"amount":"+0.9131105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$19A7ABA9-C246-45DE-BD67-BF119778678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af64b02f87f5f52ac1a307870c719c32a092abfc","datavalue":{"value":{"amount":"+0.912711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$B7548C82-DF1B-42BB-A0AE-A4BC2E88A9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b0422d4e4613a43177f8096d76c9268be878e2","datavalue":{"value":{"amount":"+0.91171956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$85D84960-145C-4EA4-80D5-096C00978DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab3cfc5ccf1c2a3e4814d5ac0d40c2d339527d","datavalue":{"value":{"entity-type":"item","numeric-id":2958531,"id":"Q2958531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300d2ef67369639852e53c4c7643f6a20f93172a","datavalue":{"value":{"amount":"+0.90019435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$3254337D-FD4C-45A0-A1BE-1630E7D86B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccf014a372ce69ca606fc1dd6db9bf83179f053","datavalue":{"value":{"amount":"+0.8991604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$C30B88E7-7DED-46B2-87C0-0554E2EAF972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd58e35ea0d94431e12848661293797dfb8a91d","datavalue":{"value":{"entity-type":"item","numeric-id":6109590,"id":"Q6109590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb9432738a1182292785b62918ba302df3be7b9","datavalue":{"value":{"amount":"+0.89582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$7B9EBE72-020A-4E46-8665-57C3502300E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b0956cf91f3e37f4dc3e5b3a4d48a3d86de3b2","datavalue":{"value":{"amount":"+0.89268535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908866$A6725278-8568-417A-A713-C5C8255FE014","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908866$6B71C192-E740-4031-B71F-D147D9C25347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc5834f906146fae1ce1b9652b327f211543e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1343861,"id":"Q1343861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908866$67303D97-7355-475F-A5CD-D6E5F2E558CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908866$BD3ABE2E-1613-4A20-82F1-7D17A12D67D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking concurrent programs with nondeterminism and randomization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_concurrent_programs_with_nondeterminism_and_randomization"}}}}}