{"entities":{"Q6934060":{"pageid":21107920,"ns":120,"title":"Item:Q6934060","lastrevid":84115181,"modified":"2026-05-10T10:50:58Z","type":"item","id":"Q6934060","labels":{"en":{"language":"en","value":"Partial typing for asynchronous multiparty sessions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089498"}},"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":"Q6934060$DE1080A0-11FC-4E6B-8749-5DA04A4A4127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eee85b1f4196953edca792d3b0c90165b4274741","datavalue":{"value":{"text":"Partial typing for asynchronous multiparty sessions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934060$D65ECEDA-D96F-4E75-BB50-9E848BD44B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b500a12fb12eabe328ad6d4803bf5ca297e3e123","datavalue":{"value":"1572.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934060$B4153A6A-D48F-47BD-B19C-DAD99D54DF34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a727d7b4d560156eafb9709e468a2e799cc0b268","datavalue":{"value":"10.4204/EPTCS.408.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934060$E6F55A89-8A93-4C28-A899-8C53A08C2FE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$E14B4F8B-048B-4467-83F5-D0243CC4EAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$8AEFE323-F990-47F2-8C19-48875E566239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$EF8C8E48-553D-4F90-A642-0BD793354171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934060$967788E4-5328-498D-B2D1-CAFCE22D2A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934060$83035B0C-4321-45D4-AFFD-1812EA138682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934060$EA3AE835-2FFE-404D-982D-3A5514062FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1004a8f9969588e5214d9e5fe90d0eac32341b4","datavalue":{"value":"8089498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934060$C7379D81-1AD6-4C03-9AB5-07E35E4C9F21","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":"Q6934060$8F42FB21-1B4C-4E64-80F3-616A4A82C4F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934060$EE604F28-517D-4246-9FA5-B8A5FB56B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27856c0da695a322e7afa82ea131a6e7281e06ff","datavalue":{"value":"asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934060$BA18DE31-A2A7-43EE-9B53-8238226C82C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d17d364c67c5f0118c15021cfc1638ad9e92b6","datavalue":{"value":"lock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934060$DCF7D173-E7D1-4776-B182-4C12335F80C0","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":"Q6934060$110E9D40-EECC-4840-85C8-B46966D01E62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a528fc29aaedcd95a1031da5dd79923e4c91d519","datavalue":{"value":{"entity-type":"item","numeric-id":6197376,"id":"Q6197376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$4CA5849E-5ED7-40CC-AFA6-F7BB96760E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01bc710bd596d67daa1725e96d0e7fb8babd71","datavalue":{"value":{"entity-type":"item","numeric-id":2329306,"id":"Q2329306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$B3048EC3-B943-4535-B930-B55E8C16F945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7755252b68252fe76125c5606b76f9cf80940e20","datavalue":{"value":{"entity-type":"item","numeric-id":2286741,"id":"Q2286741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$29578DDB-0F42-4310-B99B-43BAE7C4AB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$10F32AEC-2019-4919-BF34-102282170C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bac31457dd4e579b8d0cb480b529cf95beab75","datavalue":{"value":{"entity-type":"item","numeric-id":5883749,"id":"Q5883749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$596C726A-150A-4335-A37D-17F49C321398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b788c691120b21bc6d328923e94baea026961a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914375,"id":"Q2914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$D0CD6364-97E9-4F6F-A165-AB46F19FD263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$9FAFACE3-0ACB-4C8D-890B-6CD28018F8AF","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":"Q6934060$118F1962-4617-425F-B224-E190C8A55584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23a59343905749ce8faea88bf6481b36e9817b8","datavalue":{"value":{"entity-type":"item","numeric-id":517997,"id":"Q517997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$ED71884A-BE73-4E0D-A560-43046FA9090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$C657967A-71FE-4303-AA54-79FF72A51F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e545f1adb45625b2fad19601bcc83d390e150b5","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$04F4A81B-CF7F-46F7-8C8D-C3E39B2696F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934060$CB0B8F7D-AE40-466E-9EDC-B7118C3137EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial typing for asynchronous multiparty sessions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_typing_for_asynchronous_multiparty_sessions"}}}}}