{"entities":{"Q2810974":{"pageid":2821712,"ns":120,"title":"Item:Q2810974","lastrevid":52548056,"modified":"2026-01-22T22:43:25Z","type":"item","id":"Q2810974","labels":{"en":{"language":"en","value":"An inductive technique for parameterised model checking of degenerative distributed randomised protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589710"}},"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":"Q2810974$7D008C04-E16D-48F3-AF4F-FFD17305C9A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e153b1d62a84b1a506f91de0c04115243e694c10","datavalue":{"value":"1339.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$4EB6404C-CF8E-45A3-ABE4-85D512DAED03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b749e56889ebb5125a92799bc31756bb0f3a18","datavalue":{"value":{"entity-type":"item","numeric-id":2810973,"id":"Q2810973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$8FD73BBB-280F-42D9-8945-D757BEE94CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7ed6d23cdc0805c7198a684725f1495aa44d7d","datavalue":{"value":{"entity-type":"item","numeric-id":714862,"id":"Q714862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$1CCF45B8-799F-48D2-AE84-D9120A42354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$517F7BCF-B6E3-4A96-A654-EB3D85471DBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$956B08F2-D5BA-407F-9608-560FEF120624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810974$6C62698C-9710-4E41-AA12-C971A29719EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$1ACE74E7-DA0C-4CF8-B2F7-2BE257BC2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$449BBB53-6E44-445B-B680-41422DF6F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$7BBFE522-85FD-401B-8B58-B807E4498E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$1F6B480F-0E91-4F5A-996F-79527336D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$2FC5DEF1-9171-4D6E-B7E5-C3D44461626F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"535be05da5b3d08b11d9fa04a7ef7661dc57a88e","datavalue":{"value":"6589710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$DED3B45E-659B-4E94-9AB4-1157784A55C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810974$12B5CBAF-3C62-473A-969C-DC75C79FAC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ecaaaeca1fa583d0c8eeaa3df77f8b613e5eea","datavalue":{"value":"parameterised model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810974$07A6678A-101B-4A91-9C82-5AC0745C8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e125aefd40c9902d24f579146927519a83d2e180","datavalue":{"value":"degenerative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810974$F7B5DA49-3A1D-43D5-B622-1CA14476695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f993c3800a604c1a6a8399ee198a430237187fba","datavalue":{"value":"PRISM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810974$4DF10014-E45E-46A6-A7F5-5EDAD1FB732A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2115b40d8871c5c7268183e10d1529518ae10ddb","datavalue":{"value":"Q59675351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$4CF7E970-1751-4962-9A31-C21F06C8E374","rank":"normal"}],"P1463":[{"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":"Q2810974$DAF14450-9148-43C2-98C2-7CA9B4D6217F","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":"Q2810974$CE77CE75-9FBA-4FC0-9578-B8541BAAFC57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cdb84ce80942f3d11a85b9591dea2dc7bb94208","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810974$A70E0F4D-ECAD-4636-92CF-E00A84F0A7A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f97982fee32f805689ab9472ac0544d3be114ec","datavalue":{"value":"W2146735017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$3630FD85-400C-47AD-B492-D46843470B6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ccf0b35dbbae2a0a0f1608b875847d0786def","datavalue":{"value":{"entity-type":"item","numeric-id":4417853,"id":"Q4417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$4A2DD4A4-8995-4D9B-BCC3-935B75C6486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$1E434A5C-9771-494F-8292-5FDACA8AC348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287c6ef99521600e44be7da2c6da23741f16237c","datavalue":{"value":{"entity-type":"item","numeric-id":1402474,"id":"Q1402474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$E99C0EFF-B276-41A1-BA22-F7C82DFCE48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3cfa5cbc29a490fa9eee5494235cfa87d81ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3522889,"id":"Q3522889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$CF596B20-F158-4B58-BD41-EB2D8C2C948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744e75762091d6007cac0c3293e39d6226604edf","datavalue":{"value":{"entity-type":"item","numeric-id":4436055,"id":"Q4436055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$BC39E24E-64F5-4260-BDB4-B2C71E3145BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c4ef2c9489180d0debd161e091f6df4acfc913","datavalue":{"value":{"entity-type":"item","numeric-id":918187,"id":"Q918187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$D693248D-BED4-4F64-99C5-0FC28F28B500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$761A5604-AA1D-4679-99DF-7AE777873105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c877841b2c9b2cfab97814915e1e67ba82256c","datavalue":{"value":{"entity-type":"item","numeric-id":5325843,"id":"Q5325843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$DAC67668-97E4-4617-B95C-61107B78F6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$454C7541-EB37-4355-A38C-A81858AEC125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$30F1F49B-5974-4231-A5A7-C565965DB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2555f3043f48d8ba2b8b0fffb670cc33cdfd1080","datavalue":{"value":{"entity-type":"item","numeric-id":1402480,"id":"Q1402480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810974$90AB708D-802C-4D52-A052-C7B48C603773","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb4abe768b1cae3d9fef058e5d43fa9a9bb67ca3","datavalue":{"value":"10.1016/J.ENTCS.2009.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810974$704A3483-81B1-4722-A821-744DC105AD40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a765a345076b8db1eb9134b64e3f6687ea777ed6","datavalue":{"value":{"text":"An inductive technique for parameterised model checking of degenerative distributed randomised protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810974$47520667-2B3F-4748-869E-5985CC094753","rank":"normal"}],"P1643":[{"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":"098a269a8fb9152b5f12601efaadb35d93be0fb5","datavalue":{"value":{"amount":"+0.792047381401062","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":"Q2810974$04E9FF27-8A39-49F7-818F-7DC1B8AE7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b122e9ae429862cbfdc8781dd9f68c8f3a83f1","datavalue":{"value":{"amount":"+0.7596946954727173","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":"Q2810974$592B641E-D9B5-444E-BB34-CB5C923CAFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed16637561c63018bc2de4a64d4042e4889c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3100906,"id":"Q3100906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324b8fc0f67024b95670ed46b44ed901c7dd1350","datavalue":{"value":{"amount":"+0.7518811225891113","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":"Q2810974$EA7B8EFF-0A07-4DDC-AFF6-3694C8456B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8b75fd2eb63dd1577859d25c3bc638eb2f871","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d217170bd318c48e66ca58a279bb32b1c2e6c35","datavalue":{"value":{"amount":"+0.7472336888313293","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":"Q2810974$9F49E763-78E0-4FD9-8A1C-B972B3AEA8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8727cea6aa4fb4881a31d6a2331b2a9f0ded7d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3296338,"id":"Q3296338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d4dbf35e136a5ea4b959fb5fb1959be228a908","datavalue":{"value":{"amount":"+0.7426044344902039","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":"Q2810974$71257A66-0A82-4AB8-A60B-7E162882176A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810974"}}}}}