{"entities":{"Q5028463":{"pageid":7058040,"ns":120,"title":"Item:Q5028463","lastrevid":55399570,"modified":"2026-02-17T15:37:57Z","type":"item","id":"Q5028463","labels":{"en":{"language":"en","value":"Rast: a language for resource-aware session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471698"}},"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":"Q5028463$C9BC1059-A850-4EDE-A9ED-FCFB692D387C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb6fec8e8be7aef9744c6cab8c4ecb8b67169ed","datavalue":{"value":{"entity-type":"item","numeric-id":2233454,"id":"Q2233454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$9656A706-F824-44DE-A846-9E9D5E2DB329","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":"Q5028463$FB7C6295-7657-4BF3-B6C7-31BAF398DC37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-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":"Q5028463$63054BC6-24E8-4A2F-AA9C-8BBB67AFEB4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e33c29e74ce5a151c7d61292da5bcdc3a03c29","datavalue":{"value":"https://arxiv.org/abs/2012.13129","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028463$7F10C94F-2F62-455F-9D11-53C7A61251C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"195e29c3fe784bcc486d3babfad55c720e0086fb","datavalue":{"value":"https://lmcs.episciences.org/8954","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028463$2AB5CA4D-3009-49F4-8087-1D7922E9D1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028463$A1BD8189-9ECD-47DF-B401-8AF78E5D5CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028463$8C7519A2-4027-4DE8-80CD-328DE54B2A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f968dafb15849f656b3b3535b44a8e2c3f0d22d4","datavalue":{"value":"7471698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028463$D06742EE-92B7-4185-8D97-2424073FFCF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028463$087BC415-DA47-489A-A4F9-B16785D3570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028463$E92029AA-D3D9-4864-B3EA-6236B8AD48D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028463$E2B69F2F-05E3-402E-A113-7598F516EF94","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":"Q5028463$7006C250-5DB4-406A-95BA-C115E6546803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9572a1cb3879e97d8482e04f6e26f0d65058e3","datavalue":{"value":{"entity-type":"item","numeric-id":2827456,"id":"Q2827456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$5365817D-6A88-4A73-8BFF-2423336E3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30456fbff3fab9b7db51bf2eb451861fd4063750","datavalue":{"value":{"entity-type":"item","numeric-id":4986741,"id":"Q4986741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$D8272AF9-50F4-4383-836D-8D202FC5423A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$13D02EB1-92E8-43CD-AAF9-6989687F8C7C","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":"Q5028463$F31E6D55-E5CA-4686-8449-493AA75A1887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$E73DE484-E155-43CB-A70F-D24CC2CDCCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa049e0fc5fa200e717f584fe754fb818a519c","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$CE718BED-3CEB-4734-9112-904D008AD395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac95a97664ee433af6430c2c176331df8f4ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":4649549,"id":"Q4649549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$6A733589-BB15-4315-9070-8C4A4693439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348bec4658083bdfef92d458459d305fea8d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$DA6889C1-4BB8-4016-8747-90BC36E40B56","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":"Q5028463$C5E4FB01-E5C8-470B-8E78-9E4F0479D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$00DE652D-F9CE-45C0-B81C-78141C40F3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a974f70fdf30a806f290add5387a2e33b647fd","datavalue":{"value":{"entity-type":"item","numeric-id":2948548,"id":"Q2948548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$275E9DA1-365D-451B-900C-DC2D687647FA","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":"Q5028463$BA01FB49-269C-479D-8456-A604F46CF313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$A2A07D58-A544-49FE-8933-5BCB29E52D62","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":"Q5028463$B58425C3-2D7D-4193-81FB-84D3321A42E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066fe12e44dee0d16dd44d69d94302fb7ebb8fd","datavalue":{"value":{"entity-type":"item","numeric-id":2985793,"id":"Q2985793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$78F09668-9FF4-4B3C-9844-E8497612DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$536B8653-C3EF-4189-9922-A607E74F04C8","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":"Q5028463$B60111A8-4300-431E-B5A8-C521DF902D6A","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":"Q5028463$EC5D22A1-9A82-4586-8489-7E9D8A13CB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea27577fe2437b13f5a66833e9791574ab28012","datavalue":{"value":{"entity-type":"item","numeric-id":2035649,"id":"Q2035649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$62D66EF1-6B4E-4791-B5C4-C5F54AA4B010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db012c4d6fea5f2f0ab697080998063a9635aec","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$BF3F141A-9626-49B3-BAD9-EE90766C0152","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":"Q5028463$DF7C1661-F7F7-41A4-BC33-A2AD65137934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$B64487D6-C33C-4DD0-BE0D-390FF9766336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e1f39302fdfda0f86f3b06fe7c3d1ee3c07c81","datavalue":{"value":{"entity-type":"item","numeric-id":1652972,"id":"Q1652972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$A0AA4EC5-E8EA-45D0-9EDD-F4AB297544DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a5029eb8c2ac994cf895d0781834707906e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":4904221,"id":"Q4904221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$D7CFFC1A-A124-4A93-86DA-FF59E416CECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4d76cbfe7fbf4d6b09b329ce6cf6e0cc0fb6","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$C9FCB7E8-A06D-4473-AA61-081D4BFCE88F","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":"Q5028463$033ABCD8-7B06-4850-AE82-143DC2709F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7276b4009d795bf126c0762d7777e26733b0024","datavalue":{"value":{"entity-type":"item","numeric-id":5014814,"id":"Q5014814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028463$C39B391F-9131-4F3C-9675-C0C0B3E4EF6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9784fce95322c6bf76dc3810c5491693841607c","datavalue":{"value":{"entity-type":"item","numeric-id":4986741,"id":"Q4986741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34153f72c6384b0a76f9c0ec7e31e1ed77c315fa","datavalue":{"value":{"amount":"+0.7823787331581116","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":"Q5028463$737F853E-9970-40E7-81D5-5FA004E01A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d57119db7ad644cecc7b2cf86ed1b5c5bb9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808ede58bc4dbf1f6856d6452bf6c2467a863722","datavalue":{"value":{"amount":"+0.7727832198143005","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":"Q5028463$3B576397-AD2D-4E7E-B8B2-98626750A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190a8209172e1d999e08798878332850f203362","datavalue":{"value":{"entity-type":"item","numeric-id":2233456,"id":"Q2233456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d116ed555ee72e46196451bef21e7797b0dfdf0","datavalue":{"value":{"amount":"+0.7712959051132202","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":"Q5028463$5C06B9C1-2E2A-47CA-81EA-7446A1CCA66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f64200f1fc966923efab764c570855784a0408","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c21cbaca9d4ff04c4eb58b52f592f3df25990d","datavalue":{"value":{"amount":"+0.7667027115821838","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":"Q5028463$B4BF2ACE-61F4-4909-9EFE-2422F388B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663f3265b9e5632778964f51771c78cd74058306","datavalue":{"value":{"amount":"+0.748691737651825","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":"Q5028463$152E1075-439C-423F-9F7C-CF04F862DFA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028463"}}}}}