{"entities":{"Q3172942":{"pageid":3183652,"ns":120,"title":"Item:Q3172942","lastrevid":85992815,"modified":"2026-06-03T13:15:58Z","type":"item","id":"Q3172942","labels":{"en":{"language":"en","value":"Learning-based compositional verification for synchronous probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954814"}},"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":"Q3172942$13C1A559-C8DC-4B8B-A8D7-97F29F4A48A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bad0fe90b5d9bc9320f78a963813da7ccd54624","datavalue":{"value":{"text":"Learning-Based Compositional Verification for Synchronous Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172942$B549763B-A73E-4FA4-A4AA-C64E2AF1BCA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a9f3aac575236d0cc7015e5824c09fe739215b","datavalue":{"value":"1348.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$BF68769C-4C5B-480C-BFC5-B56CB76BC3D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965b2da00dd9277a476ee5779c33c29743b713a5","datavalue":{"value":"10.1007/978-3-642-24372-1_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$4E617954-C787-4127-8622-2AA11622F9A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172942$1E27E6D3-F44D-49EB-8DB7-A6A63816DB5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172942$77DF7291-734A-4931-92C2-7D3B1370A72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8c216069f9c0e3a41fa7a9dce7debbc93aa9885","datavalue":{"value":"https://hal.inria.fr/hal-00647061/file/atva11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172942$B133005C-DE13-4147-A355-016E3F58951D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$D22B217F-E0B8-402B-84EB-1B5F9E5EE96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$18E92E8F-8149-46A0-A7E7-F7815039C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$6052258E-5B52-4902-A39F-5F2B20468FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$BE57BEF6-B5E7-45CD-9FD1-A6B6E9457209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"035eeca7079f71cbf6626bbb83d3bfc96e78d20a","datavalue":{"value":"5954814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$6F8ED3DC-AD19-4090-8FF5-2E275AF07F21","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":"Q3172942$7AA258A9-F000-4162-B174-00C031FD006C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66e7e0f53f081668c4b1f961fce7f0b4d507dda","datavalue":{"value":"W1665588751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172942$00F43EDF-8052-426F-A85B-BB66C7270DB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926f421b3614b1b6781388333980c7704f681a45","datavalue":{"value":{"entity-type":"item","numeric-id":2819835,"id":"Q2819835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87287c8a26ef3f6dc8b37025f76c201e2d85ea7a","datavalue":{"value":{"amount":"+0.8367587327957153","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":"Q3172942$F0CAAB21-CCA1-4161-B9A8-4AE5ABD6C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71e75767d29b08405dd048f4e3cbf9a79260b5","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"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":"Q3172942$D24B49FB-E3E4-42DA-865B-97D6E28D83F9","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":"089a76a2520be042c7e6521da0a656f0497bb763","datavalue":{"value":{"amount":"+0.8181215524673462","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":"Q3172942$34482602-97E8-4C89-9894-536AA5E6888E","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":"066eb3acb7fe68c098ddd6dacdd16bd1e2a72685","datavalue":{"value":{"amount":"+0.8117093443870544","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":"Q3172942$31CF70D1-08DA-4815-91EF-DEB198511D0B","rank":"normal"},{"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":"1675c8102c594a1d79d9235ed1b1ccaaae373f3c","datavalue":{"value":{"amount":"+0.8026121854782104","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":"Q3172942$074008E6-256D-4950-8097-7C1BC6830BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning-based compositional verification for synchronous probabilistic systems","badges":[]}}}}}