{"entities":{"Q3557063":{"pageid":5586967,"ns":120,"title":"Item:Q3557063","lastrevid":50968958,"modified":"2026-01-16T00:02:25Z","type":"item","id":"Q3557063","labels":{"en":{"language":"en","value":"Assume-guarantee verification for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702228"}},"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":"Q3557063$CD2ABAC4-1A96-45B4-9D6E-3705A81FAE59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787c88a9053627c2678b2e92922da9600ca6f709","datavalue":{"value":{"text":"Assume-Guarantee Verification for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557063$62264724-B3BD-4ACB-90D3-8AEA1B69A3F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed517f36fb889a55f5ceaa2b46842061fc312717","datavalue":{"value":"1284.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$DD7CD79D-C33A-47E9-A1F9-FA74E5406964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ba3f99569b76f1ba0980c7247ecf8a3ae73aaba","datavalue":{"value":"10.1007/978-3-642-12002-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$F2C31CBB-44C0-4689-9D16-DF7D6B6FB78D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557063$ED9A721B-1D38-4453-B8EB-1727591D63FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557063$7F13F2D7-231A-4CA5-8C5C-2591C4E5EFEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$CB306DE2-59F9-4E61-A228-CF67F984F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$CE59DCCE-199B-4227-BCD2-AAC3E12688BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24828457f7e0978d3d51c8743e84ad2eaa60dedc","datavalue":{"value":"5702228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$3AD64CCF-8E6B-4FF5-80C5-6CBA44B90A3C","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":"Q3557063$F8118232-5FAD-4AF2-A827-55FD8DF6957E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fd3af183b6b8bc6ee4de6d9b39c2afb9a718af0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557063$6C1D9F55-E328-4FC3-88DC-BBF17EA46197","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89d7f7efbcb7445f46d3ddbdd1d4d89ee01dc8aa","datavalue":{"value":"W1608455964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557063$4813C344-8468-498E-9D2B-A9765F241403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e98e9a8c1c8cb2d5abc6a2ca591b07594f66b7e","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640c016c01540924a665b4ae5ef2aaceeab5f675","datavalue":{"value":{"amount":"+0.8452383279800415","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":"Q3557063$C3A5496C-7DB3-43B8-ADC7-4D2EDEB550AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf70a90999b3fb1450f24430082d8a3d25625110","datavalue":{"value":{"entity-type":"item","numeric-id":3172942,"id":"Q3172942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a568d7e60f48d3994d46d3d287563da2881edb3b","datavalue":{"value":{"amount":"+0.8355860114097595","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":"Q3557063$5685BE2F-636C-44A1-8B07-2F81FB33032C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd35e5b644a1ef0227cb8567eac0fc6f82aeea27","datavalue":{"value":{"amount":"+0.7808500528335571","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":"Q3557063$5D58A789-52E7-40CF-A73D-B28579F5085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fbe0c3a904012905f68cb18aef92644939783","datavalue":{"value":{"entity-type":"item","numeric-id":5206947,"id":"Q5206947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114b9b078cab27c504d6d34131dc0cdda378d059","datavalue":{"value":{"amount":"+0.7787101864814758","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":"Q3557063$2D6CA3B7-862E-440B-B575-4BCC22D9A06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99672a5ec0b631a695a8b30839151a230c4c6ea","datavalue":{"value":{"amount":"+0.7705281376838684","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":"Q3557063$F5EBD465-B985-4044-AC29-CFA688A48621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557063"}}}}}