{"entities":{"Q3587459":{"pageid":5617363,"ns":120,"title":"Item:Q3587459","lastrevid":51073355,"modified":"2026-01-16T12:39:29Z","type":"item","id":"Q3587459","labels":{"en":{"language":"en","value":"On the expressiveness of polyadic and synchronous communication in higher-order process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780565"}},"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":"Q3587459$7E5872F2-DCEC-4FC3-AFBD-7C47EDE03DBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44166bb9a3412d60a298322830835239c3303b37","datavalue":{"value":{"text":"On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587459$5C44C391-28EB-4D4A-9D5B-E382004402F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ff359dce3247cd437d0084470734dcf561ef04f","datavalue":{"value":"1288.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$659D857F-D18C-4AB6-819B-E717972A67CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c85481844f3834c81e3c801c74e13debcaa5944","datavalue":{"value":"10.1007/978-3-642-14162-1_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$2E2FA565-2ABD-4288-8648-E4C77D7F0E88","rank":"normal"}],"P16":[{"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":"Q3587459$55556FE6-F4C7-4994-82A5-970F105D8AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587459$90B65E72-CB28-403D-9566-0D37CB63867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587459$55E7BF9A-14DD-44C2-AFB8-68CA08FD6A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587459$F5FF1863-4885-4D02-AE79-560DA78555A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587459$14FA2F1E-1A9A-4EC5-A3C6-98C2867ED76A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-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":"Q3587459$C65AFC61-618E-4B5F-8335-66A6F5B927E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$A9E6012F-61BB-474F-93E1-299A0EE71A48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dda78d08c97c94913de02a01334a307890bc6f1","datavalue":{"value":"5780565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$FC52C785-7D23-41BE-8B3E-5311BD457810","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c216eb746be8f2eb48c283ee23a690b63d32577","datavalue":{"value":"Q57652411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$E15B9043-261E-4865-A1E6-D325A38BC24E","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":"Q3587459$E2F65B28-209F-4A8C-8098-2CF2240AC80F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7c55c6a627283981d4541391b340afa5a444e8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14162-1_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587459$F43D9662-F45C-4C9F-AF28-F398F92D9E94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1792ff8f31427546b829e5d2d0d1e7604c58504","datavalue":{"value":"W1944468146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$32D2E86E-6E75-4978-88FA-9C880F00E851","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4c5fdc93e2f0c0f40870055654677ba62117b225","datavalue":{"value":"conf/icalp/LanesePSS10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587459$98C5C2DF-951E-44E7-B21D-5358C35FA099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c6a1927558a8c3a0d88cfe0cfdb959b5d550ed","datavalue":{"value":{"entity-type":"item","numeric-id":1935453,"id":"Q1935453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97feb5314e7b58b9247e0ef3fd373e82055d9c1c","datavalue":{"value":{"amount":"+0.8564649820327759","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":"Q3587459$01C4EC5E-55F0-4DC0-BE5B-8B360EE9FB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964869948e3f6f83d358318a41287851d30dcfad","datavalue":{"value":{"entity-type":"item","numeric-id":2802492,"id":"Q2802492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d78167c4430f77ae1c0800dd132b8403d269a1","datavalue":{"value":{"amount":"+0.8329203724861145","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":"Q3587459$A96035B4-91D8-42E6-8360-FA22E2A96984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae0c724b74c5ccd12b28ad2a06958b2cd676a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2272988,"id":"Q2272988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e757a4b261fbba2f65fcdf71b33c0de7eea7b0e","datavalue":{"value":{"amount":"+0.8306999802589417","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":"Q3587459$E43FF069-EEC6-430C-B104-77FAD1DEFF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f26df87fbdfd6eca901869db0e698b03442e35d","datavalue":{"value":{"entity-type":"item","numeric-id":2842599,"id":"Q2842599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0d19d71e136715bd53adf8e412dfa6ac0d0ff1","datavalue":{"value":{"amount":"+0.8268974423408508","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":"Q3587459$37F8539C-3D3E-4C0F-8E45-D7E65127D40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6a1c2a751740c88e85fde805ddb9c3de42c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4cb1e739ac9f506e725405b4c510fdb14a5a63","datavalue":{"value":{"amount":"+0.822207510471344","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":"Q3587459$411C9B0C-54CB-4463-9EB5-802FD5C9E261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587459"}}}}}