{"entities":{"Q714736":{"pageid":716585,"ns":120,"title":"Item:Q714736","lastrevid":42659606,"modified":"2025-07-07T19:03:46Z","type":"item","id":"Q714736","labels":{"en":{"language":"en","value":"Fundamentals of session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092980"}},"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":"Q714736$D59468FE-C288-4974-9346-8D7B8A943F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55e3af8645b9270d2a6def29aa2378d295e8d9d4","datavalue":{"value":{"text":"Fundamentals of session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714736$F1F04F5D-611E-428C-9A45-8A6149867EED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61793fd29c1cd3f7b5f398ce440067a96b56f7bb","datavalue":{"value":"1254.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$E701E3E5-2E18-4AF9-B8D7-7C9423EF9225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$04B027E6-8D22-4495-95DA-7D41FFE66B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714736$46A0129E-F33A-4EF9-AEA3-B0B5324AF0D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"754bc23f00484a3e1a536f13b8382686b79a7689","datavalue":{"value":"The author reconstructs session types, i.e., types for processes that interact according to a protocol, as a type system for a linear pi calculus. Readability of the paper is improved by introducing concepts gradually. The presentation is reasonably self-contained, but, as the paper has few motivating examples, some prior familiarity with pi calculus is an advantage.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714736$0FBD7703-74A6-44FC-A1B6-AA82EC7F51A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$99BCF0B3-9EA4-4850-A47D-70AE2E077089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$E2C320BE-4718-4BA3-A49C-6A2961859EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$F841D6BA-4420-41C9-B5D1-FF9CE14D1812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06bf6a1b7de8db984c740690dd0fdc1801b8d634","datavalue":{"value":"6092980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$FCFA3A11-6AB1-407B-AECD-03388D71CC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q714736$1BEA57FB-8FBC-4AD3-A3C3-DE9C6DA7BC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea353797c34180c8e7f601a861f13a3dc4619e0","datavalue":{"value":"pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q714736$89C1F561-370E-4A80-8816-57435F550A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e1274f9a42ee56b39863d4c156892237de6700","datavalue":{"value":"linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q714736$B6A1E8EA-34E5-4003-B678-EE191FDF66DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q714736$D0162F71-090D-41BC-ABF8-E10D1674FFE2","rank":"normal"}],"P16":[{"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":"Q714736$3B74014F-E500-4F58-9EDD-F9BEB9DCC84C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$FC858422-B1CF-4CBA-B988-4DC55C5F33B8","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":"Q714736$9AAD6A33-5E08-43B1-8E90-A4F60D23689C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15901af7413eeea7bbf50a9fe58e499754bfc7cd","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q714736$2788EC38-9D94-4B50-807D-7F63E0F546CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82723cb9765c82ef2803439d9027d04ae8824e10","datavalue":{"value":"W2080718905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$89819DA9-445C-4F6C-B871-F75CF02E08D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$203D4811-98AC-4F73-97D9-FDE1FA9F69E4","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":"Q714736$DEBF83F5-620A-4653-959C-75A7B5596E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21970f441b7ab6aedb2c9a1e0ac57a9521b843e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090836,"id":"Q3090836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$7FE2E69F-7A85-478A-AE9A-96FF76DE0A6E","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":"Q714736$25B3698F-100F-4A81-9660-2242D45BC719","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":"Q714736$7F84BC15-77DF-4C06-90D1-49D2A0763E92","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":"Q714736$F55AE7FF-756A-4A72-94D2-281F3503EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbb6a278d50caa23664d89b95b39235da46147f","datavalue":{"value":{"entity-type":"item","numeric-id":5741562,"id":"Q5741562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$BFDAF829-B3DA-4562-BF30-CB51A452D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$843B1E98-7CFF-444F-AA53-92AD0DC28B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$F4D9AF64-9DD8-4134-95D9-36A78AEC6C1D","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":"Q714736$AB795FDC-2E4D-46DD-9709-CE615F4E7588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$25995CF2-DEAA-4650-B017-620606C9CA79","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":"Q714736$48436078-5C95-4D42-BDC1-4AC3A95FAB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f0235fd2b2e5631fafd2960aad7df393d42b94","datavalue":{"value":{"entity-type":"item","numeric-id":4937118,"id":"Q4937118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$6F355DC6-7111-4141-87F8-D369BED994D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$91021FEB-6EDC-4DC6-B067-BA575B42B629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$0267169F-2290-4A27-9FC5-BAB0531FFF3C","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":"Q714736$46739979-D4A7-44AA-BE54-FC29442ED59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a5029eb8c2ac994cf895d0781834707906e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":4904221,"id":"Q4904221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714736$5596C122-24BE-4F8C-80EB-76196248079D","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":"Q714736$83FC37C3-72E4-4249-9F8F-4510A0FAB5F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e0255e0e5c15158e385b047245c3f41a5c25ba0","datavalue":{"value":"10.1016/J.IC.2012.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714736$8CCF1DF9-3EF4-4D13-9DE0-D19F956A14E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b821e2847c16fd545f80ddbe0d8523a21e8ad7","datavalue":{"value":{"amount":"+0.91365886","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":"Q714736$C9EB6705-7BEA-4A4E-AE09-81E5A22A6AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1a297784841ede16e15d8183cb3f51fc4f2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b157c25d413a277fa48aef40238d48b0f4480f8f","datavalue":{"value":{"amount":"+0.89027256","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":"Q714736$6092236A-B0B8-4B66-85E8-74385CC5BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df9344ccaade87eeea33af7020623cb06e7327b","datavalue":{"value":{"entity-type":"item","numeric-id":3190132,"id":"Q3190132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b064cea45313fad9efe582257e69d77e1fe8b049","datavalue":{"value":{"amount":"+0.8802512","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":"Q714736$58C44AEA-0E0B-446C-A4CD-69A8A49AE7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84094ca71df1b8fb9a038f88dedd7b669c7d4083","datavalue":{"value":{"entity-type":"item","numeric-id":4904221,"id":"Q4904221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e33e218900ecac6bef2768d2bb185ae3fd8464","datavalue":{"value":{"amount":"+0.8788835","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":"Q714736$9B6B0659-6CE5-4795-916C-0A8FE1105390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa585cda6c363de19c6e91cbd1102ae5144d328","datavalue":{"value":{"entity-type":"item","numeric-id":3507395,"id":"Q3507395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08fe9a785347295909cdb26527c957a606720ba","datavalue":{"value":{"amount":"+0.87158304","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":"Q714736$202E1C62-ADF5-448A-A646-E6FAC0DED693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"577d14b0e0b8b49ca0a679fc4ea9e210f3a1ecf4","datavalue":{"value":{"entity-type":"item","numeric-id":5043592,"id":"Q5043592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2428316bcd6c5c62efda48ab448150bffbfab155","datavalue":{"value":{"amount":"+0.86825526","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":"Q714736$67E37E77-7789-42C5-BE57-4A0398EA75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e092e7f3042ed4b11711950888bdaf445a54df","datavalue":{"value":{"entity-type":"item","numeric-id":3460414,"id":"Q3460414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13323013e82bf4b259003b6640cac78291b5f02d","datavalue":{"value":{"amount":"+0.8676765","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":"Q714736$D97CEC9F-EB98-4473-9DD9-3A067DA356B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714736"}}}}}