{"entities":{"Q5741562":{"pageid":7771113,"ns":120,"title":"Item:Q5741562","lastrevid":92865155,"modified":"2026-06-05T02:57:19Z","type":"item","id":"Q5741562","labels":{"en":{"language":"en","value":"Linearity, session types and the pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607278"}},"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":"Q5741562$95FCDCFA-B1A7-4153-878D-18C160E51705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be3335953367cb8d2f7ac74abf3cd945c3e24c58","datavalue":{"value":{"text":"Linearity, session types and the Pi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741562$47586B64-7E08-4FEA-AD27-E99C6203DB77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b48b7a1f12698a9da016baa6a8297b8fc9b06e0","datavalue":{"value":"1361.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741562$953E21A5-1B9B-46E8-A111-B02B7AF69559","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5c2ed50d2465fc4a962348947f9fee7ce5f8183","datavalue":{"value":"10.1017/S0960129514000176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741562$F96E3373-EFD4-4D8B-8C9B-DE7C55136F05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dd547b924839a54974965ee5acf1915b48b26f9","datavalue":{"value":{"entity-type":"item","numeric-id":488475,"id":"Q488475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$AFB6BDF3-3AC3-4112-9503-5F45EEA482D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$91DE8809-F2CD-4301-BC11-4F6C5012DF0D","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":"Q5741562$F6194679-977F-4E06-8AA2-D1242C0E76FC","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":"Q5741562$0B4A3193-003A-41BB-86BA-B27985FC1F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741562$5702AC83-764E-43BD-810B-AA77A08D1BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741562$B2DE4A0C-4D76-464C-ADF2-B3A96E4532B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6672b5ed41fcd3bc0955b4b2c7e3fb916454131c","datavalue":{"value":"6607278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741562$D74AFF3F-658B-43E3-890D-F51D031E8B2F","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":"Q5741562$CFF41AEF-4D78-4B92-88B3-6F6DF9BF9EF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10781df056d47c5d8bdfbcf10f5504bd022a04b0","datavalue":{"value":{"entity-type":"item","numeric-id":1004058,"id":"Q1004058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$22E5CDF6-01F2-4633-B1EC-3BD7F874A959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e675c984c3148c28f1bb3ca99bbdc1b208c3bb6","datavalue":{"value":{"entity-type":"item","numeric-id":615952,"id":"Q615952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$497D3F35-079C-4218-9ADC-F7AC74A51D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e671b2cbded75906665161b5e843fe21101975a7","datavalue":{"value":{"entity-type":"item","numeric-id":2883119,"id":"Q2883119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$3AA6FF41-2324-4A6B-BEA8-736585D8F95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$E5E0BD94-047E-4596-8A27-AFB0CD8D1236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891f653819c7b523eb5a7d99745feef5f280657d","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$65D438C4-186E-4C2E-B53B-4D1B13D19CEE","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":"Q5741562$A0EFC963-F815-4DC9-9B20-8123128A4F3C","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":"Q5741562$019F10F1-7ED4-45FF-9030-D5BB1778D3C5","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":"Q5741562$05527812-6805-49BE-9EE8-8067E6817BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae622e71ca7dbe9f4cdd57a1c75a6f6f92416db","datavalue":{"value":{"entity-type":"item","numeric-id":3525113,"id":"Q3525113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$9749DDCF-4EB5-4ECA-9580-C49668CED35F","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":"Q5741562$89887603-D1C0-40CE-B110-D359DE203E59","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":"Q5741562$0CCBE5D7-E59E-451C-B47B-0EAB3C86BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409c4aa268eb499f4515cd52c2ceda83891381cc","datavalue":{"value":{"entity-type":"item","numeric-id":5428903,"id":"Q5428903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741562$F1747CB2-4336-4735-8746-6E4AC61B563C","rank":"normal"}],"P1643":[{"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":"8643a1498aab0a369ead62fa45e45bc5e824e9c7","datavalue":{"value":{"amount":"+0.9166079759597778","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":"Q5741562$510CE9FE-4072-4D5E-8BD2-19D3E624E099","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":"d6d3297052d6d908d21799f297951e659d1f00d7","datavalue":{"value":{"amount":"+0.8598376512527466","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":"Q5741562$164A72E2-3B01-4ACD-842D-A37A7473C0F9","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":"652c6d2449e5a5b5f3b032ddf0c03c66f52931d8","datavalue":{"value":{"amount":"+0.8533733487129211","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":"Q5741562$8BB72A11-3ADB-4475-9D11-2012156E1B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed2438eeb12434db4c0a1ca0515de70caca6029","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c634029d1eaebad513991c288f77616fd324c490","datavalue":{"value":{"amount":"+0.8259303569793701","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":"Q5741562$BBD615AA-BABF-4DEB-B26A-2AB0428C5CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9e37760f94def6c924849738b386c5ba071a68","datavalue":{"value":{"amount":"+0.8233617544174194","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":"Q5741562$7B8530AD-1E98-405B-AF1A-7E8346C249C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linearity, session types and the pi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linearity,_session_types_and_the_pi_calculus"}}}}}