{"entities":{"Q2949442":{"pageid":2960162,"ns":120,"title":"Item:Q2949442","lastrevid":85396355,"modified":"2026-06-03T07:55:03Z","type":"item","id":"Q2949442","labels":{"en":{"language":"en","value":"Compositional metric reasoning with probabilistic process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487995"}},"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":"Q2949442$76199BD4-481F-4AAF-A836-BF801A10D0CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"341a0b6687ce5b9f4cacc54ea454069b2adf57cc","datavalue":{"value":{"text":"Compositional Metric Reasoning with Probabilistic Process Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949442$6E2A4E7C-12AC-485A-8C6F-BFC87C53B7D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9e7ac50fe96f1573984df02ea78fb5e2e41329","datavalue":{"value":"1459.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$D399796F-F757-43E3-9EBF-BC87786C281B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7c89397221e2195ff057696035021ab6e298aff","datavalue":{"value":"10.1007/978-3-662-46678-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$5D0177AF-7E2E-4871-B338-4FAD629E4E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949442$10C8D6B2-067B-4D46-BF8E-7AB17DD1FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949442$67CBD634-F2E4-4E60-AC9E-5AF5C0B53B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949442$9814AA61-A9F2-443C-BF3F-EE84094E3C5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949442$7E01F863-EE74-4179-94A0-550B074E946F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949442$92BD4B92-5E40-4CCA-96CC-870E92DDDBBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeeb2f3ef3bb5f528cca49c864ad4f5244a46f69","datavalue":{"value":"https://arxiv.org/abs/1610.06162","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949442$582BF576-E548-4851-B2C8-48A3AE4C275D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$F7626FE6-04B4-4799-AD7E-F0978497257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$FE982AB0-B8C3-4599-8AD0-2AD2AB63A388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$EA9F8622-9534-4FBC-AAA9-207D1E9E1ED0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"583f9196e5fc0647071008dd3b72020aef502f1c","datavalue":{"value":"6487995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$07BE427D-5A2F-46AA-A4BD-D09FE12D2791","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":"Q2949442$AE8B2A81-6B81-4A1E-822B-AF95013D94C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f317f33d6697b627355d7b4b2b58a6c49bdd5207","datavalue":{"value":"W2287341768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949442$5B67FB56-F787-452F-8915-446B44E99C3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c3ad93a50c4ce01f9385445f5d77f5e4197dab","datavalue":{"value":{"entity-type":"item","numeric-id":2974795,"id":"Q2974795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c980c84d69de96b7b9ee33e76a74a99411d34ee","datavalue":{"value":{"amount":"+0.984036922454834","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":"Q2949442$4B1AACFD-CA38-4610-877E-C4F75C3DCC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5abb5c5f2b2ccd5a598bb644d2134ac581f50","datavalue":{"value":{"entity-type":"item","numeric-id":4995155,"id":"Q4995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eee9bbfd006a3b0019111790bf9a5357c751947","datavalue":{"value":{"amount":"+0.848401665687561","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":"Q2949442$212493DA-C1BD-49F5-A529-BF80086A0582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bcd5444ac0bf7c32afacaa946934b132abbf98","datavalue":{"value":{"entity-type":"item","numeric-id":5310651,"id":"Q5310651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dad17ac6b0bb6f253c9b37a60f09dc217b7482a","datavalue":{"value":{"amount":"+0.7942926287651062","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":"Q2949442$3580581E-2483-400F-928B-19AC1EFA6FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1db0dadd54254c0f34b4e25b6d8ae947e316c99","datavalue":{"value":{"entity-type":"item","numeric-id":5357701,"id":"Q5357701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa50bb9640335ec7154156c16627eaea4d5983b","datavalue":{"value":{"amount":"+0.7902336120605469","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":"Q2949442$2523CFC8-4966-4337-986C-0B1E32B32BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af9599b8ae1859f5a2220f8c82e179b9787dbe2","datavalue":{"value":{"entity-type":"item","numeric-id":1678172,"id":"Q1678172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ba15439bcdfff573cc69a11db8d5d5ea6b123e","datavalue":{"value":{"amount":"+0.7757973670959473","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":"Q2949442$940FC3BF-9163-45F5-AEBF-B98AAEC7E0C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional metric reasoning with probabilistic process calculi","badges":[]}}}}}