{"entities":{"Q5014801":{"pageid":7044378,"ns":120,"title":"Item:Q5014801","lastrevid":92034365,"modified":"2026-06-05T00:41:55Z","type":"item","id":"Q5014801","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 7441259"}},"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":"Q5014801$3BEF9BC9-99D5-43DA-A641-2BEE8B6277EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b6f218b2429003dc31ac006606bc215baa9ae3","datavalue":{"value":"1477.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014801$2F9BA664-15ED-4EE9-8BED-CA0C9511C894","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":"Q5014801$14C9E593-7134-40E0-9F09-27EABDBF2F1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014801$901CEBBA-9480-46A7-B87F-F362FB5A9229","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30668cb9fa7bd4f6ad58b103fc865f6ee481c479","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014801$48B94CF4-0371-4E01-8870-7F102F29CF0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014801$714723EC-76FB-4D1A-A4EB-5401BB3DFC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96fba31b7d85d44011133bfdf265788c762e6f30","datavalue":{"value":"7441259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014801$1BA96613-7B2C-4493-9952-5E681C4C251A","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":"Q5014801$81BDD7A2-10E6-4B03-BF9A-29CAE6484CB0","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":"Q5014801$4A0E3C19-9790-4C22-B843-8FEDD2F838D6","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":"Q5014801$7B10DC67-32B1-4B4F-BB75-0BF0B80630B2","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":"Q5014801$11CF9DB0-6F99-4758-9B9F-30AD48536BA3","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":"Q5014801$2EAA4F92-469F-4D2A-8AB4-6A205133EE87","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":"Q5014801$831814CC-08AC-4E66-926F-C20694477175","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":"Q5014801$9AFF9894-868E-40E6-8FDB-A2E90ECBC321","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":"Q5014801$3F5EA7E0-7BFA-4BFA-9E03-CED70BB4EA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494809c62f97ce3eaf29c07f1e3cd6a5fb1333e6","datavalue":{"value":{"entity-type":"item","numeric-id":2963261,"id":"Q2963261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014801$6212DA52-71A8-4BCD-929A-5A3B84417AA0","rank":"normal"}],"P1643":[{"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":"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":"Q5014801$4F15993C-7C29-4D7D-AE68-52320169696F","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":"34c3b466424340f7d2755adc9054d2a3e2334b47","datavalue":{"value":{"amount":"+0.8275120854377747","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":"Q5014801$69495A64-FF95-444E-B9CF-60B339637B0C","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":"7109ced83229bdb9a4cae3f5864d1b7ab0c28aa8","datavalue":{"value":{"amount":"+0.787553071975708","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":"Q5014801$59665809-31CB-418D-840D-05C33CCD743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ac62ee85f72fb22308a132b42bebe062abd234","datavalue":{"value":{"entity-type":"item","numeric-id":3535678,"id":"Q3535678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675d92f1a8b913536466005f023223660cce64a9","datavalue":{"value":{"amount":"+0.7691563367843628","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":"Q5014801$6D80D2F6-D8BE-4FC0-9E38-EEC59CD7316E","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":"abcf38a5b2e7c74fad387a1b0f088eca914a5a25","datavalue":{"value":{"amount":"+0.7575074434280396","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":"Q5014801$1AE41CA5-B2E9-4DB3-BE3B-D6322B9B8856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using session types for reasoning about boundedness in the \\(\\pi\\)-calculus (scientific article; zbMATH DE number 7441259)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_session_types_for_reasoning_about_boundedness_in_the_%5C(%5Cpi%5C)-calculus_(scientific_article;_zbMATH_DE_number_7441259)"}}}}}