{"entities":{"Q2946344":{"pageid":2957064,"ns":120,"title":"Item:Q2946344","lastrevid":52346087,"modified":"2026-01-22T09:50:36Z","type":"item","id":"Q2946344","labels":{"en":{"language":"en","value":"Differential bisimulation for a Markovian process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482743"}},"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":"Q2946344$A5AD7062-4FDF-4DA1-956B-8A1FB564B734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef000b0adda855675339f0295af12972aa72f888","datavalue":{"value":{"text":"Differential Bisimulation for a Markovian Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946344$D5BDBA23-3E4D-4A8A-B6C4-6CF061690B1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b66ca7911814c6a762af4268fc4dd62d0384962","datavalue":{"value":"1465.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$3D46A7B0-71EF-45F1-AB64-CEFACA1FB8BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd35ac618883e6efb9349f7de0a1bbd23ea828b1","datavalue":{"value":"10.1007/978-3-662-48057-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$8E0F8AF6-DC67-465C-8BA4-F2595E7CD6A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4d8b61176f50b79f15dd82d4a93cce65317276","datavalue":{"value":{"entity-type":"item","numeric-id":387987,"id":"Q387987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$A0AE70AF-9D3D-4BA2-BDF2-F20DF1F10164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8979f1934477b077026f3595b253feac6f475c34","datavalue":{"value":{"entity-type":"item","numeric-id":832090,"id":"Q832090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$947632A2-C7B7-4F34-8094-97187104ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d08a39d0c1fbd71733ab4f09dba9acfa8cecbae4","datavalue":{"value":{"entity-type":"item","numeric-id":441247,"id":"Q441247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$318BD1F5-E23A-4658-AB17-258238803D10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$D3CD3CE4-C81D-47B0-ABE8-431122038322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946344$C8F49C61-ED14-4923-98FE-79C44E65ABDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$36E63520-8CCB-48A0-B494-34109A66D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$0ABF9A10-7646-424A-8BFA-595A30364C67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327b7517126d3fa1f0eb116e7fb32b27585174d8","datavalue":{"value":"6482743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$4A7EFA11-215F-4488-8A9B-EEEA0CE84ABC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"893408b55425822008bbb61cbc533a89cd7bf4e4","datavalue":{"value":{"entity-type":"item","numeric-id":14101,"id":"Q14101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$E57A34E7-2D5A-4612-A9A6-3BE6C669E838","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":"Q2946344$C16EF630-A53F-49F4-915E-620E6DC59E84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5beaeff32c3001ae7add4dd3225c1bd2b3fe95ea","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48057-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946344$118C25D3-5DEE-4C92-B394-1B0989D8AADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bec08af23b42cca9fdb541ff5beacaadcfb9efe7","datavalue":{"value":"W2294656289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946344$A5A72F44-4281-4E8F-97E9-3156A4CBF010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$28285159-1F0F-4E2F-8078-FD9FEAC006DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c971aa85cb7efa2cadd14d89fe23ebb93c011bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3084590,"id":"Q3084590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$0F33B439-B1CF-406E-A3D8-08D59BC45869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$89744AAA-3A7B-4EED-BADB-3B50122C1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381c5413e41744f74e7f47b4d4bff22fdf95a6c","datavalue":{"value":{"entity-type":"item","numeric-id":5739349,"id":"Q5739349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$11C127CC-80F5-4EA0-8641-4D78931D9D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3e09623e43e30d6d46fcdeadf9fa5f804c320c","datavalue":{"value":{"entity-type":"item","numeric-id":2271444,"id":"Q2271444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$04121EA5-C9A6-49A4-A26E-A6AD1D4A83E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$F48EEE72-F122-4D21-A85F-B5D6F4B3AE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$5B08B0CD-E4A5-4F9E-9B90-E169D98A01E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$56B35CB7-4FDE-499A-8021-795197429616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56e3211b79991274ee9373b64ae308d4bec7653","datavalue":{"value":{"entity-type":"item","numeric-id":3611102,"id":"Q3611102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$F649C09D-DC1F-4EFB-A2F2-D753806131F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$4ACA4973-A953-495A-9AC7-8974239BFFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f3286263589a43667faf189137182b84057f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2946344,"id":"Q2946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$B8418D8F-A6DB-4674-B8C4-08E1909165EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2b66961c672c4233b29315a652cf9caa6dd2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5585840,"id":"Q5585840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$0056574B-88A4-4364-8A49-8512834790FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2ca6be3cf3e13181b112a1d435faf070a3d52d","datavalue":{"value":{"entity-type":"item","numeric-id":3917278,"id":"Q3917278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$9F368787-5D3B-4723-A9B5-21340F2A18E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$1D5F3565-524F-4B31-A6BE-478DC4198FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$6F72C197-D9DC-4B1B-9A44-524FC128D260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$9E0767E3-64A1-40E3-928F-60E8A7005B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$DD277CD9-7606-4F08-A2FB-ED2DC2C832D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2d79daa3a7c0f71465d22c1fc4b8d8174f530c","datavalue":{"value":{"entity-type":"item","numeric-id":4377375,"id":"Q4377375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$05B13941-A023-488D-92F9-62C20A84A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e8218fa948c2adbd1e493dea7f742d47c1d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":2258842,"id":"Q2258842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$043AE797-A039-4903-BA0D-0761936A05A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbd1b714c9bf00109e41795874b93c1d0e4e200","datavalue":{"value":{"entity-type":"item","numeric-id":2912691,"id":"Q2912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946344$69D978E5-3BC5-4833-BAFA-CA26DACC3110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7c2615d65991a46e93210d84a22219b2dbf0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2258842,"id":"Q2258842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490f864215324b6b3df3a94f87c97159239f191a","datavalue":{"value":{"amount":"+0.8057380318641663","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":"Q2946344$8492891A-360D-436E-B797-CCD36BF5DEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48600c381bf11baa8e001d444ace36fa9ef5eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5920213,"id":"Q5920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8e60791f76490567c86f2365230d50ab65cf5a","datavalue":{"value":{"amount":"+0.8000655174255371","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":"Q2946344$33C8DD84-9340-4CFB-8493-14DDF0640F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0122137ddae0aa11ce5e29bd9602df24ed3d35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5890964,"id":"Q5890964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201f5d57c9f037079e317f74b5b4bc542553dd0a","datavalue":{"value":{"amount":"+0.7996830940246582","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":"Q2946344$1D8A40A2-4C78-433A-B26B-AEF2BF4A1C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3205d82d31182e4c27a7f234ceb05a34d9c11999","datavalue":{"value":{"entity-type":"item","numeric-id":2272914,"id":"Q2272914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551dffa4e74f2e1fa3a7423da43853975300605a","datavalue":{"value":{"amount":"+0.7655849456787109","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":"Q2946344$9CE7FC67-3914-4235-B8E4-E8C3ACC118A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831cde8f45d46da1e32604d4682db4b89371af26","datavalue":{"value":{"entity-type":"item","numeric-id":2912691,"id":"Q2912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ba04f9795baf4b29f02ed4c0cf787cddd880fe","datavalue":{"value":{"amount":"+0.7649386525154114","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":"Q2946344$ED0A9894-C947-4CF7-99CA-ABA0B390F01B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946344"}}}}}