{"entities":{"Q2915175":{"pageid":2925895,"ns":120,"title":"Item:Q2915175","lastrevid":79887851,"modified":"2026-05-06T14:56:23Z","type":"item","id":"Q2915175","labels":{"en":{"language":"en","value":"Unique parallel decomposition in branching and weak bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085045"}},"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":"Q2915175$F431FC42-8F72-404C-A502-6FE3051414D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0c888cc841023e67e000a2dd85db9d5c86f6b7d","datavalue":{"value":{"text":"Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915175$5848A931-AA6C-4B2C-A820-C0047E32680D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8389183b75ce4f6a95a7a6a4987c3b17234e1a36","datavalue":{"value":"1362.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915175$8D9BEC58-32ED-4A72-BB08-E9208ACCFCE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeb1f7db3d2138842055c189837d02ed4cd74c4f","datavalue":{"value":"10.1007/978-3-642-33475-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915175$6AC6D788-DB8C-4E96-B146-E91D72AAD566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915175$002545C5-0D74-4148-BD01-3E7F190472DE","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":"Q2915175$54FF7AB8-F899-4573-A9D8-375E0E76BF55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915175$DE54DBA7-F17A-4473-8E8C-F26F9CC2888C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915175$C35ABDDE-4B3C-4B8B-9D8F-88A993B682B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18d6410ba4de7427c20c9088844137e0ff503194","datavalue":{"value":"6085045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915175$63B8DF0B-4CD3-4D56-8B1E-5B725A0B3975","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":"Q2915175$BCA62468-7405-4CDD-A311-C73189F8F3BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2134ed75e294d41e12af8a758c961df7feaf6009","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33475-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915175$DFC0AB9A-5E0F-459B-9D5B-435E09E7098E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b6ecad8e5d77194d69f5735caddb22f5f1a2db1","datavalue":{"value":"W2809627477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915175$17F4DA10-3565-4B7D-A474-BD4DB96792F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a9bbeb02a113d414a34daacccc7b4ed1e9c0f9","datavalue":{"value":{"entity-type":"item","numeric-id":896916,"id":"Q896916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ba5dd51ecb2bccd32ac0d0e14c1ad741e2b0d8","datavalue":{"value":{"amount":"+0.9974198937416076","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":"Q2915175$3536E698-CEB2-44F9-91C4-57759476B73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5867a6a3a664864955418afd2ad455f563088323","datavalue":{"value":{"entity-type":"item","numeric-id":5015359,"id":"Q5015359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146deebf5050bc62a0c96d2d565228b3f245a4bf","datavalue":{"value":{"amount":"+0.8530641794204712","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":"Q2915175$5FDAB8DE-D3CF-43FF-8D79-A42899543F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6546a3f1013d48c3f188dcd3a466a0fc4e4f2c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4910411,"id":"Q4910411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d381b0da0b26c1db3cddb207c7114f431ca5f5","datavalue":{"value":{"amount":"+0.807818591594696","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":"Q2915175$481EB6C9-8D8F-4B16-B4B5-24620EC1B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95dcc6c7452ea58ab9f4131e45b6d429eb168f2d","datavalue":{"value":{"entity-type":"item","numeric-id":896922,"id":"Q896922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dc3dd0ef0228376b0f4d087cbbbf138e535ff1","datavalue":{"value":{"amount":"+0.7893577814102173","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":"Q2915175$91ED5BDB-C927-48D9-92A4-2024935E8DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfdea417d04c491c310ea541fd2fa1da0364987","datavalue":{"value":{"entity-type":"item","numeric-id":1781996,"id":"Q1781996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaa12bf7067f1cae8bab3ae4d7518f089416720","datavalue":{"value":{"amount":"+0.764085054397583","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":"Q2915175$33DB0088-E9E5-4A1D-86AA-3CE00671CA6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique parallel decomposition in branching and weak bisimulation semantics (scientific article; zbMATH DE number 6085045)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_parallel_decomposition_in_branching_and_weak_bisimulation_semantics_(scientific_article;_zbMATH_DE_number_6085045)"}}}}}