{"entities":{"Q2216475":{"pageid":2227218,"ns":120,"title":"Item:Q2216475","lastrevid":71577906,"modified":"2026-04-13T23:10:34Z","type":"item","id":"Q2216475","labels":{"en":{"language":"en","value":"Using session types for reasoning about boundedness in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7286404"}},"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":"Q2216475$3FFB994E-BFD0-4202-8CE4-77F64F5459D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60a9fab4887dcd581b3a4d6ef424bee650d81a0","datavalue":{"value":{"text":"Using session types for reasoning about boundedness in the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216475$AA453F6B-FFD3-4CED-AEB3-75C6D98FE57E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbe09161556961a486b1fb9453712b72ed08a53c","datavalue":{"value":"1477.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216475$2610E885-7379-4F43-8C0D-FCCCE8CDAD15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$11135EEF-5AC6-48F1-81AD-7B6642B07249","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$B11E5FE9-12F4-49A5-98F1-2105385DD5D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca40d4ed4465267d08462ace16c5b0bf2cd390f","datavalue":{"value":{"time":"+2020-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216475$C0FF3DE7-86CE-4D4D-95A9-0F18E8247E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde3d905b98cf13bbe2a570e88c08cc767372650","datavalue":{"value":"https://arxiv.org/abs/1709.00829","type":"string"},"datatype":"url"},"type":"statement","id":"Q2216475$2A297F34-558E-4AEB-A2D8-0B112F0508CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216475$BDC7CF51-CEC3-4393-A9E5-0267C1E40D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fcd0bcc23342846becbf3c95199f3d0d662b45d","datavalue":{"value":"7286404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216475$3E5CEA48-5AE2-4D08-9F70-13F190137164","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$C327169E-870E-41E5-81CC-199D2861A3D2","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":"Q2216475$7F9EB164-2C91-42BF-A618-3214773078DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84218d41545e90f963ec3c3ec1990c4a01d9ddc1","datavalue":{"value":"W2971203178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216475$12F4ABB4-E1A4-4263-A3B7-30C1A1DF1582","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db184f4cf650f16ff6a2ff6d0f9acf64a6ba5d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$B48FBC88-6186-4996-9EA8-D432B170B32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e355d17516cbacac07e53a9eb3476a061fae7d34","datavalue":{"value":{"entity-type":"item","numeric-id":2811925,"id":"Q2811925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$991721D4-C3EC-4398-A3FA-3894EEE4CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$1784D615-A145-4BCC-8F2B-561665EE079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$3B584534-D959-48B6-9F4D-CC76FF7D4BE6","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":"Q2216475$5E66D98F-5B6D-4FE7-AD09-DBBDF432CC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc6be74f999af63f0b57c03ec6e520e223b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2842106,"id":"Q2842106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$26A98AC6-EBDE-4287-B1A5-2FF94DBB4317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e9f41322dc74c02b234e1f9a37d82ae80f8f26","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$C6C9DA4D-8E14-42D4-9C9A-5935F78C63F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c444dd303be4aa99d182a23f270fb96936e285","datavalue":{"value":{"entity-type":"item","numeric-id":5370909,"id":"Q5370909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$29528565-46CC-4A59-8E38-234DE9438220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2a13ff607f1748a5fffab431ba33a617c69854","datavalue":{"value":{"entity-type":"item","numeric-id":3184693,"id":"Q3184693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$7F857C86-1187-48AC-881A-79EDE0049ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$D6A1E205-FD07-473C-BD0D-E437695DCF56","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":"Q2216475$E0F58730-7C7E-46CC-BD64-663B577863E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$76BE4421-6461-4D42-AF84-064714A788FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4152a97f22f2b819f813b15c03434104369282","datavalue":{"value":{"entity-type":"item","numeric-id":3557846,"id":"Q3557846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216475$76FB411D-76AF-44F4-8E53-B8FD43AD149A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61c28ab36bc64649d5a6f6ab148c169026b5ff10","datavalue":{"value":"10.1007/S00236-019-00339-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216475$7BAC04AD-F54B-43EA-862B-06C08D023736","rank":"normal"}],"P1643":[{"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":"89ce42cf76d030e9e97d1900fd3061cc01ca2685","datavalue":{"value":{"amount":"+0.9706181287765504","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":"Q2216475$304D5E7C-7E6F-4B9A-9C2A-9D63BC896E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a28c1e03d2ae69bf72523e02b5e1d9266f7768","datavalue":{"value":{"entity-type":"item","numeric-id":3190129,"id":"Q3190129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd7940cbae0f17f147aa005d40a840d394dd011","datavalue":{"value":{"amount":"+0.8125694394111633","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":"Q2216475$362FEADF-EE81-4549-A53B-F72CB5B46E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b9adeb09f5cf5d6e1c2f6d1f91f68a14729d51","datavalue":{"value":{"entity-type":"item","numeric-id":2842106,"id":"Q2842106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d4304cc1fe17167b559d1c3155cf9eaa3661a3","datavalue":{"value":{"amount":"+0.7842822670936584","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":"Q2216475$167E7CD4-C336-43CC-89CF-E2B1C305B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ea88625afb98db176cce3c3abb2c7d03d9b270","datavalue":{"value":{"entity-type":"item","numeric-id":3638083,"id":"Q3638083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796600b491bdef97d422d100bcfd683e4114780b","datavalue":{"value":{"amount":"+0.7617294192314148","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":"Q2216475$3E3C5A19-260F-4345-8811-E1B4398DD1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70446e1388c63fc87663a5ad0509e33bfcbc18e0","datavalue":{"value":{"entity-type":"item","numeric-id":4484478,"id":"Q4484478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654c2c38d63c9cebca4bf6e215ddbd12d2b6ea7d","datavalue":{"value":{"amount":"+0.7575443387031555","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":"Q2216475$A07EA2E8-0954-472F-9653-40F46C9A33E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using session types for reasoning about boundedness in the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_session_types_for_reasoning_about_boundedness_in_the_%5C(%5Cpi%5C)-calculus"}}}}}