{"entities":{"Q5096249":{"pageid":7125825,"ns":120,"title":"Item:Q5096249","lastrevid":94458821,"modified":"2026-06-05T06:52:16Z","type":"item","id":"Q5096249","labels":{"en":{"language":"en","value":"An algebraic view of interleaving and distributed operational semantics for CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572032"}},"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":"Q5096249$E90A8CC2-8153-461D-AE33-B5EA685A9D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e130b21e606fedc0737472d885aab4516a933c15","datavalue":{"value":{"text":"An algebraic view of interleaving and distributed operational semantics for CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096249$E67967D6-09C0-4B74-8074-C25157A658D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf3320fce9f4e84cb732073469543c61e94f16fe","datavalue":{"value":"1493.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$68AA87E5-5D16-4F1E-B0E0-01517AC48791","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$65612486-70ED-4B73-9696-B29246BD6FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773813d3efcd2f81e3c65b8886dd15507b9dab7c","datavalue":{"value":{"entity-type":"item","numeric-id":672707,"id":"Q672707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$7950CDC5-6AB4-4939-B5E1-942770D1B53B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$33B2A3F0-C51C-47C1-8E3A-A5B43B7DD8B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096249$05D5DE8D-9615-4F3B-8BDB-711A9C592548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$7A68BA5B-FE94-4335-9E86-67996ABB9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$B03AA131-318F-4986-AE82-05F028E0C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$707B5F4A-2544-4D0C-AB9E-D1CEC5F97DB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8c20affe09ef39c450f3f1d60120ce5c5898591","datavalue":{"value":"7572032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$1797C5CC-757A-42C4-9A61-7FA78685019F","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":"Q5096249$2EA2CCF2-0983-46BF-ADBC-F4AFF71E8C16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f455dca8cf9d0b4f1efda8f122e8e3725f6bded6","datavalue":{"value":{"entity-type":"item","numeric-id":4733397,"id":"Q4733397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$02C9BDC5-F542-47F7-B022-9242174A1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5565fdfc3d5ed0e2739c1b3a8718649d3cf2c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3687696,"id":"Q3687696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$9F7956CF-91B1-4CCE-BB64-E5C5E4FC0AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$958E1CB2-B471-4139-A2BD-92E607940271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb5fe0c5736570e1f150d7c829e8c2408912f0f","datavalue":{"value":{"entity-type":"item","numeric-id":3210197,"id":"Q3210197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$43F75780-FAB9-4840-9831-2DDE1B34BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$1110F76D-8BC2-47D8-B8B1-EF05819ECE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e9a2ca997f0a8f5945835dc2a7f54e0f4765c6","datavalue":{"value":{"entity-type":"item","numeric-id":3792236,"id":"Q3792236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$4A549C49-3727-44E9-8163-EEB77F9754C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$CD2456AA-2939-4A84-A815-E6A736A9A7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$355A2256-8EC0-414E-8117-B2BDAEAB0B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$933487A4-2F88-47F5-968D-A8DC02B24010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$B2FA951C-9E8D-41B6-B8AB-5B443778E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$7A321C47-95A4-4104-9E17-F75AFDF2CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096249$BDA5E9CF-442A-4F1F-9E0D-31EBE2D05854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebd6cbfc263621cf89883138a9558a790300e724","datavalue":{"value":"https://doi.org/10.1007/bfb0018342","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096249$9809F527-2A4C-4ED3-9A7B-21707BFE55FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"850b2382291d7c0dbc9a1503b893c4f4005579cc","datavalue":{"value":"W1566713756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$B0AEBDC6-A93F-4DFC-9D8C-AB10C0D364CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abb2b8d9e13ba5588c186c51c2aa4aa41e5dfee6","datavalue":{"value":"10.1007/BFB0018342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096249$BBD05341-0D4D-4F53-8E4D-23DB6DCFD9C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4f828bee80db965de664452b800b72cf3c17ba","datavalue":{"value":{"entity-type":"item","numeric-id":4027626,"id":"Q4027626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faef0bb7ce084139d38911354575772ad7bd824","datavalue":{"value":{"amount":"+0.8268966674804688","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":"Q5096249$D62612F0-3A0F-4EC8-8F4F-C00F895CFB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faef0bb7ce084139d38911354575772ad7bd824","datavalue":{"value":{"amount":"+0.8268966674804688","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":"Q5096249$64A7E492-7BE7-434E-9948-04085515B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dfd93da21894544a28c75beeb830514c9e39a7","datavalue":{"value":{"entity-type":"item","numeric-id":4728237,"id":"Q4728237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83ef272ada221832aa93940f78fdf1785bd4cb6","datavalue":{"value":{"amount":"+0.8055352568626404","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":"Q5096249$6E6710AD-5BF9-4985-8537-6BB867953598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e38e2dc9fe08b330e2943218410633d32439f3","datavalue":{"value":{"entity-type":"item","numeric-id":3780423,"id":"Q3780423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6561de8934cee065d4a98c20fbe4bdf062d1a5","datavalue":{"value":{"amount":"+0.7786664962768555","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":"Q5096249$93BDF04B-099E-447E-8721-9EFA18CA3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c0284de893ad13ad67403f8f5b448c8979db0","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d582205211d1edf08c5d9ea02381f488f6f8c48a","datavalue":{"value":{"amount":"+0.7753185629844666","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":"Q5096249$6527DC2D-F256-4F60-A11A-1685ABB6E361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic view of interleaving and distributed operational semantics for CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_view_of_interleaving_and_distributed_operational_semantics_for_CCS"}}}}}