{"entities":{"Q2892782":{"pageid":2903507,"ns":120,"title":"Item:Q2892782","lastrevid":84886925,"modified":"2026-06-03T05:02:13Z","type":"item","id":"Q2892782","labels":{"en":{"language":"en","value":"Functions as session-typed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049307"}},"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":"Q2892782$9B40D909-05FE-436B-B4A5-7EA179F525A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df8f2882b2540319b3dfa1e30465f751972704a","datavalue":{"value":{"text":"Functions as Session-Typed Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892782$94D53256-9F98-4FEE-97EE-23DA7A51FCDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ec7bcd9940596d4667cc91fcce1084be768c2f","datavalue":{"value":"1352.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$FB0CF08C-E387-44BA-8867-531241538956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36c764415e738f69acb3148b3c37a51098fde104","datavalue":{"value":"10.1007/978-3-642-28729-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$F174FDE5-A7F6-47F5-B80D-965B882D4704","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":"Q2892782$049B8AE5-752D-4E1E-A113-C2C0A0EF976C","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":"Q2892782$A77ACC5C-CF9F-40D1-A26B-54BF64DAA0CF","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":"Q2892782$DD0F1A27-0A8B-4DFF-8C76-7BE5517F4109","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892782$6138A647-7525-48E2-9E78-F850B7203905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892782$1DFBA022-27CC-413E-905F-530B97E01865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$D7D5737B-F460-4488-8247-11A46CDAF228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$23F5D7E0-5928-4087-8933-B0B0A63E48A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53689b348da9df5d901e8dbe39225480a89fc0d1","datavalue":{"value":"6049307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$168483E3-5CE3-4476-BC05-25DF19510B46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892782$7D01F5CB-69B0-464E-95CF-813B41692B4D","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":"Q2892782$BF555A9D-B6C0-43B9-ACB0-CA5BA3121261","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"886a54f0d31d93179cc0cd94cde7ad49ab3d6af2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892782$874E1579-35A1-4A04-95D4-156ED4763481","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2de5f0025ca2ad288493ecfde10b980f0c330ced","datavalue":{"value":"W1534772435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892782$D5A8F97C-87B4-4087-9171-BE29EC75FCAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31eb346284300cd1098f08ab19a7aceef31995ce","datavalue":{"value":{"entity-type":"item","numeric-id":2324009,"id":"Q2324009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4ecedaad5a9410918ef21d1d2e334d711f52a1","datavalue":{"value":{"amount":"+0.831002414226532","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":"Q2892782$61709695-FD4F-4683-9D0E-916E72C4B948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e1978fe18c7122090ce9edf323db7d92c06cad","datavalue":{"value":{"amount":"+0.8153417706489563","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":"Q2892782$3F7E8BA8-2BC6-4AAF-AB82-52C111EF52C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe587eb3e96c13cf4958f80a9d0180da1eb9c53b","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408578e590465ff5b4df130aae479dcf6e681210","datavalue":{"value":{"amount":"+0.814095139503479","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":"Q2892782$1574B028-CB48-4E13-BF86-AA31F1B6463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70ee956e6c3dd83b4a3f81be7e5279e6ac637b","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8650408c55dba8fea8539ae8978969a6d2f1ff9","datavalue":{"value":{"amount":"+0.8079596757888794","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":"Q2892782$EFE577AC-0827-4FB6-800F-D3AA90A2550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0f95892aafa3104303d21ffc60a830713f5249","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0fd1181fcd6bbad10bf506dbaf111e9c38d1dd","datavalue":{"value":{"amount":"+0.8076215386390686","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":"Q2892782$767D0574-5C90-4D79-902F-D1271C8772B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functions as session-typed processes","badges":[]}}}}}