{"entities":{"Q3612640":{"pageid":5642546,"ns":120,"title":"Item:Q3612640","lastrevid":49688596,"modified":"2026-01-09T02:14:39Z","type":"item","id":"Q3612640","labels":{"en":{"language":"en","value":"Two Session Typing Systems for Higher-Order Mobile Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527388"}},"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":"Q3612640$A83F0BE5-A631-4231-A3E0-9F73DEEA44E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3be21e625230f36085af07b5d1e887bdff8f9d25","datavalue":{"value":{"text":"Two Session Typing Systems for Higher-Order Mobile Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612640$949EF2BA-0EEF-4D24-9442-5CB58EB22D87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b6b1465722ba1614031beedeaad55bfb2e4990","datavalue":{"value":"1215.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$BC20AFD1-0CC0-4B4F-87D6-F48AB100714C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c819073fb53caafb263aaf3fb294a620336b5ccd","datavalue":{"value":"10.1007/978-3-540-73228-0_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$CA3A2EAE-3535-409F-999C-5EA2D8850570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdb483f5856a5c6b32db566881cd1cbbea080f1","datavalue":{"value":{"entity-type":"item","numeric-id":1021570,"id":"Q1021570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612640$1E125F35-6578-40E2-AB09-DEB27912BD10","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":"Q3612640$67937922-B896-4F8B-9148-7631330259D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612640$E9E6CA21-D776-44EF-9AB4-6848BCE4ED6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612640$60FB9407-9B07-4A14-BBE3-0FC986B92628","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$0EE2AB8E-C6EF-497C-A15D-1EF3DE78C147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$31335584-10C0-4024-8CBD-42925F91EF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a8ec2ba208a676d053fb1624a8f940592c4166","datavalue":{"value":"5527388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$D1AD5542-467E-4F89-917C-0FC749C202AE","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":"Q3612640$77D43094-EC40-4F0F-AF77-A77B0A41C250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72887f3517b4570c03cd2a1774d7bb3cdb05f0eb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73228-0_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612640$EE2CA4E0-B994-430C-9F21-4E14EF020133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23281cd612637666210fd6040d1dbec647417d8a","datavalue":{"value":"W2113714969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612640$42719491-5F0D-4059-8545-3BF9E9052233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4266a5486996e308bb1aadd669b897ff489192","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d14f19c2dd646f6288d9f7c41442905e9e8805b","datavalue":{"value":{"amount":"+0.87688226","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":"Q3612640$BC1FAA72-6888-4AF2-B8BB-830AFE2D1E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6502520ed902b77647d4575af8957496756819","datavalue":{"value":{"entity-type":"item","numeric-id":4508315,"id":"Q4508315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ab2fb20d36540260532f7892c95321b05095f3","datavalue":{"value":{"amount":"+0.82563055","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":"Q3612640$CEF1F93C-8275-4032-BFAC-0A8977C277C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2637fa55341baaf4fdd52825d4353c1d239eaa20","datavalue":{"value":{"entity-type":"item","numeric-id":4673434,"id":"Q4673434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dbd336f83883b2b9ca75a2967773b2ef40862a","datavalue":{"value":{"amount":"+0.82550645","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":"Q3612640$64BBA48E-E9C5-48F9-B96A-4D637E2C00FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6e69c91b843223849e070f3e123a5750c21bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1772312,"id":"Q1772312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cff28bd1505ac76adf9c15548d88452ecf5f60d","datavalue":{"value":{"amount":"+0.8218899","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":"Q3612640$049762FB-A366-469A-8DDC-BC415F53CDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5cee42db0bc9ccafdcd5b4f321a20af40ade3f","datavalue":{"value":{"entity-type":"item","numeric-id":2754160,"id":"Q2754160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cff28bd1505ac76adf9c15548d88452ecf5f60d","datavalue":{"value":{"amount":"+0.8218899","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":"Q3612640$3C1DF1DD-B613-468B-BCDF-6638C2328DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5517e102f64b6ace98b465b8a2f94de0638052","datavalue":{"value":{"entity-type":"item","numeric-id":3512484,"id":"Q3512484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f2cc297936b0bd96df0433cb22ec7e6b9a89f4","datavalue":{"value":{"amount":"+0.81193286","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":"Q3612640$8052D417-34C9-4BFF-8359-49C73E0BF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c63c1fba05c43a2f5efe36d6a7b45ca6d737537","datavalue":{"value":{"entity-type":"item","numeric-id":3452258,"id":"Q3452258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a837c635ee579c9e8275f6e7a2412011109a05","datavalue":{"value":{"amount":"+0.8088292","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":"Q3612640$AC465783-F8F2-4335-B6A0-37F7DB5D4818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e936456653a59f970c8bdc34bc3ab8e7e88ee6af","datavalue":{"value":{"entity-type":"item","numeric-id":3637196,"id":"Q3637196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be836264253f50f2aff70d2e3bbb3294c53852e4","datavalue":{"value":{"amount":"+0.8074161","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":"Q3612640$984E1717-B8FD-458D-B25A-8BCF3E32316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d777af580a113c7dc57988ce30936e73a7185b75","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59fbf8779bf0da3c05040fa670a0f8da48528e","datavalue":{"value":{"amount":"+0.7998848","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":"Q3612640$1340BBFF-E997-48AE-B62F-1B0D8E4FA473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd534ff9bc0819c6913b47c1691fdc747248459c","datavalue":{"value":{"entity-type":"item","numeric-id":5466483,"id":"Q5466483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59fbf8779bf0da3c05040fa670a0f8da48528e","datavalue":{"value":{"amount":"+0.7998848","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":"Q3612640$5926A5F3-885A-4F09-B300-23634FCB5F69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612640"}}}}}