{"entities":{"Q6488975":{"pageid":14067744,"ns":120,"title":"Item:Q6488975","lastrevid":95334980,"modified":"2026-06-05T08:52:35Z","type":"item","id":"Q6488975","labels":{"en":{"language":"en","value":"Relating Session Types and Behavioural Contracts: The Asynchronous Case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817466"}},"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":"Q6488975$F0F5D710-AA86-46BE-8956-7C98AE66E7A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4384e853fc22ee97766fae3d61c1a08888d5f840","datavalue":{"value":{"text":"Relating Session Types and Behavioural Contracts: The Asynchronous Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488975$855B1278-E9C9-4905-B683-0BAD4272076B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aed6866e9fcbb7e12a4117b4a972bb595b5f77c","datavalue":{"value":"10.1007/978-3-030-30446-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488975$4474E08C-E517-4BC7-9A1B-CC4FE5E97069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$CB9ECFBA-2BAE-4E9C-8B75-DB24E26C862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d91e0796f4c68c98b603f92340529dc983950b","datavalue":{"value":{"entity-type":"item","numeric-id":418829,"id":"Q418829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$E61B073C-D9F9-455B-A7FF-D59C83295878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488975$80D860A4-1AA0-4A80-9392-3769088DFEB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488975$CD2F28A2-F523-44D5-8A05-3997B70F4386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea85dba8209c94424066abd9fcab77d726ff8d2","datavalue":{"value":"7817466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488975$E2FDAA52-9384-4D5A-BD48-3F29CF7F3BEB","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":"Q6488975$2E28B458-BC5D-4C9F-A1F3-39FCB02B20CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"429ba536d610533a4c5ba6770fb487a1f472c908","datavalue":{"value":{"entity-type":"item","numeric-id":3545273,"id":"Q3545273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$D8FF0FF6-1739-40DB-8634-F0E38BD2AEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880fae6b4a245a9722e9cde2af4e24ce6f386e60","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$A75BF92C-D013-407A-B555-E2AB8F5677CF","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":"Q6488975$60F12189-2B40-4467-9DEB-0CFF3DBFAEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf666017523d842001393c24c0187a42c6d4b0b","datavalue":{"value":{"entity-type":"item","numeric-id":2413025,"id":"Q2413025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$7CBA40DC-C402-44A5-B128-711D512B79CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7936b855b4220cfa21daf320e88f2d4410a7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$B2C27BD9-BC86-4540-8D91-0FBB845B96A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b666f80cd69278d3fb19208e2673192a6a3c25c","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$9F06E4F4-4DD7-4BF2-9234-A7EEA2AC0FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b260a77db7237adc647e8615618d63f1ce06e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3508527,"id":"Q3508527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$92C8EAEC-FE06-4812-A542-8DECCC7DAD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fd3393ec124f0c89e107bc46852a8330aa136d","datavalue":{"value":{"entity-type":"item","numeric-id":3636911,"id":"Q3636911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$2EFF14C5-BFC9-485F-912B-459536B54712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b7c6ac7da5de5a5880cecadd1be1f983b7b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3189845,"id":"Q3189845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$A0C4E03E-DF36-48CA-8B42-CA6E80A54DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4679e9d355ce9b79d3048e6fa8de9d2a93c55e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$CB471C8B-ECC6-4696-A79C-18F470012B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49577397704390acf28cca1c69a1876ee2d17e23","datavalue":{"value":{"entity-type":"item","numeric-id":4643210,"id":"Q4643210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$A3B4F82E-6085-4E08-A555-CBAFE17BE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$329EB304-CFCD-48CB-8F94-DFF261EBCA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8bb0c7c5ff60596838c890ac1899a56bce410f","datavalue":{"value":{"entity-type":"item","numeric-id":3525639,"id":"Q3525639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$F9E556AD-C9D7-47EF-A14F-E3EA7B9ED455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$401C426B-3EB8-493F-AD39-393E4901AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$F769D491-DDBA-4D46-9F27-C8AE2758557C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$D97FEA24-FE31-4A32-96F1-0C268F09AEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cfb261abf4927c037a8cca169f54ff4ce8b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2343135,"id":"Q2343135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$85E3A931-87F2-4308-A7C2-14D950B902E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c509e9f896407a8f270a7bcdc0c64d92c27dd","datavalue":{"value":{"entity-type":"item","numeric-id":3617708,"id":"Q3617708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$3E2E1C58-9F88-4FE5-9104-8325BA0FC33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b417da68d5e260ebbaa6a1e9fbd1c014c3e45625","datavalue":{"value":{"entity-type":"item","numeric-id":2828297,"id":"Q2828297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$1137723F-E113-4CD6-8AAF-0BC05D1D274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99307283c5f6df96c84ebfc816bd090f3855207","datavalue":{"value":{"entity-type":"item","numeric-id":5371999,"id":"Q5371999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488975$3DE7F466-7F48-4E74-87BF-05AD4F2718F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01615a9d5e63f7cb5c68bbd6f7ca195da6dbb68d","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fccd915b090c0411e2a20da3e1f731a74bff85","datavalue":{"value":{"amount":"+0.8151797652244568","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":"Q6488975$7E3F441E-26D2-4D9D-AF5A-D5E5B270F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e262a7774ba35c0e77b0de8a32200bd6c6329830","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2d1aa548c2cc8d72bd19afc052fb996e1d9c2a","datavalue":{"value":{"amount":"+0.8081492185592651","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":"Q6488975$DB349F41-A3A6-49FA-B090-6C18C6EBE4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa05ff4bb8e74166a49ec434751eff5c5b4ec239","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4f64dbe068fac9c5dc5759f5c9b6d6e1155350","datavalue":{"value":{"amount":"+0.7935786843299866","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":"Q6488975$5819DEC7-3FED-4511-ACD2-47BD2F1D973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3ecaef8fd9a1f89baf589abe2aa3f3f1bc0598","datavalue":{"value":{"entity-type":"item","numeric-id":6635515,"id":"Q6635515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7086c05949f5e82de3eed6e5ed832172b1c6ee","datavalue":{"value":{"amount":"+0.7923280596733093","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":"Q6488975$D99E17A0-8A81-4AFB-B822-86C2F017EA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e714ea8fcf9a532ec1e5ec133f44dcc88ec9cb90","datavalue":{"value":{"entity-type":"item","numeric-id":5740659,"id":"Q5740659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2143448850357836ef17989af10d1a2a1cea803","datavalue":{"value":{"amount":"+0.7901425361633301","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":"Q6488975$79B7BCF4-F677-4F53-B0A8-4F2EAF2CD73C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating Session Types and Behavioural Contracts: The Asynchronous Case","badges":[]}}}}}