{"entities":{"Q4965870":{"pageid":6995449,"ns":120,"title":"Item:Q4965870","lastrevid":58369005,"modified":"2026-04-04T22:18:10Z","type":"item","id":"Q4965870","labels":{"en":{"language":"en","value":"Model checking probabilistic real-time properties for service-oriented systems with service level agreements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319045"}},"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":"Q4965870$FD12C118-0BA9-4EEB-A0A8-E86D840518B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbf0171988f07061f5d1eb22833080f372ef66fb","datavalue":{"value":"1457.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965870$95E8CAE3-F82A-4180-9F2D-B3C4552EE28E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b95012edfb330af432b65fe252c46d99aeb72ab","datavalue":{"value":{"entity-type":"item","numeric-id":608352,"id":"Q608352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965870$203AE4C7-55C6-4037-BACF-2885EA2DF794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965870$DD090597-B1E7-4DC5-BCD3-3917000A68C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4965870$AECEEEF3-5C58-48FB-956D-40A7F6D88328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"587b978c4c7aab3720174972aaa1d2af5c455ab1","datavalue":{"value":"https://arxiv.org/abs/1111.3110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965870$0F46B922-B75B-44DD-950A-F9C7B40561ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"275e169c1d41bc21c878b2951d86965406c9dd35","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?INFINITY2011.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965870$F0A0807B-5AB0-4F79-8BD0-F2A306AB07B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965870$CCA72025-617C-4FC4-BD1A-83CB8F050DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965870$9D35ADBC-DFA6-4556-ACA4-1D2C2A425174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965870$6ED2E250-3F87-4C86-8C51-6B8384A7AC31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0451002fdb1fbea5908b49e08d12c9e1eac2719e","datavalue":{"value":"7319045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965870$3F39AAD0-DB87-482C-9E8C-CDDFB95C1174","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":"Q4965870$D17C209C-71F3-4CC7-96E9-5FE314EC1AAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c599d9a5012d6cd4101ceb1db890618417e9c1","datavalue":{"value":{"amount":"+0.7275360822677612","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":"Q4965870$EADF9930-79B3-4D34-B247-C622CCAFD55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3da139476998ef98e8d954718e2da41af102a0","datavalue":{"value":{"amount":"+0.7104069590568542","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":"Q4965870$C0062E4E-2044-419C-8FB2-C3157810E2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d584cdf7bba9b287ae96cec325d8f4068d9f1f","datavalue":{"value":{"amount":"+0.7098798155784607","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":"Q4965870$861782F8-D56E-42C6-A8B4-A92B9AE6EFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d708e2983b3d1f4bf3a189e9ae266279eddc13","datavalue":{"value":{"amount":"+0.7018251419067383","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":"Q4965870$FF9E196F-3F07-402A-BD8B-6FD4941AD661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b49ee62fbd4a774b3362101e9c39ff143927c1","datavalue":{"value":{"amount":"+0.6969868540763855","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":"Q4965870$3547548D-8F86-4FA2-B256-AE3ABCAFC156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4965870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4965870"}}}}}