{"entities":{"Q5894960":{"pageid":7934050,"ns":120,"title":"Item:Q5894960","lastrevid":101879048,"modified":"2026-06-06T03:03:38Z","type":"item","id":"Q5894960","labels":{"en":{"language":"en","value":"Parameterised multiparty session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096742"}},"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":"Q5894960$A8552745-16FF-4A06-8666-136415D6811C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"036a058d34a05e7aa086f6e263c67926ce51919a","datavalue":{"value":{"text":"Parameterised Multiparty Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894960$68BC8685-5613-4467-93E8-075CDE27F844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e607f8baa2216faedcfbe3b2b0438742162c1b","datavalue":{"value":"1248.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$7BC6B603-FBDE-40A4-8AAF-A1D9C9163641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e44b7551562009b5617111778c3838fb85a60a","datavalue":{"value":"10.2168/LMCS-8(4:6)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$2C172532-4BB0-4E90-BE30-BD45B7F36AE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfd49e2268a734a0fec0b364e88dd9162272850c","datavalue":{"value":{"entity-type":"item","numeric-id":890612,"id":"Q890612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894960$74CA5EDC-6AAB-4FF6-9D11-5F0491D1DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894960$31341E25-B549-46DD-AF65-2128449E5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d28888308884f01f4dc1112a4b04cbfbeda4cd1b","datavalue":{"value":{"entity-type":"item","numeric-id":2827462,"id":"Q2827462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894960$31EFAEAD-C306-42D1-A24E-843EC711EDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aee85b6b4aa4331b4495900429f276dea803b3f","datavalue":{"value":{"entity-type":"item","numeric-id":888407,"id":"Q888407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894960$514AD208-60B8-45CE-9B47-2E97FEFAC474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894960$FC80D362-EB15-495C-AF4B-CF85B48A4794","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894960$FD23036F-6AB5-418C-A8CC-C497E5C7B1B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$00D9ACBE-3BBE-4ABA-BE0A-6DB30653F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$4B4BA169-4E90-4E49-95E7-D3C226CB7E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$1EA36412-10F5-4F26-829B-4F650685121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$63E9C6AF-9665-4DB0-9907-23821C96FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$CF2B0D10-203D-461B-9710-0063AB98A0A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bedd04dfdc6a838e6758ca20ed92ff544eae4ff","datavalue":{"value":"6096742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$34A7D135-8C86-496F-AD75-2B41B6AF381B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$9ECACCB1-70FB-47A1-A15F-EFC3B38F46E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$C13A0E41-1538-4BDF-9302-6E65FF5E8D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$13826A8D-EF45-49C7-90E2-007B8A998D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f243a9a6fb0e97a2b1b5625178baa510da5ec68","datavalue":{"value":"G\u00f6del's \\(\\mathcal T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$BF4D6609-F6E9-4FFC-857B-35CD8C2F47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$DB33245E-FAC8-4A4C-9506-77B49439F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9ace61f9a1dc7d4206577fdd26d54db9961f","datavalue":{"value":"FFT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$60A00D4D-42DA-45DD-A191-182FABA9D4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894960$182DE69E-E971-447B-BA90-67F74A1BC5F0","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":"Q5894960$B784BD64-FD76-4D2B-A2C3-91AAA88C2F89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94324cec6251f5aba6854cc502596793ef6f82a0","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(4:6)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894960$44A42B5A-33CF-4366-8C5D-94F9EF8CCBE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec8b7be32ab128b5fee710921184018817659e1","datavalue":{"value":"W2003314287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894960$89C5296B-BE7B-4AEB-99CC-8F540343B14D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad2eb0bbac0c1b49467a411a93ae34968509d34","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7abd2f2f11aadaf620ead9e3560fba3886401b","datavalue":{"value":{"amount":"+0.99191814661026","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":"Q5894960$3D84B774-E4B1-476A-9E91-D783ED783FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3a67d8cfe1fca928172746d5a8805ac1541cb4","datavalue":{"value":{"amount":"+0.8303235173225403","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":"Q5894960$8B3EDBCD-BEBB-4063-923B-09B4DBBCE76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2c3df684a238b4ca180f547c4cb412d0e75670","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9c27e2eb94657e976fe84a673bde721fabeb05","datavalue":{"value":{"amount":"+0.8170033097267151","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":"Q5894960$A6C501CB-010B-4A21-A8E8-C5DB05D194DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4264425dbe356dd2a8915ceabf9a57f6d852c76","datavalue":{"value":{"entity-type":"item","numeric-id":3190133,"id":"Q3190133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8905a8fa0714ea8134d2658587932db3ba23fa28","datavalue":{"value":{"amount":"+0.8009320497512817","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":"Q5894960$8ACB33B9-29CD-4779-9A81-57AD960894A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3b19a1fcd12c5897f12203330ddf684a461ade","datavalue":{"value":{"amount":"+0.7929170727729797","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":"Q5894960$D40F62AC-D5C8-477A-A91C-D449DF7C2BFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterised multiparty session types","badges":[]}}}}}