{"entities":{"Q3535678":{"pageid":5565582,"ns":120,"title":"Item:Q3535678","lastrevid":50493071,"modified":"2026-01-14T05:03:21Z","type":"item","id":"Q3535678","labels":{"en":{"language":"en","value":"Bounded polymorphism in session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365916"}},"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":"Q3535678$920F9C5F-2286-42C1-91D4-30D8F12E6F70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e78c5c16721c256e251d7ed0886781a15ca3f3c","datavalue":{"value":{"text":"Bounded polymorphism in session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535678$6C18374C-E3F7-43DB-AFE8-64278F3EE41D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a08c14f01ea820db8a28f9259c26b30fc07578b","datavalue":{"value":"1156.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$550C626B-EC76-49C9-9F32-ACAEDE130242","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16f76a55089840d624083059e5c6c378f6c5dc57","datavalue":{"value":"10.1017/S0960129508006944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$2ECA0510-C748-45EC-8010-79FE61C18DA3","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":"Q3535678$583624E9-1D27-4911-854F-4B0EB0EA0B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535678$D0BE88FD-A001-413E-BEDA-EDA3B1FF2C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$502CB82B-7D4F-4FBC-B1AA-B5272D1C7BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$01533A7E-52E9-4550-B3F0-EBAAFF256251","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b83f81d3e7cda8429cda4618e80f0f41101d527","datavalue":{"value":"5365916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$3B09C114-25FE-41A9-909F-2BC1DCAD33A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2484c34cd83fab5ace4817c974d1f0b0c22b12","datavalue":{"value":"subtyping for session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535678$18A5260B-248B-42ED-85B1-A555B15A8AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea353797c34180c8e7f601a861f13a3dc4619e0","datavalue":{"value":"pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535678$E2EF539A-58F1-45F5-BB94-25A00F0240A4","rank":"normal"}],"P16":[{"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":"Q3535678$55AB80B4-80D8-4EC1-BAAD-E41E6341CC50","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":"Q3535678$34C6B16E-7739-4EC0-A2B4-FC177550FA5B","rank":"normal"}],"P223":[{"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":"Q3535678$ABA15C85-94EC-4CDB-A895-2A1F7848DD36","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":"Q3535678$065F2920-8B9E-4765-8DE2-1C46FB94D02E","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":"Q3535678$5B504287-F709-4AB2-BEE8-FDD036445733","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":"Q3535678$D6CCCEE1-820D-43D3-B3D7-9FC562455CC1","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":"Q3535678$C60AEF32-C492-4DF7-BC77-A49DE31DC68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535678$5D976BC0-3522-4DB5-AD41-7F82F653D32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535678$E72FFBFF-B19B-4C7E-BE71-BA0BA96CB9D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44327af6fe729a48c59fcc89deb9d02cee0da4d7","datavalue":{"value":"https://doi.org/10.1017/s0960129508006944","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535678$497CE903-CBD7-4298-A5CC-457F50D0F4D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5961203c01ad26d98a0a852f21dc60676129af4","datavalue":{"value":"W4248304257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535678$65789456-3120-47B0-B3C5-362BBDFEEEC7","rank":"normal"}],"P1643":[{"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":"9446c8485bff7ac8e9f136fb8decbbb57b8d5464","datavalue":{"value":{"amount":"+0.8634935021400452","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":"Q3535678$BB450465-128E-4DB0-87EA-972F6127E5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff4c0e6b07e8b6e5965c970697f0cd365c785a2","datavalue":{"value":{"entity-type":"item","numeric-id":3525113,"id":"Q3525113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c4f41e23e9cd9121ffb731844736c725257d51","datavalue":{"value":{"amount":"+0.8357025980949402","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":"Q3535678$3096C51B-B1F4-44A5-86FB-8F3ADEBBE7A8","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":"5203201f75fe6ef78d60afdcf702f35aca06565c","datavalue":{"value":{"amount":"+0.8154268860816956","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":"Q3535678$1AE03AC3-BF58-4335-B3CE-C30C1E0545C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3520bd3efa9be41f980b06436fd198cec2d07ba","datavalue":{"value":{"entity-type":"item","numeric-id":5741569,"id":"Q5741569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8a78104aa155c22922ff89a5e58b41b60ee8a1","datavalue":{"value":{"amount":"+0.8094933032989502","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":"Q3535678$4EF7259B-AD31-46B8-91E2-A3B763F6EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17c0d8427be59d8099008b58675dacc5f8a562","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3764a9d62fe684fe52f03d5a732ffa01086b9082","datavalue":{"value":{"amount":"+0.7991970181465149","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":"Q3535678$32D55A2F-3DC6-40A0-BB37-02464C640D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535678"}}}}}