{"entities":{"Q3614855":{"pageid":5644761,"ns":120,"title":"Item:Q3614855","lastrevid":50600771,"modified":"2026-01-14T12:58:08Z","type":"item","id":"Q3614855","labels":{"en":{"language":"en","value":"Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527104"}},"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":"Q3614855$CFA3F8DD-37DD-438E-B719-9345A14EE0D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2f23cda5be0f878e692f8f48ddc6c062811c72","datavalue":{"value":{"text":"Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614855$1710DAEC-F483-43BF-BD5D-8D1DBD8F06C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a000ba852f4550d2885b48ce73f8f96d4a43b3e4","datavalue":{"value":"1215.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$EF7D9E32-5E3C-4639-95BA-A9F404EE04AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b53606298316e5809100944a420d5f690f562cd1","datavalue":{"value":"10.1007/978-3-540-73196-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$14734B2A-B33E-4DA9-A0D0-2ECE5DA7102E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a2e3a849f7afbd44d878457dc05f4cc4bbe211","datavalue":{"value":{"entity-type":"item","numeric-id":270244,"id":"Q270244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$66428C81-69B5-4185-800E-B6B6A75DE6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3a9b74a10d39b566f4aa7cca14078ecb000f6f","datavalue":{"value":{"entity-type":"item","numeric-id":438995,"id":"Q438995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$D22F33C3-8787-46A1-91B8-CD3E06A39E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$399C9C94-3050-4372-A809-7F1199A12D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bb47a44df48bf82ac121b8bdfa01d7a1b0c7d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2637307,"id":"Q2637307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$9D233F07-7B3C-4FD2-A246-01CFD8C4831C","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":"Q3614855$4B9CABBB-8783-4B95-8B59-ECED6B7DB9E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-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":"Q3614855$1C8E8DFC-38CC-4320-BADF-15CA8EFB47A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$83274F97-F5F4-4BE9-999C-61B529C15683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$5CA2562B-097C-4271-94ED-68E0C5F35AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2c38f29d4b31c9a8a6d60a6fee94fb6b098f22","datavalue":{"value":"5527104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$7F46B470-0CAB-4DD4-8950-3B21A748927E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$2F316F0A-DA8F-4D8C-951A-9A59A219A2A9","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":"Q3614855$11565C25-833C-48C2-A5B0-B622F8AC855E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2e4cd9f2455928f6cd974cef9572d0ad9946e04","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614855$3F030E79-E676-4DCE-A4C1-83C20FD513AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d17eb5c480daee20a19492f6354d0a0c71c993a5","datavalue":{"value":"W1547063305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614855$E986A062-6A4A-4E19-A07F-67EB36BFC163","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"401e757fcac57ee6ebaf7725611a3b99c7c1cf62","datavalue":{"value":{"entity-type":"item","numeric-id":4426380,"id":"Q4426380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$F4B47364-D505-4DEB-A316-CEEB8DD6C72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3a60fb3b4aa92abc9cd6cdb9db86be1986e605","datavalue":{"value":{"entity-type":"item","numeric-id":2507781,"id":"Q2507781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$7012A946-5814-424F-977B-689C484A9E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$3296393B-5665-4F68-A8BC-CA2B2483C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$58E96786-4D3B-42CD-B44D-8A34C3DFCD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$898BA528-137F-477C-92E5-D1F7DEDE49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60edc7eea947e115dd0db0db26305a30610bfbeb","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$EAB0BFDC-BBDB-41B6-A56E-3D8B7346B89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$2B1F624E-0F60-4A64-9347-8F0C5CDA650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$09D8F563-B08F-4232-B0AE-3551DE8F2917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$D6446C07-576C-4BA5-9BB0-4AFFF697045D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$13A5B9CB-0C6E-4A64-980A-BB17C343A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$5106DCF1-738B-41D5-A042-A185A98B74DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1fb8df06df9ce028c267cc044ba0a324603035","datavalue":{"value":{"entity-type":"item","numeric-id":2494794,"id":"Q2494794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614855$633334BD-B388-47F4-9A49-C2FC29619D74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c414232d5470fecb67bdfaad072d0a9b1bcb66f","datavalue":{"value":{"entity-type":"item","numeric-id":4426380,"id":"Q4426380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a451cab910aeb20966f4b875993c879aa0a571","datavalue":{"value":{"amount":"+0.7856945991516113","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":"Q3614855$C1623376-81E3-4F4C-9883-FB381C74EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f610d52a8c32ea6c67fc99ef0538ff6a7ec45648","datavalue":{"value":{"entity-type":"item","numeric-id":4436759,"id":"Q4436759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a38a43773a1b6afd7ea26bf9923a8577df12e2f","datavalue":{"value":{"amount":"+0.7149065136909485","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":"Q3614855$4A1E0733-C062-445A-BCC1-EF68F9E961BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2677ad5f89c47a7842e307ad4a2567fd75d43ac6","datavalue":{"value":{"entity-type":"item","numeric-id":5709469,"id":"Q5709469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91558f96e9c359033ff0a7b4098204ea5ce5ef4c","datavalue":{"value":{"amount":"+0.7094531059265137","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":"Q3614855$08E54F05-3061-4119-BFE4-294CC69152B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7391b153757ee2623e6647712b97a18645aaf017","datavalue":{"value":{"entity-type":"item","numeric-id":4413420,"id":"Q4413420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316a68f39b5b6a25d07b7f377c0aade5950d862e","datavalue":{"value":{"amount":"+0.7053295373916626","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":"Q3614855$82D1D2A2-60EB-4254-97E8-A2D2E87987E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d28d46a4070f23136a00f5f7932fb33ed6b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":3410626,"id":"Q3410626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3317571410652a34f7001c5e0427c983743b649a","datavalue":{"value":{"amount":"+0.7002823948860168","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":"Q3614855$4E30A48E-44BD-428D-8ED4-4DD1C4D0542E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614855"}}}}}