{"entities":{"Q5013868":{"pageid":7043445,"ns":120,"title":"Item:Q5013868","lastrevid":58402923,"modified":"2026-04-05T01:43:45Z","type":"item","id":"Q5013868","labels":{"en":{"language":"en","value":"Comparing deadlock-free session typed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438557"}},"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":"Q5013868$FA8EBD26-116E-437A-A353-FC7E246242BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bed01cb9f5d26b480435089e4039e5fca292d96d","datavalue":{"value":"1476.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013868$89D055A3-5950-427D-9082-06384C7BF57D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9e4217002c0881a5f7ec0ded59f7697840edf24","datavalue":{"value":{"entity-type":"item","numeric-id":518893,"id":"Q518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$5BDF0FE6-A4D2-4058-BD04-2C19B1F537D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$040D9E5A-106C-4C91-B12A-3367D3254655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013868$6DB0FDE4-FF3A-4A2F-929D-054E04F3C3B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dac8603981a44e4224fda68fce4b5b49d764b31e","datavalue":{"value":"https://arxiv.org/abs/1508.06707","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013868$89B63F7A-B9D2-4E51-878F-C8D4D74BE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4061b70e949ec9b7720dbac3edad0b673e518bc7","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2015.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013868$3822EC0F-19BB-432A-A63C-5C42ABCF8A3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013868$BA3F3668-5ADD-41B1-8416-DD1652A2E6E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71acd770ce1816840f7b64f6746929465e51021d","datavalue":{"value":"7438557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013868$2AD54D6A-877D-44CA-97C2-B563A52894AE","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":"Q5013868$DBF3B3ED-677B-42FF-9855-DA87150D4484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$7EB3465B-06B4-4B4A-B937-19A9DAEF5447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$DAC1E769-E0EE-430B-A370-F9DB1CE13D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bceaa3d9e9fea4f08d6857992bc67aa117a44e","datavalue":{"value":{"entity-type":"item","numeric-id":4963910,"id":"Q4963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$F3279199-C1CB-49A1-80F9-DC63F0B99B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da935f1521b6e35de7f6fe6de2ba023fbd6d31d","datavalue":{"value":{"entity-type":"item","numeric-id":1822489,"id":"Q1822489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$65D8DE53-7FD2-4C85-ACE5-A07A3C8B9676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$2477E61F-C397-401D-83BD-AE81969DAD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$768D022E-AC31-41E1-94DD-6E8F5E2ECB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$B599C510-F4C5-4ECE-949F-F0ED66C7CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$DFFEA245-BB7A-4090-9975-6669B0FBC17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d5f4b8e96efeaad5a01fa88602ad9035a10db3","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$A0D69F0A-DD59-45B4-AB59-327712C385DF","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":"Q5013868$E2150240-0AFE-47CF-9647-CCDFED94BD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427b7dd5eee2078d287cbd70cf74aacab7c72419","datavalue":{"value":{"entity-type":"item","numeric-id":2811932,"id":"Q2811932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$C5CCBE68-6D84-4503-8650-BFFB353B1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4d76cbfe7fbf4d6b09b329ce6cf6e0cc0fb6","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$05F26C68-9E3A-4EC6-9CF7-65F78C6EFDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013868$E1FAF932-B5DE-40D9-BA66-CFF81FEDA8DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919916be698e5415322842abdb85f08b395d020","datavalue":{"value":{"entity-type":"item","numeric-id":2667185,"id":"Q2667185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93bbe92c51538229ba48bd512f9f4e338aa6a464","datavalue":{"value":{"amount":"+0.9095856547355652","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":"Q5013868$775C1A09-4791-41E0-BA45-F1A20699BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee04dd8c5cbe0df74580c97fad466feff2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b5fd8a89f2e79715f8c2430f1a9211840d0574","datavalue":{"value":{"amount":"+0.8084930181503296","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":"Q5013868$43DBBA8B-9E1C-4A7C-8B78-5DF59278D656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53918817e6dded7d7bd01cec09d877918c75d005","datavalue":{"value":{"amount":"+0.7743954062461853","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":"Q5013868$03F1E31F-9D4E-46A9-B4F2-85FAD6739674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3d755f3cd3b9e410d5d8b0ffb34cd0ab722f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4223021,"id":"Q4223021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05617aaa4dbb5d575f1e05b31fd0082dfaa1160b","datavalue":{"value":{"amount":"+0.7730408310890198","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":"Q5013868$B4439EE6-713B-48A8-BF6D-C62FD5CFA55A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013868","badges":[]}}}}}