{"entities":{"Q888409":{"pageid":890257,"ns":120,"title":"Item:Q888409","lastrevid":52382588,"modified":"2026-01-22T12:37:42Z","type":"item","id":"Q888409","labels":{"en":{"language":"en","value":"Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502569"}},"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":"Q888409$FB26AFBF-DFB5-4A8E-9938-6B0EDA94BAD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23cdd522b923149034fc4c38f3e4e8b332072bb5","datavalue":{"value":{"text":"Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q888409$76F18C07-A685-4868-B0E7-566C9966A325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59d78dab0f75d203c33f9216cd6fe85af5e5778b","datavalue":{"value":"1341.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$B2C0A0E0-AB22-4B58-827C-FFAFB67E1AA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$432E865D-1461-437C-8F0E-8D198255CE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$420598D9-5280-4E93-8504-03A48CD46227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aee85b6b4aa4331b4495900429f276dea803b3f","datavalue":{"value":{"entity-type":"item","numeric-id":888407,"id":"Q888407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$F0365F19-6F81-4BC5-B80C-E35B55DB5969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8cbb91078a1e37fdfa0d1781825e7783f547937","datavalue":{"value":{"entity-type":"item","numeric-id":888408,"id":"Q888408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$31C3E4DA-9980-4FB7-AA91-2602E89F9253","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":"Q888409$660900FA-AD3D-4BA0-9713-C5435FF120AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$FA001CBB-4D6D-4F74-AB42-8356A4BC8255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q888409$6A3DB0FF-1088-4A2B-B5A0-AEA2A98ECD62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$2D41275C-4DDC-43A7-9F03-4B10A8646F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$C8AE8F3E-4597-4851-9A5F-BEDAF5F31501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$FE56C229-E809-45B3-85A6-90B3CC71BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$81DB7CE0-70C3-4863-8F9D-E61E29500909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3b0f95f4d73e57d25d994b2169711e772479a4c","datavalue":{"value":"6502569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$49BB6D7A-2703-48A1-8320-36E1E5A1EE25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q888409$1B654A47-F121-4B51-972F-8D46822264F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q888409$993C442B-9CD1-4895-9E17-07D12F274BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c07820699b1a5d188ec027dab6eb6ba6354d9ec","datavalue":{"value":"Python","type":"string"},"datatype":"string"},"type":"statement","id":"Q888409$180FADB9-B8F8-4883-8209-BDF43F3EEBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q888409$C9C48A87-185E-4692-B999-3B8927F1CBB4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$62D74405-59AF-4476-8F52-C767D04805CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ff223f4a816479bd35b0519dd1cb125f31c19ab","datavalue":{"value":{"entity-type":"item","numeric-id":32677,"id":"Q32677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$C966AD4C-9CCD-43A8-8E6B-F7FEEB46DDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61595298753fdb181bb97b1c28a7420fd8e6b9a8","datavalue":{"value":{"entity-type":"item","numeric-id":33272,"id":"Q33272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$6ED2AB2E-6B93-4A97-88F5-0C49820E8922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f7204312a5a366856d3beeaec254109ddc63fff0","datavalue":{"value":{"entity-type":"item","numeric-id":33635,"id":"Q33635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$1FF2FB3D-0E64-4634-8102-9BE7C0E62D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$C04C5979-5EF5-4F47-8F41-B55AA927F542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$306FE515-C6B8-4AED-850E-9B3ADFC9B1CC","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":"Q888409$CA16FA9E-8757-4701-A79F-23442683597F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2511ae258c1bcb74d9620413fb897fcf4631ed5a","datavalue":{"value":"https://doi.org/10.1007/s10703-014-0218-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q888409$EECCA84C-908A-417B-95FE-6330D5F58851","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6c266f49a386dda05bd5bc9dfdb3fa6d06edcc2","datavalue":{"value":"W2005274596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$EB64D0EB-A2A9-458A-BE02-73341C6CF81B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"921549a305de974307eca8c8f79f5ba0eb42e14e","datavalue":{"value":"Q120968873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$4E7B43E3-7DCC-4AD7-81BD-5D99049806B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$384D594F-F0E1-4631-982F-494DC9E2FC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea421afaf32ac79667c851bc601181d8946a2f82","datavalue":{"value":{"entity-type":"item","numeric-id":517050,"id":"Q517050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$C7E3CBD3-AE59-4C8A-9B5F-A4C75899BC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d992798afe7f502900c7c1c8931bd8aac4dbc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5902545,"id":"Q5902545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$C5697FE9-71FA-4500-8B2F-F95210D869D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f232062b41371490b45169090bdefbdf7f58d8","datavalue":{"value":{"entity-type":"item","numeric-id":615897,"id":"Q615897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$5EFC5DA2-AAE7-4703-AA5B-86F787448167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfd8461009a7b6c2a8d6560e52bbda64137b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2908863,"id":"Q2908863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$33DAE932-FCF3-4929-B629-397287A256BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67b6ee3bf3cd80869e7d5bf058398096a3b6aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3541033,"id":"Q3541033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$CADCF7A8-E0CE-4124-90B8-13D09BC2EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$791CD205-8173-45A4-A11E-3CA73E8454E1","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":"Q888409$82F5FD10-7C2E-4406-AC96-F85A0E090957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e3033269642a933c8c4f3dd42ebc18b5de0dac","datavalue":{"value":{"entity-type":"item","numeric-id":888409,"id":"Q888409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$E044C9CD-6586-40D0-BEB7-1B61A6A9CEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad42a40f7250f1eb6323f58e27b3d219eae7c69","datavalue":{"value":{"entity-type":"item","numeric-id":2441510,"id":"Q2441510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$955AD786-C545-40D4-B352-A579DFB1B4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042db5a1d6d45c0873a02f99f676cfe5a9b5ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5756484,"id":"Q5756484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$8E614F4D-7E5E-4261-8607-4E95922FA84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5b8e183e4d67340cb8891484d4bf8a5555fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5458402,"id":"Q5458402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888409$DE2EEA9D-BA48-4B53-A628-8012F124E064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6b3af37338291f14807d66a85569f1ebc265859","datavalue":{"value":"10.1007/S10703-014-0218-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888409$44814A90-10CA-4E5B-87E2-E70495F79AB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39a7966fa360e5997a608c30d21d71243723559","datavalue":{"value":{"entity-type":"item","numeric-id":1682289,"id":"Q1682289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9005612610a1ade3b08a1c0c514489dc973dc863","datavalue":{"value":{"amount":"+0.7917897701263428","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":"Q888409$7D016B8A-3EBF-4ECF-B146-9CDB4355BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55f82b79cd55e84c20b617e529be738518b9a6f","datavalue":{"value":{"entity-type":"item","numeric-id":517050,"id":"Q517050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dc1851ff4d5e4d51b4c2c6016fdb1dd90c0db6","datavalue":{"value":{"amount":"+0.7198240160942078","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":"Q888409$C49646C5-F217-43FD-B28A-6D7962C90C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6c629eb1ba54c50e4c8ade034298cff4f6ce99","datavalue":{"value":{"amount":"+0.7036027908325195","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":"Q888409$14AF4B30-D70B-46C3-8E0D-8253D6CC41BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c43a0705d6e56e42a254b1f11c66ea7e408d50e","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313a29187f78d4f5e619625cb40c3dbf37bf0193","datavalue":{"value":{"amount":"+0.6913226246833801","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":"Q888409$084FC184-02ED-450D-9FDA-B179F6FFCD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7d41d9f1476074c067460d0d30402e1d2dfa45","datavalue":{"value":{"entity-type":"item","numeric-id":2980982,"id":"Q2980982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ad8e5e1bdb4f77aad6e84b5170457e59828584","datavalue":{"value":{"amount":"+0.6904603242874146","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":"Q888409$28FA9D7A-9273-4092-AC8E-7EE8C030438E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:888409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:888409"}}}}}