{"entities":{"Q5327432":{"pageid":7357006,"ns":120,"title":"Item:Q5327432","lastrevid":58520049,"modified":"2026-04-05T14:03:43Z","type":"item","id":"Q5327432","labels":{"en":{"language":"en","value":"Multiparty compatibility in communicating automata: characterisation and synthesis of global session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196330"}},"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":"Q5327432$584733FA-C6A2-4314-8317-CD1987BE28CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bdbbb3a817f9189300b07102fe1ed6914f017cc","datavalue":{"value":{"text":"Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327432$552448B0-D11A-4492-BAA9-A38379C59745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f88506afdff3d64223403f3b041ffff86c122730","datavalue":{"value":"1334.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$C54F2289-9222-4EE5-A3AE-5C305813B51E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02f4c80daae7b77d63e4809e762ab07d1021d893","datavalue":{"value":"10.1007/978-3-642-39212-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$4D09D68D-8A6A-497F-AC0F-492BBD312419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfd49e2268a734a0fec0b364e88dd9162272850c","datavalue":{"value":{"entity-type":"item","numeric-id":890612,"id":"Q890612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327432$A63E9696-E02E-4A46-B225-1DDA67A01B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327432$7A875BF5-7075-4CF9-AAF9-0C4A9CAED9D3","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":"Q5327432$2E76BED2-6131-4222-A7F6-6B9064ED1910","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":"Q5327432$FC0D8CAF-0CDF-40A2-9057-10C1C93F0999","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6194fc4584d0e947d853aad4cf31c867de553475","datavalue":{"value":"https://arxiv.org/abs/1304.1902","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327432$AA3961AC-FA88-4A35-9AC2-EE299AEF610A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$18290002-2220-4114-89BA-F5469497B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$7B7DACC5-32B9-4CC1-94FC-96490F021E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$2B93BD10-322C-420A-B851-8EFCFB1CB7F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7424fe4790a9530ecf18bfe4de68270e577cd76d","datavalue":{"value":"6196330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$22915EF8-1729-48C7-8344-33632B7C4C60","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":"Q5327432$36573752-8F3A-4A50-BC37-D35E9E8CF96C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25e47da5dd80a8559a9b7556a4d28f31727d53ed","datavalue":{"value":"W2119992090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327432$42D4D665-30BB-4AED-8679-3E1B740370BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16f989c6857758aa81a306c1ea6f15cd94bf270","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01691fe39cb9f4501e8ccad28475f6d00c445274","datavalue":{"value":{"amount":"+0.8104121685028076","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":"Q5327432$A580BAAA-EF4A-4A23-AC57-C25C78451BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c43a0705d6e56e42a254b1f11c66ea7e408d50e","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421d666203515226100f2ae493ff4afd0d613a0a","datavalue":{"value":{"amount":"+0.8056585192680359","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":"Q5327432$32EB1192-7663-4208-A84A-12F8D83D4DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0992ad15b4ccfe7ccc068a8b4f0e5cf0ed4c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aeb2f6a6fa9ac256fce9b8102ea01c2e294c40","datavalue":{"value":{"amount":"+0.7999327778816223","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":"Q5327432$7F165024-7C65-4CE5-9613-5ED6E265E518","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":"3458b9dec34b56f807fd3902616050ff25939c88","datavalue":{"value":{"amount":"+0.7879906296730042","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":"Q5327432$8F4F662F-6EB6-48F7-A54C-E7727C68A65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f7c3cd207f1de9e48f61fe4299ee486488f999","datavalue":{"value":{"amount":"+0.7860952615737915","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":"Q5327432$2E8EB77A-547F-4252-82C8-243C55EDE9A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327432"}}}}}