{"entities":{"Q935464":{"pageid":937312,"ns":120,"title":"Item:Q935464","lastrevid":65494317,"modified":"2026-04-12T02:59:17Z","type":"item","id":"Q935464","labels":{"en":{"language":"en","value":"Parametric synchronizations in mobile nominal calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5307109"}},"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":"Q935464$266C8F75-9037-41F4-B96F-98608D59D93E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c1e4419dcf0f5e4c7d6a846af7e74d0e4ddea17","datavalue":{"value":{"text":"Parametric synchronizations in mobile nominal calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935464$D90DF9EA-C346-4051-B0DF-30ADA350C4DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9659e36ca30f0b4213aeb141469f904989c3f0ab","datavalue":{"value":"1146.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935464$2BC4DB44-1DB1-45C9-A9EC-0B2DE0A3F0D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$221D931B-E7A0-4584-8B90-8469853DD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$DCD6C11A-4DBB-4495-AE6D-F8F7DAAFDCCE","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":"Q935464$4E1E4966-ACD6-43DD-A145-4A76EFF73027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450d2294b845f0f9561a47040d8b62e63dee0412","datavalue":{"value":{"time":"+2008-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935464$9B5DDE42-545C-4673-8318-7C844728B411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935464$F3494423-74D5-46A3-944F-3C71B3C19E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc8ff2711b3e347a7ce2b568da7c2b3d874fb1f6","datavalue":{"value":"5307109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935464$1D94F33C-309A-4835-981D-D8B7FD50135D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$A4CFA8AA-9F3D-4302-B6DC-4E74B70A4483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931198d8d271291fd3598d1a124ff0e548c01a60","datavalue":{"value":"name mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$593DDBA8-8601-42D2-AC79-6C492F896C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49bc1019a4c3e5c61a535be96421390dfa7adc76","datavalue":{"value":"synchronization algebra with mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$507732C8-EDFF-49AB-B704-2147D874E95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$FD51B4A1-D5C6-4DC2-A7FD-C464762BD05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77c192091cba1896daf2b26b113d2b3d626c932","datavalue":{"value":"bisimulation congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$F74F7587-4DD8-4CEA-A64E-FE8C0E80ACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$0ECA81F3-E681-4B69-9BB4-8127572B192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c4b824c66a8bb594a80cf26557a4bfeb530185","datavalue":{"value":"fusion calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q935464$3E78F657-CAF5-42DD-9D9D-69B5208A750F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$E29E27D6-6BD8-4E3C-A4BD-4BF9CFC3262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$14E84A88-EC07-43DE-B3E6-01F7CB3E95B7","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":"Q935464$965DDC11-63AA-4668-AC51-857E23B4FFFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c83395f46e93e250e54fb87f27be4bdf0ba106","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.04.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q935464$2DDB7E2E-EA6F-4A09-B782-8A89AF8FE9DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"050c41c29ec00500f97bbdeb26605068b0d1de35","datavalue":{"value":"W2061895212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935464$72C5E1B1-5913-44C4-89AF-493B9456444F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$7F2794EB-8B19-4D8D-88FA-C33DF99BCC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$89E0CD0B-9971-4AB4-916D-34C4A75D2DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76dc31cf651309cef77e3501cf6562c54636266","datavalue":{"value":{"entity-type":"item","numeric-id":5464047,"id":"Q5464047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$2E837A4B-634C-47E5-8D78-C107F2711DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2b32d74dbf83580e45bb404e04cd1821eaf91f","datavalue":{"value":{"entity-type":"item","numeric-id":3608457,"id":"Q3608457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$5D300BB6-AD6F-4CE7-ABE0-02C2193C7447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$1869A890-CC6D-446B-A311-4CD36EC97FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$A2B997F9-9EC0-4337-939E-560E40349739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99794d57f1517bef46f825f8ad23767e7330f63","datavalue":{"value":{"entity-type":"item","numeric-id":4532085,"id":"Q4532085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$57A9592F-8288-4BB6-9A39-16B0A2CE7F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3b246f171d64dd343afae5b27fc203d245679","datavalue":{"value":{"entity-type":"item","numeric-id":4934334,"id":"Q4934334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$F37A0BDE-96BF-4DAF-AF9B-14F2162227EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ef4dccd11b406f2237938038eae316c6e16a17","datavalue":{"value":{"entity-type":"item","numeric-id":4791833,"id":"Q4791833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$A77C822A-BD29-43A8-8A55-0BD02F517A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3de18b38f7ac4e76f47263be3fbd675504a15e5","datavalue":{"value":{"entity-type":"item","numeric-id":5448789,"id":"Q5448789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$11E918AD-B590-47B6-B427-26986E1B749A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da35837c8c555c630ca6975e01e15fd9f6df07fd","datavalue":{"value":{"entity-type":"item","numeric-id":2848668,"id":"Q2848668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$99FF3FB8-4F98-45CA-9015-5694733B578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042db5a1d6d45c0873a02f99f676cfe5a9b5ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5756484,"id":"Q5756484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$DB68399A-C5F1-4015-BCCF-BA6D6C596B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$7047A62F-8A7D-48DF-BD1B-64C8416A8044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$A3CCC9E4-E037-499F-8261-31C204D69B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$ECF7AC6D-B9CB-41BA-9358-4EDA76F760BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e7e42f0d59f3b7c473c361351331160cd12546","datavalue":{"value":{"entity-type":"item","numeric-id":1348524,"id":"Q1348524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935464$9BB63978-0776-4F69-9279-B62C3C49377A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c11c64e3e1ffe269ed43a02de0c8c5110c9fa8d5","datavalue":{"value":"10.1016/J.TCS.2008.04.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935464$DEE49F88-E932-463E-B60F-834E6D4923EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc76b8ae4328f6989990ee1b7f05d5fb57258ed","datavalue":{"value":{"entity-type":"item","numeric-id":3608457,"id":"Q3608457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf2485ee7deca6c03f5af4e2a9423cf08eb8e53","datavalue":{"value":{"amount":"+0.9394001364707948","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":"Q935464$0D1D8D54-1146-4199-BCA8-B1B2EB68040D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125eac41fe4c3469cc813531e1b80fbc8ba31997","datavalue":{"value":{"amount":"+0.7187796831130981","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":"Q935464$89C68EDB-3355-405E-8778-E71A4B061E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c85aff40ad00e6f50149fbc6905f82e8f90cf7","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244316ee9700bb1213bc007e58faf322cd686d57","datavalue":{"value":{"amount":"+0.7176777720451355","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":"Q935464$9581B46C-9DFF-4E2D-A86D-519768A31F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1f8020b76da74a0eccbc7116efe9c6fc91530","datavalue":{"value":{"entity-type":"item","numeric-id":2848668,"id":"Q2848668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5ac11d274a7e6b1046b620e48a546c4f0427d4","datavalue":{"value":{"amount":"+0.717217743396759","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":"Q935464$A09CE2D8-692E-4A23-85C6-FBFA2A5E5AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7846dadae0b164b32671f49d694e75e29f6fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bc0feda0eaa11b43a89bc468b069005522613a","datavalue":{"value":{"amount":"+0.7085683345794678","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":"Q935464$C87167E4-AB76-45BB-A350-B893E9CF96B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric synchronizations in mobile nominal calculi","badges":[]}}}}}