{"entities":{"Q5194932":{"pageid":7224504,"ns":120,"title":"Item:Q5194932","lastrevid":53532896,"modified":"2026-01-25T04:48:21Z","type":"item","id":"Q5194932","labels":{"en":{"language":"en","value":"Investigating parametric influence on discrete synchronisation protocols using quantitative model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105890"}},"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":"Q5194932$74EBB5D1-75C2-4F34-9DB4-800A74591290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"762dc8a5c280fb353402c41084ab8f0886660bb6","datavalue":{"value":{"text":"Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194932$E2776C04-A35D-4DB9-B5EC-BAEC858349A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d634cd85f86beb5ee373bdd089206a11e2f470d1","datavalue":{"value":"1420.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$529DEA16-7FBD-4708-BD5D-CA590032F4B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd602112b09be6b5c42bf0709714342df94e6e3c","datavalue":{"value":"10.1007/978-3-319-66335-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$91AE0E65-9779-426A-90E8-52E73E4F6290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194932$7F786F99-2C2A-4161-BB14-D5F6A62B22CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194932$9E35EEFC-F0A2-46EE-A966-91AAFC628F9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$06006088-2CD2-460A-9494-509209F031A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$38116EE6-DA67-412A-B5B2-C9605B10AF57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de75486abe68ec227610fd82df98dfc21f60339","datavalue":{"value":"7105890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$21A82C0F-529A-4D89-BC61-6DE22AB1C041","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ad76d5efe1e9cb7b4d47480a6cedc084ad58547","datavalue":{"value":"Q98283356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$292FED8C-A217-472F-B65E-F56D928D550A","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":"Q5194932$CF9A39BB-B52E-4132-ADBF-193DAFBE5A7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fd51a64f99255a1062d086a2ddc0208f6ab275e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66335-7_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194932$4456261E-8FBF-4A54-B9D2-B9B5C4652515","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3167b1c2bea7a8356e2230033b4d92d4cff5860b","datavalue":{"value":"W2744826141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194932$51DDA73F-2B95-4244-8025-BFE053A56C10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb05cedd64ba33f979129c093edffeb77d2965","datavalue":{"value":{"entity-type":"item","numeric-id":969176,"id":"Q969176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d8bc3437b03463a6324c949e58f36df5ea920e","datavalue":{"value":{"amount":"+0.767752468585968","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":"Q5194932$45BD5146-FABA-4956-BA94-38110FAE4CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4629e7986e0aecb7138f64f85c488d5c4c521eb","datavalue":{"value":{"entity-type":"item","numeric-id":2225471,"id":"Q2225471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cff8d970898ea297191e4223b821e064ecf3752","datavalue":{"value":{"amount":"+0.75372314453125","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":"Q5194932$A15E3FC4-40EB-459A-BDE5-FE7B38BD4023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e49eeca7c2fc2712a85e035882bb524e1f318ed","datavalue":{"value":{"entity-type":"item","numeric-id":5404073,"id":"Q5404073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a9b1148a746c31124bb470f54c8be3674d3a9e","datavalue":{"value":{"amount":"+0.7413777709007263","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":"Q5194932$D8333255-DF5E-4A72-9776-3AF0E90F54BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f90b06c1b06c93f112c6172f7d18b03feb428f6","datavalue":{"value":{"entity-type":"item","numeric-id":4891755,"id":"Q4891755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e6f6a127ea7f27b4a00e8dfaef65dd227472c7","datavalue":{"value":{"amount":"+0.697388768196106","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":"Q5194932$9C45B279-9DD8-49A4-9995-70874D8E5B5A","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":"d4e6f6a127ea7f27b4a00e8dfaef65dd227472c7","datavalue":{"value":{"amount":"+0.697388768196106","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":"Q5194932$8A3BBD3D-82F6-4255-983B-ADF14DE1DF0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194932"}}}}}