{"entities":{"Q896916":{"pageid":898764,"ns":120,"title":"Item:Q896916","lastrevid":65171619,"modified":"2026-04-12T00:47:30Z","type":"item","id":"Q896916","labels":{"en":{"language":"en","value":"Unique parallel decomposition in branching and weak bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521251"}},"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":"Q896916$7A28C895-A386-4548-B834-8ABD01A73058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f891f067be2addb21c76c6c52011886587276aa","datavalue":{"value":{"text":"Unique parallel decomposition in branching and weak bisimulation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896916$17279FA0-1D37-422D-B71C-19357FC7D395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"159beb754ba17e47d0bb2ea59bde1d1d94c9fa94","datavalue":{"value":"1332.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$12F10B09-C285-4E78-98DE-318C3873E7B1","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":"Q896916$6F4CA1CC-CE96-48B5-BC9A-F955866F2163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$61F9712C-8E7B-437C-A648-09C098DBA66F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896916$81FA896B-809B-4BCD-8EDA-41C87A78945F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49b4f1edf3a47c159d19412a5a3ac30f0d1d4685","datavalue":{"value":"https://arxiv.org/abs/1205.2117","type":"string"},"datatype":"url"},"type":"statement","id":"Q896916$9D1E2F8C-53DE-4526-9CDD-24A77D8BF326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$B344228D-D4CE-4159-A6B8-35CFDFB1CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$7F81CC26-47AC-4353-B3AC-AFED47A28265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba6c71efb673cb9473dba1fa78aeea4125e13047","datavalue":{"value":"6521251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$2A72908B-FCEC-4B7F-B7CF-CE16C3BD66F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eabdf3f916cd66602e39a5c73d7c8bc314412e8","datavalue":{"value":"unique parallel decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q896916$BB5A525C-CEBC-4527-8712-1CBF2BB5CBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896916$75523232-5301-4352-BBF5-57DD042E5673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896916$771D2249-B166-4AA0-83B7-3E7A022ACA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q896916$EF391119-6240-44AE-9ED0-61EEDDA0B563","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":"Q896916$F6A847BA-A33E-43C3-9524-417968180BBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2e6538e7c7e4e46c38c4c0a8a608adc378c1d32","datavalue":{"value":"W1829189314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$F9AFEAC8-8AC5-4B07-BC05-31AF0EFFEC9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa42baf62b507b03385960a2763a583643376d","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$492B11C7-4B19-416E-A176-F447731E0098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc413d718331528bbd951b82db92cd49ea0645","datavalue":{"value":{"entity-type":"item","numeric-id":5277824,"id":"Q5277824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$AB87161C-7C14-4A55-B7AF-96F1E90F664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e69fc04039d9468acc2e36e10a641ef9d1a956","datavalue":{"value":{"entity-type":"item","numeric-id":3584926,"id":"Q3584926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$FD7213DE-8FC2-4F85-A8C0-F10EA124B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$EB9981CC-6094-4713-B74C-87ACD5AE3366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545a5b49db03c684b89c3a6924f7bd6ad075e285","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$67E7CB7E-CA19-40F0-98E7-AE1B70EC56CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$C2FF7C1B-24F4-46A3-A3E0-8A49E84535FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec2d43a7f7df6abd15d03c58e90875833269238","datavalue":{"value":{"entity-type":"item","numeric-id":4910411,"id":"Q4910411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$B60F8422-7DF1-467D-BCF7-314613EC3AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cbc7e198d53ac905d76863bd4c9be9d59b377e","datavalue":{"value":{"entity-type":"item","numeric-id":2754192,"id":"Q2754192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$851541BD-702C-442F-9664-0CE6FEE69DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09873cffd167d733116a0af539165519c3cedb51","datavalue":{"value":{"entity-type":"item","numeric-id":5179048,"id":"Q5179048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$00E2AD59-D35C-42AB-9EA0-C7CD9C56670F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$2DCAA42D-4449-4D83-AD5C-3943BA00729D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc614c228e31a654ee79383c5d913b8af82163bb","datavalue":{"value":{"entity-type":"item","numeric-id":3518280,"id":"Q3518280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$BA6D379C-7E69-4C21-B5F9-6CDFF0FD6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d78877640b9cd2dced52f0c8a2bf6bfceb5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4938637,"id":"Q4938637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$57E08982-9EE7-49BC-A8FE-B5316226E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e9f41322dc74c02b234e1f9a37d82ae80f8f26","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$106C373F-C4C2-4513-B9DC-D7DB7AAA11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd365b456e4c881bc8ef8f30286fad0e1ba684e","datavalue":{"value":{"entity-type":"item","numeric-id":1781996,"id":"Q1781996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$3695A5DF-11DD-4CE0-9926-334FD189421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e6738696f8e26b73b2b40ccec5b796bb9aa4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2915175,"id":"Q2915175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$B73D607B-E0C9-46BA-BD69-3E7B88134CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$AFB27F84-96FC-4EF7-87B9-956541CDFB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$2DFA291C-497F-4910-AF33-B8CB01B6CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd132592c4e43c9101a69d61c4172a98a16075","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$26DBF9E2-CBDE-49CC-9886-07E6E6668630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$43347E90-0962-4511-BA00-5DFA3B70EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896916$EBDE1AF3-25A0-46DB-B33F-2793D90837E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3839b3117aa426df4c37b0525a4e6019059643f3","datavalue":{"value":"10.1016/J.TCS.2015.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896916$F605C055-8D0E-4CDC-A31D-FFFD2062197A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb7f2317cf39a60d8820e4d023e83870815cccc","datavalue":{"value":{"entity-type":"item","numeric-id":2915175,"id":"Q2915175"},"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":"Q896916$4EED0664-443B-42ED-B89F-A251B84C3DC1","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":"332231fb1b88def9b262883ab865b79031f70fbb","datavalue":{"value":{"amount":"+0.85270756483078","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":"Q896916$2323AA92-788A-415D-BBF6-6EFC253943D6","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":"152afe0944cdb50e15f12892642c5fb53d67e4d3","datavalue":{"value":{"amount":"+0.8104723691940308","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":"Q896916$7C4A04BA-486F-47CB-A595-F221D6EFB585","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":"33b7e8f007fef7b7e0206fca4f2f67cf4a3dcf28","datavalue":{"value":{"amount":"+0.7914347052574158","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":"Q896916$A12131C5-D4B0-423C-AD43-13D48E4A2506","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":"da49c71cbc2a60e597d5b38f901e666b3a21ec5b","datavalue":{"value":{"amount":"+0.7635299563407898","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":"Q896916$0EDFF4D8-1C10-4A38-9AE9-5D9C68B19E2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique parallel decomposition in branching and weak bisimulation semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_parallel_decomposition_in_branching_and_weak_bisimulation_semantics"}}}}}