{"entities":{"Q2827456":{"pageid":2838194,"ns":120,"title":"Item:Q2827456","lastrevid":83654303,"modified":"2026-05-07T09:44:08Z","type":"item","id":"Q2827456","labels":{"en":{"language":"en","value":"Compliance and subtyping in timed session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641157"}},"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":"Q2827456$16F42388-2B28-42DD-B46E-59C1F0114652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe243dbedb51d0fc622989c8c043c73d0e325fee","datavalue":{"value":{"text":"Compliance and Subtyping in Timed Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827456$89D7D87E-86C9-4EB8-9E06-B0D698A18FDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f5faa2d777012557bede7c16722fd3cd983ffc","datavalue":{"value":"1347.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$B08D0DC1-47AB-4B1D-96D5-5E89456D8BAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecea6374076015788589e4549eeeb581abf30adc","datavalue":{"value":"10.1007/978-3-319-19195-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$BFB09BDD-FAF5-4A44-A7D3-8694C098FA83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15ca605d00a4af5ed8da0f068ee3a907ba12187","datavalue":{"value":{"entity-type":"item","numeric-id":272302,"id":"Q272302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$0FA125F1-41E1-49E6-8B77-073AE25681F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84702506a411feeeeb860d78de71f83237d984a4","datavalue":{"value":{"entity-type":"item","numeric-id":272303,"id":"Q272303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$891CA240-7652-4F99-96F9-CAB3459AA7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5687835a8d726aa12bb2ac19d8def649fa1eae4c","datavalue":{"value":{"entity-type":"item","numeric-id":347373,"id":"Q347373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$6002DF1D-D3E6-42CA-82EE-C0BCDEAB7EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f711df290027d895ff96e629ae7b95f4f4e6caf","datavalue":{"value":{"entity-type":"item","numeric-id":2827454,"id":"Q2827454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$184E8E49-748F-4AF1-AB12-6CE9944FCFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18dbfd8162cbc58e4d9b30cbb70d3b2490c00ae4","datavalue":{"value":{"entity-type":"item","numeric-id":2827455,"id":"Q2827455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$7A054984-5A75-48A6-AAA3-D487F1D56F59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827456$7F7DDBE0-9409-4959-BAB9-009700EF1BF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827456$9D580029-A7A6-4988-B2DF-2B73A6151C92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbec3a1fec808d649e7b14f17f25d000fe78a87e","datavalue":{"value":"https://hal.inria.fr/hal-01767334/file/978-3-319-19195-9_11_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827456$6CAA017E-C151-4849-88FE-9891983438DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$74726A2F-29FF-4CA5-A9D5-2A8C47FF0BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$D46449AE-1D77-48DB-9AA0-0C9968E93390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3670510837ddb773480385e8fbe157fb6817e893","datavalue":{"value":"6641157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$F86A6F61-9268-4460-95C4-F441722EDA5B","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":"Q2827456$8C988C60-5170-488F-9122-713B94CCAEA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a621a7d1b2d30dbe3e0ef3b5f6cd108237aa3e4","datavalue":{"value":"W990735024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827456$048BFF67-F546-4ADD-B91C-D50EAB99EE74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e4ea9a78e6f306ab891ef3cc639d873bdae4ac","datavalue":{"value":{"entity-type":"item","numeric-id":4596804,"id":"Q4596804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baddf8d7763fc7c164dc786d270bb7b5480d7cae","datavalue":{"value":{"amount":"+0.9294580221176147","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":"Q2827456$5FEF28E7-F277-4483-8E0B-D23C640DCF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4264425dbe356dd2a8915ceabf9a57f6d852c76","datavalue":{"value":{"entity-type":"item","numeric-id":3190133,"id":"Q3190133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a03f4fd6a9760f651742f096a121cd0aebe31c","datavalue":{"value":{"amount":"+0.7969652414321899","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":"Q2827456$28D9D7D4-9488-45F8-A8D1-508765544E17","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":"4bcca80b9123939ca350c9fd288908501a7c4cd6","datavalue":{"value":{"amount":"+0.788078248500824","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":"Q2827456$787824DC-DCEC-47D1-8AD1-990B4928CE72","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":"79c648db6d478a9d368c2b1b9be681cbd2eae78e","datavalue":{"value":{"amount":"+0.7737812995910645","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":"Q2827456$8F4494CC-9A39-43BF-A77A-7F7D091FBB86","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":"71a41092b0f7293b7bafd0fac8e703f4d7730104","datavalue":{"value":{"amount":"+0.7652616500854492","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":"Q2827456$F9469484-8F6B-4817-84AE-CDC6260F3151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compliance and subtyping in timed session types","badges":[]}}}}}