{"entities":{"Q1652969":{"pageid":1663710,"ns":120,"title":"Item:Q1652969","lastrevid":68149629,"modified":"2026-04-12T21:46:14Z","type":"item","id":"Q1652969","labels":{"en":{"language":"en","value":"A new linear logic for deadlock-free session-typed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904531"}},"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":"Q1652969$EA9760EC-F43A-41C1-A563-ED9ED8A70DCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"256afa63a6c488f6c5bc63ca11b4a98c45db31fa","datavalue":{"value":{"text":"A new linear logic for deadlock-free session-typed processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652969$BC11C883-9D7B-4F5D-BAD6-AA5166DC2908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d9e904f7ded00bb47c931a45e4fb002647bacf4","datavalue":{"value":"1491.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$B12F694F-69AE-4633-AAB5-BB51A93134B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16b14c8451153a10cb5f8f72432abc8b262b8731","datavalue":{"value":"10.1007/978-3-319-89366-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$D48EEE99-F265-44E2-9E48-8EFF85F54435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9e4217002c0881a5f7ec0ded59f7697840edf24","datavalue":{"value":{"entity-type":"item","numeric-id":518893,"id":"Q518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652969$25EE2AEF-72DA-4201-A9ED-ECAC0D3A843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652969$C95198E3-D97D-4155-BB69-C08AA571743B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652969$E8F0D21B-419C-4063-A5FC-4B1C93D0D5C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28c84cbc7464f140c3a0562a45f51d1b8de43a17","datavalue":{"value":"http://eprints.gla.ac.uk/161671/1/161671.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652969$A768717D-5F35-44F5-98DD-B2C90857E693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$6DE82CB5-43C2-41C0-8EAB-1DC56ACF35AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$BA8B7A84-77C5-4C55-A897-01DB63D0AC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$05CE3036-1349-4D48-A67F-BD2A59E029AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$ACB1AF5E-DB0C-406C-AC0F-2339E6BD74A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d3c7cf7d506a69b48550af050f3126c64d6a64","datavalue":{"value":"6904531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$84D87617-8827-4364-A490-A39D70E9A845","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":"Q1652969$2A6EFAE3-E6FD-4EF5-9DE1-C9DC37630141","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240f8d770a47cf7aec3a83f330fa81547e4e176e","datavalue":{"value":"W2797550608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$92F97565-411B-4309-ADAE-ECC6586E715B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ee08601318d64a182453aeea063903d72b81b1b","datavalue":{"value":"Q57599625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652969$4BCD9F7C-FCBB-473A-9B98-C863C6970783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcc1bf745020f99d23300c97d4bc9a79b91d389","datavalue":{"value":{"amount":"+0.8962516","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":"Q1652969$47AB7EFB-73A9-4117-BC72-9B7F06F9DF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d65460650fda6442071e21e391346bcd1f1bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fc386cdb9c3043fee7871dab9eedf6c5e0e64b","datavalue":{"value":{"amount":"+0.88648176","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":"Q1652969$2D03D8D0-99DD-45AD-902D-99BCB3B314F8","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":"08f73786f41d46edc1a13f052aaa4625dc663306","datavalue":{"value":{"amount":"+0.8860786","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":"Q1652969$71FDAB40-7321-42CD-9C4B-90617B2FCCA4","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":"e1e38026bcb37204aa5443b4a29868290072f58b","datavalue":{"value":{"amount":"+0.88290703","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":"Q1652969$80AF6556-7D45-4A33-9CE6-66AE21375458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eed0ac4abaa509f72cc3b89fa78404ef9d199e8","datavalue":{"value":{"entity-type":"item","numeric-id":5013868,"id":"Q5013868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7205b259db097840a91ef026e1ce2bd81c400708","datavalue":{"value":{"amount":"+0.87859863","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":"Q1652969$6158BD1A-2F8F-4867-9FB6-6972BAAD833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3d755f3cd3b9e410d5d8b0ffb34cd0ab722f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4223021,"id":"Q4223021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f292c4ffb9ef8afb3fcffe64f750438354cfc7","datavalue":{"value":{"amount":"+0.8773919","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":"Q1652969$268B70F0-576A-4808-80AD-B3CC61E7A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1e1241fdb9b4eed8c3adace471561e0f761f88","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b04d915aca6f5b6a91d0bec561bce217970f3e","datavalue":{"value":{"amount":"+0.8622973","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":"Q1652969$64C83293-D2E5-4019-A79A-2BEE4CF53AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672f29822fb438166b1828c03926f62031488db5","datavalue":{"value":{"entity-type":"item","numeric-id":4917995,"id":"Q4917995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93ec777c17ca29fe7a847cda922ce3ff9a22b7d","datavalue":{"value":{"amount":"+0.86170846","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":"Q1652969$CF41FAF9-8A40-434B-9051-09EF98A21909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e9d82e4af24c8830c90703b47ebf0e3ce5ccf2","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37ed9f369c01f4ff031ae89a29ea84d8ef065dc","datavalue":{"value":{"amount":"+0.8599524","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":"Q1652969$BF39BC5E-F4DD-4E73-8116-52D2EFE02475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4852fda2c0368c984eab159d64411f7f88842e11","datavalue":{"value":{"entity-type":"item","numeric-id":2811932,"id":"Q2811932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00bcb6c9cfc83735af1b0b3ef1eec5a9bc4907a","datavalue":{"value":{"amount":"+0.8561585","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":"Q1652969$E6AC6FE9-0519-4961-8C2B-FCEDE6D75B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new linear logic for deadlock-free session-typed processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_linear_logic_for_deadlock-free_session-typed_processes"}}}}}