{"entities":{"Q3518280":{"pageid":5548184,"ns":120,"title":"Item:Q3518280","lastrevid":88319495,"modified":"2026-06-04T14:13:05Z","type":"item","id":"Q3518280","labels":{"en":{"language":"en","value":"A Distribution Law for CCS and a New Congruence Result for the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308842"}},"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":"Q3518280$EBEEE3EC-B8BB-46EB-9E36-B0A5C8D67513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0bee09634184812b41175636de15be64ba28ca9","datavalue":{"value":{"text":"A Distribution Law for CCS and a New Congruence Result for the pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518280$98C7E7DD-0338-4DC0-B260-C8A07638AA69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28b939217a00cea90d9bf19f798ee7c25b5564e1","datavalue":{"value":"1149.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518280$2C78FE2B-9F26-45FF-A0F1-9E18E5306D56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68e32bcf12adc7359d496667daf1bf90d2bd127","datavalue":{"value":"10.2168/LMCS-4(2:4)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518280$E1945D55-3D20-43AE-B282-A26705D24810","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518280$869D8347-235D-427B-96D5-40ECF2C98D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518280$AB8AD29D-5988-4B4F-ADA5-E4830BE6BFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518280$9B9988CF-0C81-4CFB-8A79-0DB0AD23C85C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518280$A29CA81B-33C0-45E7-85C8-FE98AC1E22C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518280$5C6FABB3-2ED2-43F3-8AD1-865F5DA6A004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b044bb3a462a064f96a9efc9dc5db7c305b8616","datavalue":{"value":"5308842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518280$45361BA8-99FD-4329-89EF-6B82E6CF1DF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c653aaabbfb830c401d888ee16e7f8636b9a5f","datavalue":{"value":"strong bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518280$BF967815-D208-4A7D-806A-4DDD2DF5F90B","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":"Q3518280$4F3ECAC2-1D35-45BF-AE0D-4C577B89CF01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29c30919b1a3df631e48ebb2fcfbb04a948975d7","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(2:4)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3518280$C0338E12-BA4A-4FE7-9FC6-B029FE7802AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cff6e8bd14d4d546726cc95046975f5424fedc2","datavalue":{"value":"W2951011785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518280$0D65B675-9951-469D-B341-1BA8159C011A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86ada1322d2b5ed88c53500c36aa9f2c81cc6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5758047,"id":"Q5758047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$BFC62215-9F41-4003-8189-3A20B3859ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fa6ed0c18d2d1977640cb3429e884328c37b24","datavalue":{"value":{"entity-type":"item","numeric-id":2787425,"id":"Q2787425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3938d94eff71cc318af295a23e15ac7612ee51fa","datavalue":{"value":{"amount":"+0.83697927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$0D45180A-4373-45F2-AE2C-A7E436880B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9011a4ce1a501f0d921e3d9d9782731be0b82a13","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6620abb8176ee15a986653e207f861e5cfa1b82e","datavalue":{"value":{"amount":"+0.8320517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$EEB679A0-D802-4769-AF3A-F2615EB032E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d406a7f1e8ed290248a08608149556f1b57bc6a","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d1a9a30ccc7b9533642be45141c4bd40626fca","datavalue":{"value":{"amount":"+0.8276601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$706292CF-90BB-478C-97D3-5DF8A4A2DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6188be60c3a0c8492ca01317fadc1201e6656bf","datavalue":{"value":{"entity-type":"item","numeric-id":4676051,"id":"Q4676051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e43d1fe03fef41c77d4ba040202554a2a180dc","datavalue":{"value":{"amount":"+0.8223593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$0A77A3EE-B049-4057-B4FE-8BABEFF36631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268c66630c7023459bc64c4f9b326e90869fea90","datavalue":{"value":{"entity-type":"item","numeric-id":5198912,"id":"Q5198912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a667a991ddb2f0c30fbb0ccc1998cd4cc3f9c15","datavalue":{"value":{"amount":"+0.81976587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$74E684C8-D0D1-4D83-9CDF-11227F409F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c4faae2a61695d8288a38858ca114e30e1d055","datavalue":{"value":{"entity-type":"item","numeric-id":1024176,"id":"Q1024176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8efa546c181d1e4be68e88088927db00765935","datavalue":{"value":{"amount":"+0.81745815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$39B011ED-B827-49A1-ABD7-ED76C50DD6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec2c13e9c234a418ffdeed164482ae9c6b3a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":2873778,"id":"Q2873778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37265e52e412cc405ccdfff213f2ececd276e089","datavalue":{"value":{"amount":"+0.81549674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$25131137-1917-476B-B140-2682E044D4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2de092eed9bbe7050d7479f15cf8b1f73ae416","datavalue":{"value":{"entity-type":"item","numeric-id":1061986,"id":"Q1061986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf125d61defee9c4280dd034683358563aaf514","datavalue":{"value":{"amount":"+0.8117765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$79C85E5C-505C-4880-9112-357BBC4ECEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebd81d714d54611acf6b43d9601389f5526e10f","datavalue":{"value":{"entity-type":"item","numeric-id":451173,"id":"Q451173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d703292579d58d93b940e4eef202c57acf014b","datavalue":{"value":{"amount":"+0.81007916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3518280$5DEAF536-92D4-4989-B4A6-B0E05D2C6680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Distribution Law for CCS and a New Congruence Result for the pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Distribution_Law_for_CCS_and_a_New_Congruence_Result_for_the_pi-calculus"}}}}}