{"entities":{"Q3100906":{"pageid":3111621,"ns":120,"title":"Item:Q3100906","lastrevid":85775021,"modified":"2026-06-03T11:28:10Z","type":"item","id":"Q3100906","labels":{"en":{"language":"en","value":"High-level modelling and efficient analysis of randomized protocols."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5975919"}},"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":"Q3100906$D96EBE2E-6A4D-428E-B147-FE1B6C169840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"537ffd1b04b330de5ad9794ac07a8e1048467ff4","datavalue":{"value":"1237.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$4D15BA70-DCB5-498E-B323-4ED0B8385507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9f70e011dd38cd072b1fa0ee0387b555a916a7","datavalue":{"value":{"entity-type":"item","numeric-id":3100905,"id":"Q3100905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100906$A9B5BE1A-8212-4D9B-B910-587A67031D62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100906$14F3205C-A9CA-4F52-9DE7-C784EF75FB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8a2cfe2e2af741f25e68081f6049986f3fb90af","datavalue":{"value":"http://www.inf.tu-dresden.de/content/institutes/thi/algi/publikationen/texte/cie11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100906$1F4E09EF-D6E5-4E3D-AC22-876E01395554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$19F214FC-F827-4B3B-9C28-9E084006E7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$1873B5AC-ED5C-44D4-9B9D-940322D13A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$0009756F-4FFD-4460-B779-71A1ABDDB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$9AEC4B03-147A-46A3-A3B3-C3DD250311E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$C11BE58C-EE91-42EB-BBE5-F69D6BDC65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$AD3D7D4B-0169-4CCB-BCC9-6F4D5E2E4332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"208daa359f764563c0b4736dfe251df697e9c22d","datavalue":{"value":"60K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$9A094C10-E830-4445-9006-C0ADD644B102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$F9C77EC1-D46B-4D5A-AA5E-F295954859CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$CD9173D6-9AA2-4813-8C8F-8F05464D1B7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f5a83823977ca06520f24201c04e01765ca62e","datavalue":{"value":"5975919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100906$1CF35E0B-948F-44B8-B9D3-E037BFE5D1DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100906$672D9A92-1B62-4A21-AEEE-CF00174565F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8bb011326515a5f0d9eec3eb3cf17fad36da3f","datavalue":{"value":"modeling randomized distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100906$2C934413-EC8E-45F4-9420-E5880C765D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100906$A0293F40-3E54-44C4-B3B1-27BF78C22327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100906$50B5AAA1-ABD9-46BB-9D73-0E0296BA7DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100906$C2CBB75A-CF69-408F-9AF3-9B6D433B07BE","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":"Q3100906$BE2669E0-0BE2-4961-8A20-90192EED25A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e826a71ca0e28ce4b9415646b12f1570a23b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":2849998,"id":"Q2849998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd70b09202ce8ce5ac1ae768c3fac7b7e6eadb4","datavalue":{"value":{"amount":"+0.7957584261894226","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":"Q3100906$29F6A93A-FACE-461A-ABE5-BEF27D41D9BE","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":"3ded4b740682a433c7e42cf2b74917021876fcac","datavalue":{"value":{"amount":"+0.7945931553840637","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":"Q3100906$1C6353C2-CD5E-4FAB-B3F4-F2FFB704B03D","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":"b05ccb6387b92f3dc72fd06699084e831e4e725b","datavalue":{"value":{"amount":"+0.7694754600524902","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":"Q3100906$FD3F1BEC-C82C-4A17-AB6A-43767C075AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5212f68e8645da8a27a86a5b0e704c2aa6214dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9f54e11eeab41ed6f09e6b274145370f7fce44","datavalue":{"value":{"amount":"+0.7651248574256897","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":"Q3100906$C2953F7F-9E3E-4CC6-B7F4-3C292149C549","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":"25bbbb51c1a66cf5d4e8525334bf07169c4d22d8","datavalue":{"value":{"amount":"+0.7520183324813843","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":"Q3100906$9C26303C-D220-4B39-8B45-78D825B75326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"High-level modelling and efficient analysis of randomized protocols.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/High-level_modelling_and_efficient_analysis_of_randomized_protocols."}}}}}