{"entities":{"Q5741567":{"pageid":7771118,"ns":120,"title":"Item:Q5741567","lastrevid":52582703,"modified":"2026-01-23T01:02:48Z","type":"item","id":"Q5741567","labels":{"en":{"language":"en","value":"Fair subtyping for multi-party session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607283"}},"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":"Q5741567$6141E736-F845-4B83-B66E-5B77C708D86E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9f4817da576fa86742767c282224c550f187bec","datavalue":{"value":{"text":"Fair subtyping for multi-party session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741567$6CA6B752-7151-4680-A9B2-AC9F3C6C4C4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7decfc776680c71a0318785350c76e4b635ccac5","datavalue":{"value":"1361.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741567$0BCCAD21-A117-49A8-A4C1-978190F32B9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"497bd491649309c23b292dc4290f2f4587c92d0a","datavalue":{"value":"10.1017/S096012951400022X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741567$D09D08F3-668A-41FF-867E-65A165F4AB71","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":"Q5741567$819ED117-C3C6-4888-BEFB-002EE1475C37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$5A223B1A-E6B6-4B47-B2A5-AF077434D7E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741567$7E767A44-43E9-442F-8556-6E13417B5573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741567$30A8685A-2D19-4976-B1E0-33497239C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741567$EAF907CB-B77F-4B6C-8C6D-39D0DFF791B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e863551580176457c8c28266edbac4e230c24142","datavalue":{"value":"6607283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741567$E49E7647-7DB5-40AB-AD6D-E50027864B1B","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":"Q5741567$6E87F7E0-3A7F-4532-8C2D-5EBA9080EF80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b304bb71a7b6145903dd13723fbb60b76ae0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":974133,"id":"Q974133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$B751BCF7-36E3-4201-B2B0-AE4D424B4712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01beeb55efcb125e7dfe6efcaa531cbb78fa3ea","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$FA73D151-00C5-47BE-B1D6-CBEAE3DAE28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$73DAB07E-6EBF-4FB2-B305-A8C38DA3D175","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":"Q5741567$F826B3CE-9B28-419D-BD4B-C776F370DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$D7D76EDC-4C5F-4782-A586-C155BD2D3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f0d0b384b03ca6c98eaf54d19aa2898f44cac3","datavalue":{"value":{"entity-type":"item","numeric-id":3636912,"id":"Q3636912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$F04861F7-7F72-4968-BAE7-2033168E58F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$9265E173-9151-46FC-88F0-93E286E32C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$60F6209E-B2E7-4AE7-BB57-89D525D52EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f3b732b9b3d6dea2c57008741bfb2e3f76dd10","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$FBE8DEA5-20F2-440F-A69C-E75F5D055D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e671b2cbded75906665161b5e843fe21101975a7","datavalue":{"value":{"entity-type":"item","numeric-id":2883119,"id":"Q2883119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$2D33274D-7B03-4252-9E7A-6B864712B90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741567$CEC7C558-9C5F-4B46-BB3A-511269AA364D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b907f8633ff92b6a5320fbc17ed708d0b9ca3051","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"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":"Q5741567$0797EE3E-B4B6-44B1-9090-BD155F2EFECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e6bbeecf0b359260d41b089344b69472ff40b4","datavalue":{"value":{"entity-type":"item","numeric-id":2423747,"id":"Q2423747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9917c70d75a6c17501b17f20b55e647c3ef895e2","datavalue":{"value":{"amount":"+0.7894992828369141","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":"Q5741567$3CA009F0-9BF1-420A-A054-D4074DBC5CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc600ec5b455879ddfa8e3295d8aee262473078","datavalue":{"value":{"amount":"+0.7795397639274597","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":"Q5741567$CD1F5EC4-7B3D-43E7-9CAB-AB4DB04D516C","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":"e50ba645d0f0e55c02e64deb2466e08d932ca8cd","datavalue":{"value":{"amount":"+0.7769178748130798","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":"Q5741567$B2312C2E-4E81-4946-A838-38A1A11E741F","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":"03ba0a02a7f3d36cc723e7cc87fabf41311666dc","datavalue":{"value":{"amount":"+0.7706149220466614","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":"Q5741567$A8EA75E8-2D6F-43C5-B4E7-AC71F53DF224","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741567"}}}}}