{"entities":{"Q2870288":{"pageid":2881008,"ns":120,"title":"Item:Q2870288","lastrevid":79619888,"modified":"2026-05-06T14:20:23Z","type":"item","id":"Q2870288","labels":{"en":{"language":"en","value":"Stochastic modelling of communication protocols from source code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247677"}},"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":"Q2870288$F8CA0605-6FA9-480F-AC4E-A923F5BE8E72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a6cbc1996f05f76e0b2b6ecfe02aa3a5f965b1","datavalue":{"value":"1279.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$43CDBB00-0B17-4424-873A-5ED13865366A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6005192572ebcf9377ff417aa95a305f4cee167a","datavalue":{"value":{"entity-type":"item","numeric-id":2188184,"id":"Q2188184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$D81A66A9-9762-44FC-943B-C15E9BD54E86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$FA58F430-85AD-4CDB-93C7-D72B43451F5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870288$094421BE-EC21-4937-9CAC-440A4A73F13E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$200D8994-2DBC-4D32-8E00-E1EBDC41EFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$A239E47F-692B-44A0-80A9-17062E3F0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$BCF3E2B3-1503-4A15-BFAE-4CE26B81CA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$05D892D0-41A9-490F-855A-399EFA4F9469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d298ca708b32a52fc8b1fb37cd4174a7b2fc66a9","datavalue":{"value":"6247677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$2A23895F-842E-4079-9F6F-B68ED4507318","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a64113ff439767985e47fb21f27b46ad4cd0d3","datavalue":{"value":"performance modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870288$8313ED85-74F6-415F-961F-4C9B2915F397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870288$46958574-8567-490C-A3BA-8036E2939684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870288$872C9AAE-B368-46C7-B001-D8DAFCAFDB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870288$1DE7DBE9-8E37-4B5C-8576-50A8C0251850","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"caf5eec611f320a7c3dc5bc857096dc624f6365d","datavalue":{"value":"Q110511831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$46424C19-EB85-4485-AF2F-9CBB0470DED5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$063EEB41-A6B9-48A6-A7E9-26DCD4F2EE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$CE9481CA-8647-4B25-901C-66DA22242CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$59D0EE3A-6A2C-4284-B9D0-6760BB141DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef6691eca85db5ffd06ecca294bd45511b25270","datavalue":{"value":{"entity-type":"item","numeric-id":22026,"id":"Q22026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$0C1320CA-75C6-41CE-B89B-58805CA2EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4afc88604baa9919ff6a93e80b5fc96eaeed57f6","datavalue":{"value":{"entity-type":"item","numeric-id":23630,"id":"Q23630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$E129A007-298C-45F7-B91B-E6420914922C","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":"Q2870288$192A1925-2288-41A6-85D9-66D9B428D7A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd23128dd0437855fa9b5eb669c6668148fac5b3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870288$C559860B-E0A7-4D0A-8D7A-F39502CF30E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"098916741133afc6478db6f3aed4d04206e214e9","datavalue":{"value":"W2088701763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$4B5E6983-5EE5-4AE9-94B2-A2041DE67E90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$B8C58A58-4E97-41B6-AF6D-78B439E59C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9c879d6b66a1dfbcef5f174513a7e46158845d","datavalue":{"value":{"entity-type":"item","numeric-id":3765213,"id":"Q3765213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$F8248391-2C04-4385-93F1-7846D72920AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5024fd4c94a7efffeac90a0731c76f826062ba7","datavalue":{"value":{"entity-type":"item","numeric-id":4337394,"id":"Q4337394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$AC6EE100-A557-4ECC-8A92-89A680CD6893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a45fef3d134a69480356587d56da957585cf8b","datavalue":{"value":{"entity-type":"item","numeric-id":1434421,"id":"Q1434421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$0756AA74-AC6C-4BD2-9811-1F65992D1422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$CDD67B22-507B-422E-9331-9B50C0031C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6fb925443a11e21e89d7cf585b6a850c8ad0c9","datavalue":{"value":{"entity-type":"item","numeric-id":877152,"id":"Q877152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$6E6A407F-4046-40FD-8E3C-5A203D5915D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd07f5c553909c14c12f846c52be2934490fa29","datavalue":{"value":{"entity-type":"item","numeric-id":1852962,"id":"Q1852962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$E77190BC-1A71-4299-A35C-C813D19DE1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$8FF4B876-88C9-43BC-9BC2-FA256F0B4F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d494198af8e5da9f2469868fd06c68de35b828","datavalue":{"value":{"entity-type":"item","numeric-id":4242094,"id":"Q4242094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$B0CC1894-3F64-4020-85CA-303F1D9DFAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65485f3de9e7e97a04c43dc4606e959d384fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":2722069,"id":"Q2722069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$79B005F7-E25B-463F-B68F-6E664F22FC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$4C4AE926-CEA2-4618-9B69-32C3457600D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f49bf5d3e884d64c471e1ae5ee3ccec444cbabd","datavalue":{"value":{"entity-type":"item","numeric-id":5178902,"id":"Q5178902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$A48FF1BD-B7B9-41A1-84F7-FF39E95E6F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50656a3638f9d8a107ad178848f801068c2315e","datavalue":{"value":{"entity-type":"item","numeric-id":4813208,"id":"Q4813208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870288$6E6DDD38-44B6-403D-8071-B27C3FCFAE1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a040079998338a4a56e71b9279819bae3025b23","datavalue":{"value":"10.1016/J.ENTCS.2007.08.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870288$83CA67E0-12D7-4D11-80BE-E9160A35018B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89ea44da44798f5f4f073a761d5cfede447cfb68","datavalue":{"value":{"text":"Stochastic modelling of communication protocols from source code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870288$19A31049-4CBD-403B-B1A4-F5D7A6510F2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcda475df76b4ff7b77691d993f26a13c443dca","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5335e7895f5ca35edf3133a0e35a0cde9c6d43","datavalue":{"value":{"amount":"+0.739738941192627","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":"Q2870288$31730D94-9984-44E9-BB7D-7B0961A411A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26bf4f5d69d17c3f3d0cdbc9e15c39c90b88360","datavalue":{"value":{"entity-type":"item","numeric-id":5184418,"id":"Q5184418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcde5854c2e9a8d5a028a0370d3ff6a3f377c39f","datavalue":{"value":{"amount":"+0.7383216023445129","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":"Q2870288$E2845CAE-7241-46EA-A7A1-54849C2E93B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816d16e95321c870390d6a7a67e72e4faddcfd5c","datavalue":{"value":{"entity-type":"item","numeric-id":3084589,"id":"Q3084589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d002c0f65f4e873dbc390ac5f92a6ec0a5cd7df6","datavalue":{"value":{"amount":"+0.7337944507598877","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":"Q2870288$266940CC-BD55-4A37-973F-5FB6CC4F500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f60b640b29a1ec5b2552387eab6b15d68041c8","datavalue":{"value":{"entity-type":"item","numeric-id":5233247,"id":"Q5233247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c074ba947a6752b975614490e9d3563c9adf420","datavalue":{"value":{"amount":"+0.7335892915725708","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":"Q2870288$D613DDC2-81A5-434A-8825-8419B921874D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481082a7df0d4d4beaadc8a72362e1ed24387031","datavalue":{"value":{"entity-type":"item","numeric-id":2743687,"id":"Q2743687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbb3d39ee25e8e167f778de48f945d010fb78d9","datavalue":{"value":{"amount":"+0.731536865234375","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":"Q2870288$223C8E7D-4AEC-47E0-82DD-AAA9F7FDE342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stochastic modelling of communication protocols from source code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stochastic_modelling_of_communication_protocols_from_source_code"}}}}}