{"entities":{"Q6543263":{"pageid":14154406,"ns":120,"title":"Item:Q6543263","lastrevid":42333244,"modified":"2025-06-11T12:48:26Z","type":"item","id":"Q6543263","labels":{"en":{"language":"en","value":"Mixed choice in session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7852926"}},"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":"Q6543263$37E2C615-E862-4526-A21C-38156F747560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9ea903f971a32500714193225352964246a7363","datavalue":{"value":{"text":"Mixed choice in session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6543263$3091EEA9-D227-472E-8C62-A7EA00F13B5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$0F257DD4-7AA3-4C3B-960D-3C48CEF50190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$8170A408-AAEA-45ED-BDE7-6C7F6F6F703A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$8ADDED82-BDF7-4BA6-AC54-379C189DDCE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"893fb53545aac89b2e48fb25bf93d283a1a22adb","datavalue":{"value":{"time":"+2024-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6543263$4826268A-8A58-4B2F-B60F-54B8B8F87263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6543263$7E157906-0425-45D2-9EAC-3AA92ED9EA8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb95b440bc54db88f5e915556a8b0ca9b6946cd1","datavalue":{"value":"7852926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6543263$6B7B62C4-6192-4D8A-8FC9-067EF596686E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6543263$0FB69294-4DF2-468B-BF3C-0DB49B56370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c6d9ec4cce7390348f6479f7567ee63c156b5e","datavalue":{"value":"mixed choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6543263$9F4BA2E4-2068-4769-BF70-E5DB7D8C3312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6543263$53570D65-20B5-4631-A28A-16F795BA10C5","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":"Q6543263$F55E0EC0-5F6A-441F-A545-59D312D87B4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"535d300de6f235b57fd94050dc81ad2d61061b91","datavalue":{"value":{"entity-type":"item","numeric-id":2182667,"id":"Q2182667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$9A1B7B76-8BB7-4109-927C-CFB5B9B95D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035b586b232b9d9694891b506ea7a6cc11247246","datavalue":{"value":{"entity-type":"item","numeric-id":3636814,"id":"Q3636814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$419D3516-07D9-4734-AD81-CD9680D3CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$FB464AD6-C1C5-4D38-935A-3982B486C87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4390b6b24acac639d15a876ec1597138a5a9bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2055956,"id":"Q2055956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$1712C153-6442-419B-BA00-29B959665A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e9fbc6a1ab00423fa4af5093f0c63c12d0a12","datavalue":{"value":{"entity-type":"item","numeric-id":896903,"id":"Q896903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$93612160-6C4F-474C-836A-B1A1398536DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$7A531A09-D152-43F9-A417-B646FA2D48CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f0a6015a7672c788b107d924466d5b546a3fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3599113,"id":"Q3599113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$0E733251-B15C-4A61-B670-8272398CDBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265c5cb839de7127e39cdfa898752a643202018c","datavalue":{"value":{"entity-type":"item","numeric-id":4986261,"id":"Q4986261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$E858D034-22B4-4031-96E9-05C635380BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5bb5cbcfbfad5b368785c06d818194391a6e85","datavalue":{"value":{"entity-type":"item","numeric-id":1652980,"id":"Q1652980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$7EB3E83F-29C9-4EC5-8B8C-808C7F4DE57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b7e15a02a17350d218efc3fa90fdb81bf90751a","datavalue":{"value":{"entity-type":"item","numeric-id":6166803,"id":"Q6166803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$44C5C2C1-9A8B-44D3-A511-6F11E5D11E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74daea4ef7d22bbae8c4e0469a2275670b3dabb5","datavalue":{"value":{"entity-type":"item","numeric-id":1004386,"id":"Q1004386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$FFBD9F84-582A-4C17-9381-247EEA39C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02ec080c2639093463cac55bc85186179051e3","datavalue":{"value":{"entity-type":"item","numeric-id":660996,"id":"Q660996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$DB18A9BA-A0C3-445C-8185-F9CC3E220CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$0F6746C3-3491-4D55-B8E0-2434E5725291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790778054f0b8617f9a706a7beba5447691c83fc","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$E53BFDFA-D89B-432D-AC54-E90BF8E76E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6043091719d468be3d397a59192595d00eaff4f9","datavalue":{"value":{"entity-type":"item","numeric-id":5041094,"id":"Q5041094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$37A0657D-1DB9-4AC8-8CF0-F0420EA2F693","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":"Q6543263$39F130A0-8FD1-4CE6-B46C-47F50E7D14F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$582D6BA5-59EC-40A0-94A6-C470DA420A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$91E0CAE5-E2CE-42ED-9530-6B57D10D83C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$57C04A55-EC15-4785-9F9E-A8465CCA9D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126c414571757a7ca2110b0bfbe8eea62391e41","datavalue":{"value":{"entity-type":"item","numeric-id":6612287,"id":"Q6612287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$0F3D6C77-DFFF-4C27-AA6D-A26DC9BC8584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7144675b54583a124c3dc7dcb936306ecc846d3","datavalue":{"value":{"entity-type":"item","numeric-id":2870198,"id":"Q2870198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$D8692BAA-8C28-479B-96EB-781280D73666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891378a0408b05480504c5f2a6ef39f382689180","datavalue":{"value":{"entity-type":"item","numeric-id":5741574,"id":"Q5741574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$DA9C2DFD-B171-4154-9F04-36575B66B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265838b4ff7fe5f1c9d4c94933c415bd57b438b4","datavalue":{"value":{"entity-type":"item","numeric-id":3385647,"id":"Q3385647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$A8C81990-392F-42DA-A040-54FEE8C0E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725b1f0a4be308734d31eb0b7bb1b83f63ec09e8","datavalue":{"value":{"entity-type":"item","numeric-id":5013871,"id":"Q5013871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$888CA7D9-9C13-4274-A124-A2DD26E25B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5360f20cbcc4690d807f9a1580a29b37f26ac6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$C3CEE1FD-3386-4726-B69C-E7318B9D825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6885762ef68490fdd49df4ac00a9028eea2d6f89","datavalue":{"value":{"entity-type":"item","numeric-id":2971075,"id":"Q2971075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$26D442BC-536B-42B0-8FA9-8B68BF29598E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d387ae49ac4a71a60cbdf06a11d25c1d26685529","datavalue":{"value":{"entity-type":"item","numeric-id":2216122,"id":"Q2216122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$836C33B3-C61F-4BA9-9253-302B50660E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a9259c0dcb23888ec017e4aaa85b3ecbea38d","datavalue":{"value":{"entity-type":"item","numeric-id":5326293,"id":"Q5326293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$D7262B2C-0171-4F28-85DE-A09E5A41A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9c36333247dac87ebcf0f646583cebfbd3b2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2971080,"id":"Q2971080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$506BB2C7-D71F-4782-ADC4-5E071B69260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86d5e07be71ce12f2d7ed3358d4f65446de8ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6190871,"id":"Q6190871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6543263$3694980C-212E-4DF2-B2A5-9E0130843C83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2bd7b8a0190b058d0be10fca21c0b97728b1767","datavalue":{"value":"10.1016/J.IC.2024.105164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6543263$407C330E-C519-429A-AB6E-50F4EDDD482C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6543263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6543263"}}}}}