{"entities":{"Q5327448":{"pageid":7357022,"ns":120,"title":"Item:Q5327448","lastrevid":51794450,"modified":"2026-01-20T02:00:40Z","type":"item","id":"Q5327448","labels":{"en":{"language":"en","value":"Fair subtyping for open session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196346"}},"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":"Q5327448$83BEA119-310A-4BCC-AADE-8774289DE69B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c31a06474459e42365337fb0cd3b2309f1ac89","datavalue":{"value":{"text":"Fair Subtyping for Open Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327448$768CCEB8-D3AB-4262-AA8F-7B1166011C6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2db42e71c843c45d66ff6faa6a5d86bd82a023a6","datavalue":{"value":"1334.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327448$80537CDA-130B-4056-A413-1F617A8FB6E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"811be7ab279a2d9d7d05a74b18100aba1fb936c8","datavalue":{"value":"10.1007/978-3-642-39212-2_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327448$06335E2A-9AB2-4D85-86B0-5FE765860E98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327448$C6D0A05F-B8F8-4A5F-AEB7-82FA877C6AB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327448$921FCFA7-83A2-4B32-985D-3FDC0EE731F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327448$0A07F1B6-D2AB-4978-92CE-F8E260F8A096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abac7648c827df576d47a474bd36a8a0be9598fb","datavalue":{"value":"http://hdl.handle.net/2318/137477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327448$9179BECE-7269-4A09-BD81-17C804B854DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327448$5288E698-2F6C-4032-86A0-5A51D48FBE9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8462e5a374a7f632d1a96ad05ac5803e6d296b00","datavalue":{"value":"6196346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327448$12B229A3-F65E-42B4-AA29-97C70255EC56","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":"Q5327448$BB5F0986-C279-400E-A755-B3C36730CD12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d37edfaab3021067a3f943245b89d5c7157f0fc","datavalue":{"value":"W148244906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327448$D4C46F1F-5A85-48C2-B54E-4ABA0B9B5C3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c011cae306c6d493219b8bc09c0ccf7d9867afa","datavalue":{"value":{"entity-type":"item","numeric-id":5741567,"id":"Q5741567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ed33ba1cf58b056148fa3be56ef9bd57aff88a","datavalue":{"value":{"amount":"+0.9083802700042723","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":"Q5327448$88146698-3A4D-49C4-BFE4-6E40FA84CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61c9de58e256f2c2aa99746422cd69bba9f93d3","datavalue":{"value":{"entity-type":"item","numeric-id":2272938,"id":"Q2272938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a0f88c69a252bc3cdfcff61d0807ccf27e80f","datavalue":{"value":{"amount":"+0.7985988259315491","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":"Q5327448$9D373249-10D1-4B63-A626-D1CDCC3B9B93","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":"1e3825a69bbe6b6da4589abe2efb0eb12bd5fb84","datavalue":{"value":{"amount":"+0.7878316044807434","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":"Q5327448$392C52D7-EA7B-43AF-9BDB-E28582952951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17c0d8427be59d8099008b58675dacc5f8a562","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854c0188184b00d401bfa5754fedef54bba38267","datavalue":{"value":{"amount":"+0.7866698503494263","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":"Q5327448$B1BA0A5D-D32F-44C6-8BB2-BD2FF5FBF014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc4e4f19f12abce6f4fe2420783e19c46293417","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7ebd491802447dd238ccf5c384f2da34d27540","datavalue":{"value":{"amount":"+0.7753786444664001","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":"Q5327448$D64E1FE1-EAAC-4893-A1DF-DB82C2162C93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327448"}}}}}