{"entities":{"Q5111644":{"pageid":7141218,"ns":120,"title":"Item:Q5111644","lastrevid":53741297,"modified":"2026-01-25T15:43:53Z","type":"item","id":"Q5111644","labels":{"en":{"language":"en","value":"Concurrent reversible sessions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204947"}},"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":"Q5111644$9D924966-6E26-4FDC-861A-CE2A4EA0FD27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9621d810e1fbd24c974f3f9a1fa4522749baa1c2","datavalue":{"value":"1442.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111644$B3A73AE7-CB0C-4E01-A36B-87781BA27B13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$AF3DE58C-10AA-48F1-BA1B-E7626707E069","rank":"normal"},{"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":"Q5111644$75B3B943-265F-4048-8DDB-47A758840830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$27928D8E-6711-48C1-8E90-3270E860DCC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111644$584E955F-E9BE-4992-AFE1-370C1FB2C726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111644$72A2FA88-B5D0-460A-B123-A9AC7CC5ACC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d781f5bca9dc940f170d79b5753e36ced79dc27","datavalue":{"value":"7204947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111644$AAB28D37-335A-4720-8EC3-A218BB54C72D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbff50a377a8b88d6aebb20b4c8ff5b3e00ebef7","datavalue":{"value":"communication-centric systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111644$F2381928-E69E-4658-8164-524A58189415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111644$8FBA3073-3D39-41D5-9421-722A93181A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111644$50AC91BC-D67C-4DE0-8D4F-848303749A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111644$120986DC-A736-4819-B48C-EEC82A0AA977","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":"Q5111644$37BAB06D-727F-4B41-998A-CED9BDB13D70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf00247deb4ed99928377c84b86fb906a1d8625","datavalue":{"value":{"entity-type":"item","numeric-id":5740659,"id":"Q5740659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$F48685AD-B7FE-4455-B744-CEFD71E2D3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd0af9198ddefb5a892caf653b0d11525eb4edc","datavalue":{"value":{"entity-type":"item","numeric-id":315298,"id":"Q315298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$4F61A5F4-9C4A-4767-84BD-92D7618DD744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880fae6b4a245a9722e9cde2af4e24ce6f386e60","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$270A63DE-71C6-44FE-BB87-206A874A5D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f455dca8cf9d0b4f1efda8f122e8e3725f6bded6","datavalue":{"value":{"entity-type":"item","numeric-id":4733397,"id":"Q4733397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$465BCFCF-0636-46C0-B55A-628449BAA3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$8F27ECB9-1D27-476D-B97B-03F96F8CFB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbf329f50056a083c22cc217d9b573627af5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$D3FAAEE2-FD83-4B17-B6F2-E2B55A0D8662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8fd9d8bc1b3d27c8e982ed783b175f89e3eccb","datavalue":{"value":{"entity-type":"item","numeric-id":3186581,"id":"Q3186581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$F35DC7E4-CB09-46E4-B286-E9FC7041249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$062DE373-E142-4055-87A8-C41D7904EA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d299c396e13352ec31f2c4915d0d1a1bebbfda","datavalue":{"value":{"entity-type":"item","numeric-id":3584956,"id":"Q3584956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$7C71C797-D457-49F1-B00E-C6315AA4F664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4213f53b0edb422e581994cdaa42fdb48ddf9f","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$295167FD-7ED4-452D-8798-38949203923B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$C1B5582B-28C8-4F52-91C0-84BC5BDFBE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf41c6e6f1d92205813ce59b1cad2e6c0ccf32c4","datavalue":{"value":{"entity-type":"item","numeric-id":5015360,"id":"Q5015360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$1F02810F-1C85-492C-9F92-9ECEEC2E4A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87daf01ebe20a1763fa4b3b128cd1e0b0400e64c","datavalue":{"value":{"entity-type":"item","numeric-id":516034,"id":"Q516034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$96182090-FD34-47A8-A74C-04CB4BAA902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31fa343eebd96e16f74144cfd0e2bdd66c2919a","datavalue":{"value":{"entity-type":"item","numeric-id":2423742,"id":"Q2423742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$170B67B7-DAE7-4D9E-9605-775FEAB89181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$777C6D03-6C06-47C2-B2DF-E0D782FB45EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9027a5b49c7a7925876fc4d45a3facc1a044d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5410681,"id":"Q5410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$F5D041C3-201C-433C-80E3-CCB18E591A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c45d830275a4a379c3d68f31c25ab39d3810a9","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$4B8C6674-0851-4555-B1DF-9C9B5962C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0239a5cb6fe7b2df7f0c9a2c61f9b1afb238ce62","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$52C45DB3-7B48-46F7-A2D4-CB99E21D1D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$EFE24D6C-6C0D-4015-BE0B-59A6BD0CD297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204036118ead3c48d57db3365aaa953204adb0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2980982,"id":"Q2980982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$C9A39DC8-8EDB-4FFC-80EA-AD072D2F47AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$B3ED308B-F089-4623-B05C-46C3F073BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716489887c5a7ddcbc2ae337ada864435937348a","datavalue":{"value":{"entity-type":"item","numeric-id":890616,"id":"Q890616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$AA913454-382F-484A-9E33-CCDD9511AA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$05198C6B-6150-40FC-822F-9AC378B1A97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$DE0DD673-4A54-407E-802B-16D55EC5B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7638b7236748caacc41db44f0eb3ce2577fd99","datavalue":{"value":{"entity-type":"item","numeric-id":492908,"id":"Q492908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$C8A67EC4-ECB7-4793-B684-6576F85C9222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7cbdc1dccd54c0dfc3dcaeebc746401ee9aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3186584,"id":"Q3186584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111644$A7E6DCEE-7221-4666-AFEA-7849B55893D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70af15af91d1295220386c4d92eb89b67090193a","datavalue":{"value":"https://hal.inria.fr/hal-01639845","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111644$7E5A1BDF-5F2F-4E4F-BFFB-297783091A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f816ddb256fc30bbb8932d31a507c7387fd6332","datavalue":{"value":"W2758436165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111644$92B8942D-0C1D-4F41-9B4A-DDDF38A8701A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c974ff6adfe6c7ae5f51af47417c7167c1915c62","datavalue":{"value":{"text":"Concurrent Reversible Sessions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111644$172A8E77-D3A1-4CBE-A0F7-3999CEB5EAEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6d09cac03b25d54dfaf43fdd1d0442df91e3372","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111644$F5FD4246-DF10-49BC-8491-A7A3B063FC6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcb494261e0fef6fb1fb9e4c698964c95e10414","datavalue":{"value":{"entity-type":"item","numeric-id":2329306,"id":"Q2329306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12bff0d3fcb1c7924549df52958b31dde060902","datavalue":{"value":{"amount":"+0.876922070980072","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":"Q5111644$FF5880FB-56AE-4EDB-B163-FAF4EE3282CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b41a1ac43e46040d0f98a697af76c8b9e3fa15c","datavalue":{"value":{"entity-type":"item","numeric-id":492908,"id":"Q492908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e84a88bf2a792b91ae5b40ab25455dad9a2f2e6","datavalue":{"value":{"amount":"+0.853792130947113","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":"Q5111644$96ED46E0-B7E2-4735-B8C2-818CA1097088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a3906667209c7ca4dae20b7f24bcaba0c969ad","datavalue":{"value":{"entity-type":"item","numeric-id":5207890,"id":"Q5207890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205d1ec7804b8a0f5ee37d03d4792c5762708075","datavalue":{"value":{"amount":"+0.8372101783752441","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":"Q5111644$D3DFECAC-FBDA-4E98-B3DA-0D68318BE21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72d4db2b113857b2193739b758063ce85192796","datavalue":{"value":{"entity-type":"item","numeric-id":2360649,"id":"Q2360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0133a7a4d0447deb1eb0c3d7d5be4f0b20f65292","datavalue":{"value":{"amount":"+0.8075627088546753","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":"Q5111644$477AEBD4-447D-47B4-A7FA-D39F4CE810E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22875cff457e02789d6f9aefccc454045be09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5015360,"id":"Q5015360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d95b5c497f863a27e4f315cb9f6806f0a7a40e","datavalue":{"value":{"amount":"+0.7937994003295898","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":"Q5111644$AB5EBB53-C0F2-422C-876D-FC6E00329CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111644"}}}}}