{"entities":{"Q780055":{"pageid":781904,"ns":120,"title":"Item:Q780055","lastrevid":64360149,"modified":"2026-04-11T19:19:52Z","type":"item","id":"Q780055","labels":{"en":{"language":"en","value":"Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220547"}},"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":"Q780055$6B1585A7-D461-451A-B2A3-18C63085D56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3b7bdbc5a740b277eed955607ae796ffd45d903","datavalue":{"value":{"text":"Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780055$44498469-3CEE-4B2E-B386-A468CFA79E1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8029e40b64feb2d2ea5c2902a23145e3e25f924c","datavalue":{"value":"1451.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$028AAEBF-CEBD-4619-A460-E05808ECF695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39eccc8ae2f9f768053e4e1e3093e6c38b577dbc","datavalue":{"value":{"entity-type":"item","numeric-id":780054,"id":"Q780054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$7DEE279C-776A-4E7B-BE5D-E8002F4BCAE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$1F956FD2-F136-4BB0-B471-B7E61979B9E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdf5a1b6064075629896aef5821f31a8aaaeb7c9","datavalue":{"value":{"time":"+2020-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780055$F161FFD5-4895-4B89-BE21-2C9CCEAD71F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$A81816DF-4235-4DEC-B4C8-24AA34640FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$07B4A985-AEF9-47C3-98C1-ED187741CA2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9106e6fee5a721b9b3f054a9f224c80c17faffcc","datavalue":{"value":"7220547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$4CB7EE8C-09E0-44A7-9298-FC3AD557CEA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2e210c4d62794db7157ec7df49ad346fa73c17","datavalue":{"value":"choreography","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$E3BB9BC1-E934-4041-B914-694581837F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$7BD63680-43C6-497E-BBE0-7A6D178F8D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$DB3A7641-1E74-4745-9B45-591BE50D8A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7816fff590f6c4f45049a8460c5a22c0c9e7f01f","datavalue":{"value":"causal-consistent reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$FC250E86-94A1-42E0-B208-99BE0A506108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2013a74729b443f54ef32abc282b1675bb31850","datavalue":{"value":"pomset","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$3CC416A6-DA60-4F3C-AD3C-E24885980930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e22bedf61d0cf925adcee018fcb0d23789592d5","datavalue":{"value":"communicating state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q780055$65FB25D3-6EC9-4473-A260-06DE5982F0C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab152b757a9a33f97b564118c3c5f6c33b04143d","datavalue":{"value":{"entity-type":"item","numeric-id":55103,"id":"Q55103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$63FF56FC-1D90-4FA5-83CE-B5390CE5A1D5","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":"Q780055$C03C5398-359B-47E1-9F6E-797D8B21AC85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14735b05bc65b884818ce9753aa4b81cab72c7a1","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2020.100560","type":"string"},"datatype":"url"},"type":"statement","id":"Q780055$027DD041-D45C-450B-ABA5-67D09D88DBD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98c0b7baba29511ff38e2c5fd7d267a2c82cf160","datavalue":{"value":"W3026610525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$6190B705-B4CC-4C7C-ACE2-F93A49788F93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3405438ea27008c9b6bae71f987d10c158656d","datavalue":{"value":{"entity-type":"item","numeric-id":1796364,"id":"Q1796364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$47104F21-CD91-41BA-A98A-401115B32438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b499d373d3e1fef9dfa9765dc61a243dacacb02","datavalue":{"value":{"entity-type":"item","numeric-id":1648893,"id":"Q1648893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$8E7643A3-A010-430B-9446-DFFC54AFFFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$F4584AC7-C687-4BBF-B6E8-C2F6874442C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb02d4e3ebf3d3cd44b2afba9772992336e3ce05","datavalue":{"value":{"entity-type":"item","numeric-id":2864218,"id":"Q2864218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$49CF7A4C-6B8B-4F89-8263-72E202C8054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fd6c62da767f6504b2fb11bdb7fedad24f27","datavalue":{"value":{"entity-type":"item","numeric-id":2819808,"id":"Q2819808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$8CF9D890-4601-453E-922F-0ED36C0ACC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17081fe095c590c589b563d405453c57531fa930","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$5971C1B8-E0B4-4A3F-BF8F-89AB1A94E18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b011f532ec616c19548182866107db8a69902d7","datavalue":{"value":{"entity-type":"item","numeric-id":2011200,"id":"Q2011200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780055$87A6629D-9809-46BD-9CEF-378A72050927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408bc3f3ea0c553a380f3d72b1e395cb9c505846","datavalue":{"value":"10.1016/J.JLAMP.2020.100560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780055$54A29D14-F373-4234-B7CB-81FC361AD5C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73ac661d8552c11208ebe6d154ac8caa5ffb74b","datavalue":{"value":{"entity-type":"item","numeric-id":2206787,"id":"Q2206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bf418523e533c5432c54be40587672f503649b","datavalue":{"value":{"amount":"+0.7874149084091187","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":"Q780055$C1DF445B-23CF-49D4-B5BB-847FF89435B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cc6bf70e1b527215ee6d18bdc48104e37d6e3f","datavalue":{"value":{"amount":"+0.7690372467041016","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":"Q780055$2B19A9B8-9173-4201-9324-1A0626D38D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db9bf22c2ac5b4bc9e93748b68c0270bf6cf43d","datavalue":{"value":{"entity-type":"item","numeric-id":5040369,"id":"Q5040369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e293e4a05074484b27e40bad64488e7fdbda7b","datavalue":{"value":{"amount":"+0.7649836540222168","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":"Q780055$A80EE9D5-42C3-445D-BA41-6BED2EEEFCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95aad48a2b075c77e4e6fbae4ccaf8feaa1905","datavalue":{"value":{"entity-type":"item","numeric-id":739636,"id":"Q739636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c4e4a9de275e5512db556f7a17c718250f937f","datavalue":{"value":{"amount":"+0.7414200901985168","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":"Q780055$2ACFE6F6-E2A4-4827-99B8-EA4B17143008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37969e09cdae74fc58bbc4559f97ee1e3451aad","datavalue":{"value":{"entity-type":"item","numeric-id":5019695,"id":"Q5019695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4656d5897f9c511555015d7ebb7f73c0cbd929","datavalue":{"value":{"amount":"+0.7397294044494629","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":"Q780055$1F14E484-5C56-4F01-97C1-EE08FD1F56CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizable_causal-consistent_reversible_choreographies_for_systems_with_first-in-first-out_communication_channels"}}}}}