{"entities":{"Q859841":{"pageid":861689,"ns":120,"title":"Item:Q859841","lastrevid":64890552,"modified":"2026-04-11T22:54:43Z","type":"item","id":"Q859841","labels":{"en":{"language":"en","value":"Type checking a multithreaded functional language with session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117653"}},"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":"Q859841$5AF8206A-03C8-4563-B03C-02E72DE64574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a23ba1a2f1da0cb58f626d67b8e6501a417414d1","datavalue":{"value":{"text":"Type checking a multithreaded functional language with session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859841$1811F9DB-BCAE-4B13-A2C8-7CB07C72D3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bfa46b088330b716ffe46be1b7b949850962fe9","datavalue":{"value":"1171.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$0B86EC1C-D0C7-4FC3-A292-02E7B950812A","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":"Q859841$E5E0C742-8860-422F-91CD-174C1CF60CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$82D04EA7-BA4B-46F0-AD27-7CB0B6AFBB50","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":"Q859841$BA9BA001-BC68-4599-A970-725AF2D3E9A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$A9E6AB46-2104-4EAD-8627-A7AA8D20E249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-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":"Q859841$D6277E75-1C38-4811-8676-6F68CDB06A2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$EA3FDE40-2C15-4334-B737-F7CFA680D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$39B65A00-A70B-41AD-AA10-83BB88C2CA45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf72e0783024676398fb3cec6dd4ac8ba1f9534","datavalue":{"value":"5117653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$A4585870-4D50-4DB1-B9E9-0C7310AEC956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q859841$0D2A3A02-ACC6-47F0-8089-83B459BFEF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dbaabbd0c8951af241350bbeaf75e137dcde3b","datavalue":{"value":"static type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q859841$DF7FF904-24AE-4BAF-8B1D-3C6F8B2801E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q859841$9225F4FF-8D2E-454F-91C0-B04713D82464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf232be9238a9a50f0112ed4b193db0e44ac18c4","datavalue":{"value":"specification of communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q859841$B5A5781C-45A6-4257-B4ED-A158C67BA073","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$BE7C5699-E78A-4F34-B0B4-A501610BF435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$AFE98143-9344-4A26-935D-FB963754F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$BF9522D0-0C7F-4507-BED6-F4C8309509B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$F846B4EC-E2D8-480C-8870-48700D8FD8CB","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":"Q859841$EFCDF536-C2D4-4575-B450-D13077723743","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"185f268e2736363cf3f170a2e89b45806489f676","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.06.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q859841$4C44B922-3FB1-48A6-9193-491781C73147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c6f620497b91d9d2ad15673a9000b455fea827f","datavalue":{"value":"W2105716349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$3C3D44ED-1290-4961-92C6-3F8AB8ECE39C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$43D44D02-C690-47ED-B294-286BBC587D5C","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":"Q859841$CEB641F5-979F-4D21-B9D1-DF855B5DA174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8148646bac3b2d3dcd4fa1b91d934def167cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2848666,"id":"Q2848666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$BE10D744-3BBC-4C36-9B2E-877AADE5772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7214170e4da5bdd000d511129b21c085b3983aab","datavalue":{"value":{"entity-type":"item","numeric-id":4471911,"id":"Q4471911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$2E99D305-182B-4D51-97FB-E632B712BD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd887abcf3ca35cae9e79acb86dc1203d0dca77","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$0BDB033A-4404-4F7B-B14F-E6DD33C44C3D","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":"Q859841$A947E669-2282-4C3B-8BBB-5514AF13413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8ce433a8b1e01e33b4b8836744576a45ebd381","datavalue":{"value":{"entity-type":"item","numeric-id":5394806,"id":"Q5394806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$C82C8D10-EC06-4B53-B4DF-B35475FEB56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a24b7010000da61c6f5898cfca5e7002663d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4436984,"id":"Q4436984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$8C40D46F-A710-4BE1-9A7B-6094B809846A","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":"Q859841$139B822A-9C50-44E0-976B-4F0FD1F226CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695fab872d134b3a435c36aea28c18570954d03f","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$DA276BA8-7E80-4F38-AB6A-ED8EDD402F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5cb53d50bb4fa29eff1ca902f010d917a30537","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$A033F373-2748-45FF-B3D4-96BCDD18AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a078dd0e624234f9b7dc925204085eddb103b943","datavalue":{"value":{"entity-type":"item","numeric-id":5178917,"id":"Q5178917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$BEC09FB6-45D4-4F9B-B64C-A2C4B8584E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6ec21fbe747f2d41af1ffc8ef5c6fc6065340","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$E5E890CE-FCD6-4D79-8EB9-A59725CAB91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$44163B60-5581-4594-BDAC-049B71B69C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$4445BFAE-B3F3-42AA-B237-9258C4B8876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$71C32CEA-F337-4566-8EB5-275C463A72CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f55dcd9a4e7445a5e36dc2a9f92fb56df8dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$F73BD123-856B-43D7-92E0-FB849428D143","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":"Q859841$E8F3B32E-47F8-4BAF-8C00-7943EF6A3E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8455ebb2ea2f6763d15a720cd36850b6adf14264","datavalue":{"value":{"entity-type":"item","numeric-id":3413374,"id":"Q3413374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$0CF948CE-2034-4E09-98B8-01C3784C06EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859841$DB9036F3-B078-4F68-8560-59D38AB2956D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c79650f4c985a719ad19e37ae8035325781a7a5","datavalue":{"value":"10.1016/J.TCS.2006.06.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859841$486FE800-BAF6-4143-8344-6AE335719012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320ddcc417a36ab450296f7155641e5077b09477","datavalue":{"value":{"amount":"+0.952911615371704","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":"Q859841$75846F56-4684-45FB-8432-49194A465E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d734c5db9f72be826275226d458ddbf141799","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080027a57843c3567bffe1da6ab9594f8160fa3a","datavalue":{"value":{"amount":"+0.831903874874115","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":"Q859841$BE11D0FC-D154-4D2B-BA43-BCB63BDEF203","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":"cbe9c20e9de3e6732e010fc7ae10cb08a99fbf36","datavalue":{"value":{"amount":"+0.7817924618721008","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":"Q859841$90FE7118-9D33-47E6-A2C2-3009DC8092E5","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":"23dfb6230604b56a851e29abeb72a9124d987606","datavalue":{"value":{"amount":"+0.7763566970825195","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":"Q859841$31B80EAA-56F6-405A-B958-7F2226F09DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad11072d3aa023acee6c45bcc74a9b1f07d773","datavalue":{"value":{"entity-type":"item","numeric-id":2827469,"id":"Q2827469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe8df2d4a0bb0772e3e1f05c6c56e48030c3918","datavalue":{"value":{"amount":"+0.7758699059486389","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":"Q859841$D0B66C06-5F1E-4879-9707-1F2B1B9E6A96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type checking a multithreaded functional language with session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_checking_a_multithreaded_functional_language_with_session_types"}}}}}