{"entities":{"Q2436508":{"pageid":2447251,"ns":120,"title":"Item:Q2436508","lastrevid":74110530,"modified":"2026-04-14T18:24:14Z","type":"item","id":"Q2436508","labels":{"en":{"language":"en","value":"Algorithmic type checking for a pi-calculus with name matching and session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261386"}},"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":"Q2436508$817737E7-73CA-4B50-8F8A-75D90CAEC74E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61b70ae5a6271a32e130f902635435e15fb0975d","datavalue":{"value":{"text":"Algorithmic type checking for a pi-calculus with name matching and session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2436508$2962F5FE-7F2C-4344-B16C-1689091C23E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a56b038f7b81493cd094bd6629f7015a6daee4eb","datavalue":{"value":"1283.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$8FD26E38-C842-4727-8625-FAD14F78624E","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":"Q2436508$EF7AB860-AE41-4A5E-9BAE-C7AA465657E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$3C4DDD17-69EB-4D70-B53A-6860A50C4446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2436508$55FEF918-2A9E-4826-A8E3-6D63DB17B86C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$FDE76598-2615-4FB4-8E09-1686207A93B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$5B1D4A09-7E29-4BDB-A421-E107D4746452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3c5ee4c6422f32cc763ddf20c78964f4f83b707","datavalue":{"value":"6261386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$CF33A188-4C96-47E6-887B-225E71F2D2B8","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":"Q2436508$700D87A3-8D4F-4193-BD4F-FF1DD11A3B7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"605f4e818bc48754ccf3192cf9d94ed6b48da998","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2013.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2436508$D141FF19-1701-4154-ACB5-6A7EB7431507","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e572d4d37416bb6d75db89fa5812e469e9106886","datavalue":{"value":"W2023274662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$25D1C52F-25C5-4333-85B0-943E0A3DBAE2","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":"Q2436508$321C13D2-C734-4894-BADE-066DB436CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58539d575c8d1875a2d20f5e305eb0c3f50180","datavalue":{"value":{"entity-type":"item","numeric-id":5633643,"id":"Q5633643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$79CBDA60-043D-47AD-A42E-44344176DDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18d1ff9e4f878683676cc1b8d2c70670171782","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$B7D3D9EC-D8B3-4F2D-A730-C5CD6B567166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f980106b0b3102d5c513ab1a73e97e58cd3050","datavalue":{"value":{"entity-type":"item","numeric-id":5255084,"id":"Q5255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$4AE76316-38F0-4B76-BDF9-6878EAEB6E13","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":"Q2436508$857CEE79-CE35-48C3-8589-A9DB018330F6","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":"Q2436508$87F192C0-8495-4AA5-A448-8FFB66590961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6115ff4a4a580a5d6f07a0a8a9cd387ae7916e67","datavalue":{"value":{"entity-type":"item","numeric-id":4986260,"id":"Q4986260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$1D7797AC-D6BA-480F-8523-C91ABB26D13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4be923c2713bb5026416d515b3b3c21d8afc983","datavalue":{"value":{"entity-type":"item","numeric-id":2830031,"id":"Q2830031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$731AF1D8-29A5-4721-8D6C-A3A8C4202B4C","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":"Q2436508$8695A112-95DB-4989-9480-5A54038808B8","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":"Q2436508$120AE5D6-77C6-4085-86EB-E9C6C40E200C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$590B87F0-74CC-44C8-B4F8-237CB2C69FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$81AB1FDA-27F5-4575-9E3E-837846523AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$5DD66F42-D03F-426F-8554-1CB307014F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2436508$E218A50F-CD57-4622-85FF-F602E87F4B94","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":"Q2436508$146D03E8-EAF2-4C35-B960-94D1F1A44069","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":"Q2436508$B79DD1C2-4881-409D-9F66-95EDA2E606D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e4a42134f2f8862937f1912419a6961182d877a","datavalue":{"value":"10.1016/J.JLAP.2013.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2436508$E72F5D29-61D4-400E-B28C-8D9F0C1A87F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cbfb7b5b942ccff2d46958b7d7c8b23aec42c5","datavalue":{"value":{"entity-type":"item","numeric-id":3384912,"id":"Q3384912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3eaafb4b6b50ae2c5a6b6e31fbe5dbb643d588","datavalue":{"value":{"amount":"+0.89195037","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":"Q2436508$FA050BB0-FE0E-4AFD-9BBD-284F15FD550E","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":"554258a00ca6f2088605a9c6a0e08c641e23683a","datavalue":{"value":{"amount":"+0.8796837","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":"Q2436508$88C6A080-AA31-470D-9233-9E80D39CE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfc5ad95cc936c55634ab92840583934fccabbb","datavalue":{"value":{"entity-type":"item","numeric-id":2216475,"id":"Q2216475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a9fd448827f448683346c465ce2fedfa262a89","datavalue":{"value":{"amount":"+0.8791286","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":"Q2436508$C2B72779-A6DE-4029-9061-3A8BA4732E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0801e0b32ff03cfbcbc7366fe10bf9580c83e9af","datavalue":{"value":{"entity-type":"item","numeric-id":5014801,"id":"Q5014801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a9fd448827f448683346c465ce2fedfa262a89","datavalue":{"value":{"amount":"+0.8791286","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":"Q2436508$4B3AE4AD-0212-4E54-AC27-4B4D18A98E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e99a932d68ef0135ce5875553033577cfeeb450","datavalue":{"value":{"amount":"+0.876614","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":"Q2436508$160DF3DD-EA40-4951-B016-6EFADBD7308E","rank":"normal"},{"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":"37685c0a8ecce56731e265f25a36e3d5f372988b","datavalue":{"value":{"amount":"+0.8754761","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":"Q2436508$7D3DADC3-0BB4-4588-AED2-1D6AC71F0DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261051e00ffed46185b25b1f6797538cd7f31b26","datavalue":{"value":{"entity-type":"item","numeric-id":6083689,"id":"Q6083689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4c1825f3c81fb41eb5815d73ae051d8555c79f","datavalue":{"value":{"amount":"+0.87376744","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":"Q2436508$C7B5F103-EE65-40AA-9588-B198C59E44D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449bd73628e26e8e9c6c8ab0b9e35067fa8e7c45","datavalue":{"value":{"entity-type":"item","numeric-id":5741562,"id":"Q5741562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f016029346f8d2bfd89774fcc13978ae0b7db2f","datavalue":{"value":{"amount":"+0.86857426","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":"Q2436508$4C0D2112-B851-4887-8996-E6A841AC9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea0a69a641efcf9edb24fd49194f925ff911754","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9a24917a3222cd2719b7e073be0f38b8b59ea9","datavalue":{"value":{"amount":"+0.8674998","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":"Q2436508$B291C1AD-25B0-4A19-8A22-78CE753B08DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic type checking for a pi-calculus with name matching and session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_type_checking_for_a_pi-calculus_with_name_matching_and_session_types"}}}}}