{"entities":{"Q2233404":{"pageid":2244147,"ns":120,"title":"Item:Q2233404","lastrevid":57686307,"modified":"2026-03-31T22:06:12Z","type":"item","id":"Q2233404","labels":{"en":{"language":"en","value":"Leafy automata for higher-order concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410425"}},"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":"Q2233404$ED273E15-9C96-4CF4-BA38-BBF284D92857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d8bcac01c3812489417f9fa2dd612b94a75e3a","datavalue":{"value":{"text":"Leafy automata for higher-order concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233404$CCD98F08-F52F-49B1-8EB4-75CC1E477215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48fb4259a9ea138899ce15576e3693b09d422a6","datavalue":{"value":"10.1007/978-3-030-71995-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233404$30DE5114-F154-42E0-81BC-58AB96062D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"588505917d9cf8ed32ef298ecb97a73680191260","datavalue":{"value":{"entity-type":"item","numeric-id":2233403,"id":"Q2233403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$BAC6F717-C2C6-49D7-8C03-A4C305E317E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$3C9C0B5E-33FD-4EAD-9C9F-864E23A5FDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$CC13F685-16EC-408D-86D0-D0CF538B49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$5CDF86D9-2E42-4C18-BACF-8A3301926434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233404$4975BEA7-1F9A-454A-86F9-9E9716E3D9D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fed9f6003008988249df58b09e09f8e4841532bd","datavalue":{"value":"https://arxiv.org/abs/2101.08720","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233404$E48C3252-B0B1-4003-8917-EDF71BC75F88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233404$A95244CC-57D5-4492-9023-16416994E570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233404$5B053AE7-09F6-44E5-8020-A80F10398115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2ca59d212e31f25c31445e54576d92dd7b94fcb","datavalue":{"value":"7410425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233404$281D2CEE-CA96-41C5-91E8-49AFB4601BF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d1003dcc84c84d44ad0cee6cf7924d181a32f","datavalue":{"value":"finitary idealized concurrent algol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233404$3497591D-0478-47A3-8099-92DE9AE34D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"881b1b26b4c965a56835a0d558843e4cfad22e8c","datavalue":{"value":"higher-order concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233404$CD6CBB2A-1D30-47B7-9F2A-589F0C2D2165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5982476bb9b7c446c5ddf52c423e81a4394eea4a","datavalue":{"value":"automata over infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233404$5BF27FD1-8A0F-4C88-9D90-C91011C1ED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233404$DC0AE8D0-FEB7-45B4-B4C9-1D22C4F9DCB8","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":"Q2233404$1727C21C-1AB4-46B8-AF6E-107DAD07EECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"556d7f379d00f83fa5c6801bca433fcd7e5a5e54","datavalue":{"value":"W3142760835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233404$26A65AEE-4217-4E77-9082-5A7D2B9D5AA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$EB920DAE-FD64-4BB2-9A4E-7208F6209D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$13A4678E-3648-4720-8153-9AE821C1C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$C64D1387-D055-458F-8A8A-BF484A646F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81f86a995323782717473ac2fcc37f7aab293","datavalue":{"value":{"entity-type":"item","numeric-id":3457774,"id":"Q3457774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$CC46B30E-CF8C-4636-801F-B60A0A2F0841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7265e9e11cef8ee9783f60b6b7d3fb8808c7c56d","datavalue":{"value":{"entity-type":"item","numeric-id":5458322,"id":"Q5458322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$C22302B3-F12C-4EEE-A865-7346414AA95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9414b6f40cbda047adefa0d8681a5a5af47eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$85C1ACD3-80CF-4981-923E-1C443C9CB833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fa17cfb0c3b1bd6e8adb2797151d49839d70ab","datavalue":{"value":{"entity-type":"item","numeric-id":3525617,"id":"Q3525617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$73EB2B30-AA34-4F41-ABB4-EB89EF1C8885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$6AB92A9E-D733-4D83-A230-F9D744044B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$915A4D9C-82AA-4648-8517-178E56E1C652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e793eae4f726f40748f10aa19999dad92902a","datavalue":{"value":{"entity-type":"item","numeric-id":2949443,"id":"Q2949443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$1D5E6212-C064-420A-8683-988A2FA6C5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65ac6b955c4894e08f171f611564a80426123fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799172,"id":"Q2799172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$EF445F8F-2834-4FB1-8ADD-BE4DAC150C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$7CF6EBDC-4620-4D97-9D71-68CF79E53B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fa92e858a340ccee89edd220e0d818a3e76b8","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$EA7EFE58-1778-4BE4-830B-56929A22D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231a97eb6f7645ef83f7077487f1df805e9ef1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3384159,"id":"Q3384159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$B2AF3BB2-DCEF-47A7-AD68-1676E6C9FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8021f8afaf1c3c3ec1966d32ae421b053568968d","datavalue":{"value":{"entity-type":"item","numeric-id":2233404,"id":"Q2233404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$C64D7B2C-D589-45E5-B77F-5BEC633BFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f1496304642c06388ce476e326bc07927e2907","datavalue":{"value":{"entity-type":"item","numeric-id":5271094,"id":"Q5271094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$6FD8B3FF-79BF-4F14-A1BE-79CB5DC82C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$EF2B7107-72AB-4E8A-A589-8FFFF2E48E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77835ea41da83053700fdc98383bb8b3fd3094c6","datavalue":{"value":{"entity-type":"item","numeric-id":5899066,"id":"Q5899066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$8EC38C64-E45C-4BDD-B0B9-DC20324955F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdcd589c76b4f2b17295ed254369e150b770afe","datavalue":{"value":{"entity-type":"item","numeric-id":2474441,"id":"Q2474441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$575DD787-D275-4F7C-806D-861EFBBA66E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37684ca309d7341955265be8607ee50d89340848","datavalue":{"value":{"entity-type":"item","numeric-id":817845,"id":"Q817845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$D9C2B34C-3593-4FC5-A00B-D6DF35F4507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e815b905ddbfd1992f8908ab8ce4c6668a6cb07","datavalue":{"value":{"entity-type":"item","numeric-id":2963923,"id":"Q2963923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$14B98488-80B8-4005-B9AE-DFF1385E58D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$6F223E2E-A2FB-4BC0-ABC1-8713DB22B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525b1b5aa44e7012097c2b019dbad7866df83e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$0AEB87ED-5F4C-452D-9055-FED01133BE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$29ED884F-652B-419A-B210-FAFFF12D2B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fceb78452b0675e82e00e35fe3b8b2e7312238c3","datavalue":{"value":{"entity-type":"item","numeric-id":5144659,"id":"Q5144659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$122E8D3B-99F8-40E0-BA29-4C4295EF49D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d96cb56c140da2882fd57eb4c7b6a8de70b39b1","datavalue":{"value":{"entity-type":"item","numeric-id":2570133,"id":"Q2570133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$CAC5A41E-3644-4AA2-AF82-4630FCCE535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec58d7460336dcec04c676b252e563ada4537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3460582,"id":"Q3460582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$E4FC36EC-079E-4D08-8DA4-00CC0DDFDDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141c8fe6f274dfd4fd898443807fe601909c66dd","datavalue":{"value":{"entity-type":"item","numeric-id":2474055,"id":"Q2474055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$94148D34-4931-4B98-9221-64D0D3D57F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$BBF9A36E-1B49-480A-B2E6-C333A5CDEC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb27b7af34ab0402f1db377455dec0d9d637933","datavalue":{"value":{"entity-type":"item","numeric-id":878749,"id":"Q878749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233404$1100FE7E-5CCD-4D80-B932-4619FBB5FF9F","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":"Q2233404$EEA129A2-0718-42CE-8AB4-51E8BEF0F747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233404"}}}}}