{"entities":{"Q1276256":{"pageid":1287006,"ns":120,"title":"Item:Q1276256","lastrevid":70050609,"modified":"2026-04-13T12:06:31Z","type":"item","id":"Q1276256","labels":{"en":{"language":"en","value":"Bisimulations for a calculus of broadcasting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243218"}},"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":"Q1276256$62D7E037-C0A6-4D71-9781-6A9A91D22CA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ad5064691ce7a94b439b9578eb6a03898361b57","datavalue":{"value":{"text":"Bisimulations for a calculus of broadcasting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276256$D56EEE4C-AF01-4031-8286-02B410A1B2F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f3b9f71e8ef5b625c8a1fdbb1e4dd356d838319","datavalue":{"value":"0915.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276256$9B37BE03-98E0-4A16-B223-EA244CA00220","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa0eca007f5dd936335954b4c3d7a0e1d3b9cfd","datavalue":{"value":"10.1016/S0304-3975(97)00261-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276256$7419D401-8C46-4A44-A0C4-A2B8197E4055","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":"Q1276256$61785D07-B999-43C9-8991-F6FCA09B3F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3bffa3db2ce89c5504f5540328b6e8375177fd0","datavalue":{"value":{"time":"+1999-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276256$6F10FD5D-AA0F-4FF9-871D-DE5C94AA7993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276256$55091C65-167C-42D0-9F32-2C66A4D3C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276256$40951569-D71F-412D-AFEC-24444387854B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75707c6de13db7c1624c6061e4dffc95f797904","datavalue":{"value":"1243218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276256$701AEF52-D15C-4512-BF92-4B867B718879","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e6adfac69517d0d3d04524a3757f6426ec4cfe","datavalue":{"value":"broadcast calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276256$D8EFC472-C8A0-45B1-9CFD-470D0049554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4131a96ce732a65e0f4d6fbaa8f739b0fe72af8f","datavalue":{"value":"bisimulation congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276256$D01F6797-B8C5-4E58-A584-28EB3932E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba5c41173dceaa0b77c7e74fccc89a8b350cecf","datavalue":{"value":"CBS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276256$4E199D93-E9D3-40BE-95D9-5F9488EE3FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$4E270ABF-1C98-4418-B79E-E1931EE5E335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$D7C2E656-03A4-4DE3-98A2-61487412DB34","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":"Q1276256$8C3719C6-936F-4BFE-A6F6-6E02131F8036","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"597fc8cf4a2ee0678bc6861381274855a2c7ab33","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$D7D2941E-0D2F-494A-BC28-E3190AE4BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$22D664D8-DB58-4D2F-AD19-8781A4775AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55871b1c94b020cf743ed0d86de22d6a97d8a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":688827,"id":"Q688827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$7A28EFF9-D2DF-40EC-873E-DFE37524ABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$837B17DD-5DB7-4FFB-B5AB-0B20F4AD48A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$EA0F9464-D268-408A-A322-626BEB4F6EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6effcc92f411143cb63ab680d3148dabab4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3938462,"id":"Q3938462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$E0EB6FA4-64FB-47D0-B69B-70B585734294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616bbe47d00b228ad0bd86c9643ae8185c98739e","datavalue":{"value":{"entity-type":"item","numeric-id":1276256,"id":"Q1276256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$B94AE24A-C985-4D6C-850F-2C9FB48119AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1329d349a4ff6bc7c028780207fbc9778b30807","datavalue":{"value":{"entity-type":"item","numeric-id":1896998,"id":"Q1896998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$B0E85AD3-8BA4-4569-A5F4-771464098C85","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":"Q1276256$43527E87-E252-4E27-BA0D-94ED19D30B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$74839323-53EB-4938-B415-9FDE213735D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4f3a50d4dff4be008cac5ad28af0c68079ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":4917085,"id":"Q4917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$6A194274-FA75-4DB2-BB2D-03A3A41C95A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276256$246DFC81-43CE-456C-9028-932718104794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2339b422ca77e27d593ccc1908dd109d13f8f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4917085,"id":"Q4917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957bc6bb61c268b40670e7bf7015f0a8dc2d1ee2","datavalue":{"value":{"amount":"+0.8153918385505676","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":"Q1276256$471B6413-96B3-4A68-AC6E-7673912E7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4d73cc291089d54ca5f6be5b50a423d4cd29e3","datavalue":{"value":{"amount":"+0.78665691614151","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":"Q1276256$B0EB3C5F-61E2-4549-B007-4F9DF871F82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeccf65ec7f49d6286f34a1ca7e5b0cebd5fa14b","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e011096f2c7c1f501de68021d4313175dde582e","datavalue":{"value":{"amount":"+0.7865429520606995","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":"Q1276256$CA389AB0-A8D4-4F79-8800-DE8CE8A06FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4c7582ba7e2783c149c171e865e29bd5667a0a","datavalue":{"value":{"amount":"+0.7810527682304382","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":"Q1276256$6A63A3EB-60F4-44A5-8F2D-FBAA68FE51DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations for a calculus of broadcasting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulations_for_a_calculus_of_broadcasting_systems"}}}}}