{"entities":{"Q6859928":{"pageid":20656201,"ns":120,"title":"Item:Q6859928","lastrevid":84252380,"modified":"2026-05-14T05:38:58Z","type":"item","id":"Q6859928","labels":{"en":{"language":"en","value":"An automata-based approach for synchronizable mailbox communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158320"}},"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":"Q6859928$86D16BB5-CACF-4A50-A34A-F466F46135B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50270fe9ffb5a8f80ae6961c986bcf67b27d2837","datavalue":{"value":{"text":"An automata-based approach for synchronizable mailbox communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859928$6D070C8C-3EF9-43EE-A3D2-51FEF617AD51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0733ee1b89d7fa401021a11269bbba9c46c32c2a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859928$8512FB9F-3FEB-4A3E-9844-4D1C530EE416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22bcf537d507eb40d88b5ea9c61a4440ec4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":6859927,"id":"Q6859927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$733C8F0E-A64B-414B-BE2E-7A956282077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$22FA4279-1E9A-4AB1-BB4A-9A362EF3B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$3D7C3D80-B0C1-4376-B637-3D407BAE3181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859928$C9D09794-BCF2-438F-AD2E-382CB54C178C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859928$3D17F858-C9B3-47DE-8469-0B32D3C867F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ff424f25869f2511b6e119bc6ef9ca94880664","datavalue":{"value":"8158320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859928$1260F5A5-7DEB-4ECE-B7C2-7CD59C46F0FB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$CF079B49-F6EC-4E52-BB45-EFF3243D7555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859928$26282581-C5A5-4F9E-8853-041A11883633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ac42619ee86e0ed5a907feb6a0a762f9830ad1b","datavalue":{"value":"mailbox communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859928$46870B01-34F6-43EA-B596-787D6F668D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859928$4417707D-CB2F-4831-892A-665B4D1FBA5A","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":"Q6859928$74152A1F-E09E-4F5F-BA1A-347CF753F886","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$AE9272B3-63E0-432D-9EE4-88992038E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7505597c81a09497efeb5d84c0a8eeef959a9eb","datavalue":{"value":{"entity-type":"item","numeric-id":6134258,"id":"Q6134258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$6E763F04-75A6-46E5-B1D8-B1DB66921507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00e5f9acb3e071b719cb1ef4646f599160dbbd3","datavalue":{"value":{"entity-type":"item","numeric-id":6043166,"id":"Q6043166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$C37A7A43-0B31-4DBB-8F94-44ADFB509DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$90D32B4F-B831-4E55-8EC1-E9A26C07B8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e956495daa5fa4cde9f4e5280545198a285910f","datavalue":{"value":{"entity-type":"item","numeric-id":2377130,"id":"Q2377130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$44D478F5-DE04-49DD-9385-70661711B148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1af819f42c2561ceeaf240c1f173e1ae23f979","datavalue":{"value":{"entity-type":"item","numeric-id":6859928,"id":"Q6859928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$C6E0DACC-BFA6-4CE9-AFDF-9EF74DCB74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b358bee3f2c561a4cb9fa988016d8aa82f4c054","datavalue":{"value":{"entity-type":"item","numeric-id":2200819,"id":"Q2200819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$CF04703E-90C1-44E6-8C28-52D073E0D21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$C59951BC-4102-4FB3-9D5E-00EAB9E81AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9693b6aab4e859fd3c29c6b9ce137f9cf3214650","datavalue":{"value":{"entity-type":"item","numeric-id":5431917,"id":"Q5431917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$91469AC8-7FEA-4E6A-B024-A2DFB5EFE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1fa2a8ed3d2cfd6123630a8d878f8be8b86","datavalue":{"value":{"entity-type":"item","numeric-id":2495403,"id":"Q2495403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$D3D72DC1-188F-42B2-B434-A910FAD72435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ca645d90256f74bd9d11d89bb946eb99f80dbd","datavalue":{"value":{"entity-type":"item","numeric-id":6070755,"id":"Q6070755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$FE2F728F-22F6-4CD3-8EF4-E5B1BC4D1D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c123be452f342dd792542f8c68d106a9013fb1","datavalue":{"value":{"entity-type":"item","numeric-id":2244826,"id":"Q2244826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$65EC88E8-3B46-4483-9A4D-C1071DF03AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$09032012-0189-4067-A21A-CEBC59399BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a9be76f69ca7fd785f1ef8b64082dd054cf080","datavalue":{"value":{"entity-type":"item","numeric-id":6535693,"id":"Q6535693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$A9587C31-6FCF-473F-9874-23D5F1935E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e83afc40b2c84158d68f744a1022b6e0d38ba","datavalue":{"value":{"entity-type":"item","numeric-id":6176120,"id":"Q6176120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859928$B83D5A17-CF78-428F-B0C5-A1D0C39E4C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automata-based approach for synchronizable mailbox communication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automata-based_approach_for_synchronizable_mailbox_communication"}}}}}