{"entities":{"Q5741566":{"pageid":7771117,"ns":120,"title":"Item:Q5741566","lastrevid":41608814,"modified":"2025-05-06T08:13:28Z","type":"item","id":"Q5741566","labels":{"en":{"language":"en","value":"Linear logic propositions as session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607282"}},"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":"Q5741566$AB185DF2-80C5-4C5F-A6FD-97EFECFF6352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2e60558a03cd45e145b6645b13b0cbf5f69ca12","datavalue":{"value":{"text":"Linear logic propositions as session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741566$2B6E40A6-933D-400F-9AEC-055DE0495095","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d4d12a8260f4496ff5068b009dd2efbe6515bcb","datavalue":{"value":"1361.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$A30BF0C4-D36D-4DAA-8ACD-061CCAF1C657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35d2843e06be0b1fda9e2585792d070ead0d21e","datavalue":{"value":"10.1017/S0960129514000218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$ED011227-E482-4AE4-BF00-D900924EBF83","rank":"normal"}],"P16":[{"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":"Q5741566$C639ED47-0BFA-4BA0-A3C1-95A579A88B23","rank":"normal"},{"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":"Q5741566$8284E02A-96E7-47A2-893C-24A9DF327F17","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":"Q5741566$DEE445C0-10C1-48A3-B77C-91F3B2675E22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$09FFF8FF-7F84-4CCE-811A-D16A90A87D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741566$67B0A929-0BAB-4FDD-9DA0-1D436B9EB3EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$A5F2E9DD-B59F-465F-83D0-36612F2057DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$52D03078-F5AD-43CB-8B68-1EBE4514B129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$EBD117E8-1EC8-4665-BE0F-C4A8B65DFD1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23ffa8578a790849efa2d816a8ab2b76b57b4236","datavalue":{"value":"6607282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$4405ED29-AF34-4540-B02B-A650D65CF392","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":"Q5741566$34C97438-8B12-4796-82B8-80B1657A2C31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a50380469f7bc9bd4d1158c18ace80a10b84dd","datavalue":{"value":{"entity-type":"item","numeric-id":997996,"id":"Q997996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$A759CA91-7B60-4DEC-9188-24D3D141D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$0C268831-AD78-49C2-A63C-D72EB719B156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cff5e4ad1deb0f8c2caf1c8f504c9ae2ef26216","datavalue":{"value":{"entity-type":"item","numeric-id":3584947,"id":"Q3584947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$63BD0FE6-91FF-4D82-8C09-2DD8708E8DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$F422761E-8850-40D2-8EBC-E8C6F9190708","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":"Q5741566$012702F7-0326-41BF-8271-DD077CC193BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc08ebf63cb980ff38c6a8655ca9339e988d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3612481,"id":"Q3612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$421E364D-0A48-4C9A-9A53-4CA9D8E776F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$F3351E00-701C-4649-A075-23678127D3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$47D86F72-461A-4CB5-A912-E269CA253919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76196bfc8a5999c90817decd450dc1fca8f46717","datavalue":{"value":{"entity-type":"item","numeric-id":4676156,"id":"Q4676156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$CA1A149E-D360-47DD-9044-25979A76A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$0FA9D201-86BD-467C-95DF-A57A0965657B","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":"Q5741566$F1A3DBEB-4D76-47FB-B891-5E0BCA6F987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$A9C5AC42-FF89-4B56-A352-A2B3EE4C8BDC","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":"Q5741566$960F5EC0-ED5D-456C-B755-8CFF51A0AC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$95AC65E3-B6E7-4A10-852B-33FB3F1BD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04b9535de2df5bdb83d806627645015cd1af60","datavalue":{"value":{"entity-type":"item","numeric-id":974114,"id":"Q974114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741566$C0AB2105-8472-456E-8620-CF3DAD8F6D09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"398c6ff7daba85b0099505be32d25a930ed63da2","datavalue":{"value":"https://doi.org/10.1017/s0960129514000218","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741566$0458D1AE-1280-48A3-A7F8-F0D6FFE4976D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efaa53f8cc163bb652b5787b30de931f9eb83351","datavalue":{"value":"W2025260761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741566$23C0DBB4-E9CC-42C8-B452-60598D29CDD5","rank":"normal"}],"P1643":[{"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":"cb043a615cb0f6cecb90b9fa81c126aec22d6a72","datavalue":{"value":{"amount":"+0.9448042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$EFF7F7C5-1608-484E-8E6B-244C63ED5116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6633fae510dd674273d2adf855febdfa24dd100","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490de9ab1af3d1e10868ff4579c539e7e3f1a3c2","datavalue":{"value":{"amount":"+0.8898679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$9BB2FCAB-8548-4B2F-8E6C-9C7B4BC17050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449bd73628e26e8e9c6c8ab0b9e35067fa8e7c45","datavalue":{"value":{"entity-type":"item","numeric-id":5741562,"id":"Q5741562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b883b4d9c02c529637f4674b481e9887ae50799","datavalue":{"value":{"amount":"+0.881761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$D70DE2DF-29C7-43C9-B763-2CF6505C5E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e4ba8b99ce7747fa4f48bc7ce4497cc7fabc12","datavalue":{"value":{"amount":"+0.8754668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$47A69985-59A9-4B5A-964F-9879CB186803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e7e429df8abb3d7e00b83fcfee69c00c81231a","datavalue":{"value":{"amount":"+0.8745936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$6C413C48-0722-4A93-A9AA-BFA459105206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78d0e8a1e95889e1f41b0b2235648eff97eee02","datavalue":{"value":{"entity-type":"item","numeric-id":3584947,"id":"Q3584947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb268e31b53c0489d5056af4b9aa366338defeb","datavalue":{"value":{"amount":"+0.8727571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$16B681C2-8403-4851-8DEA-E2DD1E00D4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5667f57ba1c18dad83446d3a6424f452d7f2fd58","datavalue":{"value":{"entity-type":"item","numeric-id":476190,"id":"Q476190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55d18c3c26db0045dd8026766084e4afd0ef4bd","datavalue":{"value":{"amount":"+0.8698255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$5C33A33E-68E6-431C-95E5-69B27209CDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9d686e5aaa7e4c9ec9fe1f604acee7b0c2fe4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370235,"id":"Q4370235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e884635432138b316edbcaf2cc2dcc9ee6372c","datavalue":{"value":{"amount":"+0.8688304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$66E2BE8F-86BE-4679-8FA8-38013FFFB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c26b229c18866fdb2d6a2e947ea73fd75f3274","datavalue":{"value":{"entity-type":"item","numeric-id":5865560,"id":"Q5865560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9cf81e5f6e5659a08f2f6d631ef2fb7c3d2cf6","datavalue":{"value":{"amount":"+0.8665912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$D357E0A6-589E-41A9-A756-483235D5EAC5","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":"aed88bea1d1f196521228a32dfc4852214a11431","datavalue":{"value":{"amount":"+0.86457884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5741566$21842A77-C9C0-4043-851B-2CBEA13F0D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741566"}}}}}