{"entities":{"Q2811932":{"pageid":2822670,"ns":120,"title":"Item:Q2811932","lastrevid":55971247,"modified":"2026-02-21T15:33:57Z","type":"item","id":"Q2811932","labels":{"en":{"language":"en","value":"Corecursion and non-divergence in session-typed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591086"}},"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":"Q2811932$328E1BDC-CB59-4414-8A5E-68030509B7B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"144082b8a155886cb39cbdb409697b42c6022508","datavalue":{"value":{"text":"Corecursion and Non-divergence in Session-Typed Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811932$0E4F9A87-D4FD-479D-8A37-A154DB2D7CA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21b58425a44ffe7773675ed80b12abc56f73f8bb","datavalue":{"value":"1444.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$568F3D2B-6E1E-4C34-979E-F786D3ED2CE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b71790a640044e00540ea3fedccdf2ed13a154c","datavalue":{"value":"10.1007/978-3-662-45917-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$C45FB535-1882-4D06-9583-0249C602E431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$E782C6B1-89CF-4E54-A84F-A8BA3C3B7C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$7E59C81F-4562-4C8A-A117-968F8E1D2856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$CFF4C5EF-3230-4EA8-9CF1-9ECA8324018A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$FAE6604B-E0D6-4BB3-9003-BF87109A1160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811932$2E3EE89A-64EB-4F9A-8B59-E912E4FCB567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$CEA23152-6A8C-4443-AA30-A90F7EDED39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$8A30E037-D070-4834-BF99-F2AB78139643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03f3539c00d69edd422c27ebf273a23b7b70ef08","datavalue":{"value":"6591086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$CAAF08EB-6556-4D86-A464-78A84D039807","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":"Q2811932$F8A13A4E-7B69-4C2C-ACB4-F9FA62B30394","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12b45466046fd5a5760a60f309f6051a5bdde2f2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45917-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811932$67E3AFA9-E822-4BEF-BBC4-C7AD40A0FDD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf83ce127f042a74979b97558bf2f08bb21036e6","datavalue":{"value":"W183006709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811932$2A539E99-39CB-4C3C-AE35-02C855EED1CC","rank":"normal"}],"P223":[{"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":"Q2811932$7D6AD29D-7B91-4F33-B5AD-287C7B081E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$E7FD7F5E-E669-4FD9-BEF4-9E334FBAC16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$5012BD71-1520-4F1F-8AFC-11FFBE096B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e1b57f934a5ea607e669ba21b3d69c7da2cfc1","datavalue":{"value":{"entity-type":"item","numeric-id":3100198,"id":"Q3100198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$D866EA30-DC65-4752-B598-7723B9BE5DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b85f642234c28ca69edae9726642ba7a91a18cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$FB0693D5-DA24-4AC3-8931-D3131CB881F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$12C15B65-3D27-4F9B-9C12-AA25858DD2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$44FB5F43-81C9-498C-ADDB-98AB53B63C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02420b55b611e11c71fb1baf0d07be65f4765be8","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$8FE383DA-5D84-4ED5-A157-3FC6C04AF3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c2fcbad6542ce45729c4f97ee9845ed27114c","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$0F4CC16B-93E6-48DF-A7CA-ED5C8BFE37C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd79345a8f87c7895b144ad7e467b51606907b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525112,"id":"Q3525112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$434BDD13-BC23-4F2A-B977-D828FB7F30AC","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":"Q2811932$4A85EE9F-AA10-4471-A206-EC5041A8AEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$C1317B51-EEF8-4A33-B5D8-F51CFF68F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$5C9A4637-F512-405E-B090-2D06F23DE455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a326b69c87b9f25d4c9c2782e4ef3e10300d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$5C6329BF-E121-46A6-BEB5-C980FECADA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$0CB7E2FE-3F87-4521-950E-FE93F6078E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cef53906cd08b22db5c06d00876cac50e8d120","datavalue":{"value":{"entity-type":"item","numeric-id":3612619,"id":"Q3612619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$3BF8037D-5C4B-46E4-8596-F995FDB8C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$1996E651-2060-4843-8ACB-93401D0829C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd647b7e190f6768b66094a5a1a152a66fc6622c","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$926A315C-1D81-4293-BAC4-C9B522B8C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160ee1bc70f56dc54b5942fce84887e35197719c","datavalue":{"value":{"entity-type":"item","numeric-id":4933315,"id":"Q4933315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811932$43683834-E7AA-4186-81E3-2954BA37835F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67cf82a9449342d79edf289a3719b49792edc8e","datavalue":{"value":{"entity-type":"item","numeric-id":2985793,"id":"Q2985793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1e276c620c7d36fa665b4cd2f3833bd9aa2f75","datavalue":{"value":{"amount":"+0.7893465757369995","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":"Q2811932$F9F75AF5-20D0-4AD9-997E-1080B039CB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9445870cbee7e29a998d2e3477acf8a5b6539edc","datavalue":{"value":{"entity-type":"item","numeric-id":2802455,"id":"Q2802455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f619d77cae6909d231f7c18352c6d15850af8f59","datavalue":{"value":{"amount":"+0.7454410195350647","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":"Q2811932$4EA16CAC-590E-4B0E-928F-91320600B74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f96d05696dff98c91ef3b4983f06c82893de0ba","datavalue":{"value":{"entity-type":"item","numeric-id":5270091,"id":"Q5270091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ba9c39b88a375346e07d7092a8ec8671a32b24","datavalue":{"value":{"amount":"+0.7394010424613953","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":"Q2811932$396771E4-45CA-4149-8101-E8B6349F1D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc6dd6961dcea278ab1d57d866a2d10309ddccc","datavalue":{"value":{"entity-type":"item","numeric-id":3188279,"id":"Q3188279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb615007b4622dfb8463949332680380c10619dc","datavalue":{"value":{"amount":"+0.7354995012283325","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":"Q2811932$6BA64E1B-951A-4A09-97E4-6076CCFB73F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239148b9a9de37ab9341508e0d2d68e3ba31854a","datavalue":{"value":{"amount":"+0.734817385673523","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":"Q2811932$62D8FB4C-F27C-43AC-9D76-B5F6AEE85443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811932"}}}}}