{"entities":{"Q5212042":{"pageid":7241613,"ns":120,"title":"Item:Q5212042","lastrevid":53645390,"modified":"2026-01-25T11:59:09Z","type":"item","id":"Q5212042","labels":{"en":{"language":"en","value":"Observational equivalence for multiparty sessions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157399"}},"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":"Q5212042$CA40F270-E6F2-4CC3-9893-FCEE2850FE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cdcb8f83407205882cae560e85f8e8d29054e37","datavalue":{"value":{"text":"Observational Equivalence for Multiparty Sessions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212042$F0539B24-817F-4E1A-9793-E18243964F47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a06d78a06e8fb42ab9f73a92810034d74914af4e","datavalue":{"value":"1436.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212042$9E11999F-D493-4527-81A1-7CE345F9F4AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9372fd3754f639e25c4dd3edc381005c411c54db","datavalue":{"value":"10.3233/FI-2019-1863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212042$BB5394B6-F57D-4E93-AAD9-D2E66E45E5D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212042$AC0A6383-C786-4AD1-99E8-8F99851E2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212042$CD98DD06-F54F-4792-BE4E-728FF224377A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212042$F029AC44-12C3-4F03-A29E-379622F64B6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212042$74429A5D-C670-4E55-9581-71B346A107D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212042$C3EA7954-3933-4E51-A127-8249EDBDA01F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c53cb63c702f2f093024cfe6d999c0453ad9ee02","datavalue":{"value":"7157399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212042$3F9F94E7-9CCB-47DD-82A2-0E3A80EBE7C7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e62653311077d2e9c89434ed597d7ae23b9b0e17","datavalue":{"value":"Q121746484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212042$395597F6-EF7B-41AA-84FB-99EAAA00D3B6","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":"Q5212042$A373F30E-8339-440D-95E1-568075CE5B74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9204d3d37e66ec5cfb59d9a71e0a1cc9f191e2","datavalue":{"value":{"entity-type":"item","numeric-id":737096,"id":"Q737096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801f0829d7aeff3c0f085272dcf1e197775883ca","datavalue":{"value":{"amount":"+0.7728008031845093","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":"Q5212042$D1FD98C1-6318-4F05-B3A5-7BA2F17BABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad042b2f59b2912bf67d822bc391660ae947729","datavalue":{"value":{"entity-type":"item","numeric-id":2683035,"id":"Q2683035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c62c2a606ed8110fa18c5790a21dcd38032bab6","datavalue":{"value":{"amount":"+0.7532499432563782","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":"Q5212042$276905C6-69D8-49B4-9A59-BEE55277C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b36158091da80bce71e7218fcd6609f454f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1996856,"id":"Q1996856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83144844d4dedc9a53af558c24044826a680e62","datavalue":{"value":{"amount":"+0.7442269325256348","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":"Q5212042$EE25005C-0E55-420B-9D0A-DAD77199EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c04628896f09dc0761e0b21a31e3bedce89e3","datavalue":{"value":{"entity-type":"item","numeric-id":5275396,"id":"Q5275396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dc9df3a98cc3882b250039338b12ed89bbf4d0","datavalue":{"value":{"amount":"+0.7432301640510559","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":"Q5212042$4A1923F8-2ABE-438F-938B-C4AC614C7D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a083aa620eee961f081af0bd2ba17948bac7f989","datavalue":{"value":{"entity-type":"item","numeric-id":4965856,"id":"Q4965856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6462aae2b07e6b797d66fe5cbad6ac1c856fea6d","datavalue":{"value":{"amount":"+0.7416556477546692","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":"Q5212042$02A2ED21-E8E5-4119-9A08-FC22247BEC7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212042"}}}}}