{"entities":{"Q5370909":{"pageid":7400483,"ns":120,"title":"Item:Q5370909","lastrevid":58540962,"modified":"2026-04-05T16:18:01Z","type":"item","id":"Q5370909","labels":{"en":{"language":"en","value":"Fencing off Go: liveness and safety for channel-based programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794692"}},"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":"Q5370909$C94780CC-9F7B-4B70-877F-97BFCCB45EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89bfa80a7a2c6887e24cf84520b569c7b305e089","datavalue":{"value":{"text":"Fencing off go: liveness and safety for channel-based programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370909$A99C7815-0E3C-4FE4-A1D3-FF857C9A814F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16255b1b662bdade189a9649996c855039c7e39b","datavalue":{"value":"1380.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$7696B5FA-5C89-4B53-88A8-A9ACAC4A49A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f5664c3b162d4c9f97cb8dcc781b1d7841743bb","datavalue":{"value":"10.1145/3009837.3009847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$99DE694B-E189-418A-ACB9-DF736A51A40C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1d7c23f310292dca075efa6e262853e0ebc547","datavalue":{"value":{"entity-type":"item","numeric-id":832187,"id":"Q832187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370909$C13C7233-AA12-4773-B394-93A2E1B46911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b63cf85555b94f952b9b98af71b614ee7c10ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5370908,"id":"Q5370908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370909$15523C25-B2F9-4266-9E6D-6E9BA62958CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370909$BF0BD2F7-8A29-4418-AA02-831C84974119","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":"Q5370909$399EEF1D-B6E3-4142-851D-33A6FA52BE68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370909$E8525B14-6809-4C7F-B1D3-271E28DED1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370909$DE182BBF-1189-4F87-BC54-5DB1C59443C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2458b6fd571dda685e5fce612c53d588259b48ad","datavalue":{"value":"https://arxiv.org/abs/1610.08843","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370909$4149DE1A-EA08-4A24-9F99-7FD1D02D134C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ad063368b8791833f0b103bb057dd0a66de9297","datavalue":{"value":"http://hdl.handle.net/10044/1/43690","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370909$CC91E928-DC3E-4DFF-BED9-608D3E203DF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$5DFA969C-8D84-436C-88B9-2AC9C047DE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$7D985426-0E57-4904-8046-70B0DFA810BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$5994A8EC-A529-4E25-85B5-9DCFAEC70605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a533daab7bd50db3bba8dcae549b7e59a540cb4e","datavalue":{"value":"6794692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$44022E53-AE52-4A98-8AA8-B59CDB99E776","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a311101b7de456eb43928841cbc38f11280cffda","datavalue":{"value":"channel-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$DFFF49C0-50C7-4643-A729-205CBCE278E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc769f927cf62d7580d005007a12cd3ecd3ca41","datavalue":{"value":"compile-time (static) deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$E5E594CC-14E7-45D5-9248-1BBAD0AD9C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9206c72f0e53bbcd1309eca381d3d07514b61fc","datavalue":{"value":"message-passing programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$9B88A0E7-6DF6-4BC6-80DE-C2B683CDB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$2894B935-16A1-447B-BEFD-8FCDD41641C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6957acac28bf659061cd7541178f329489955cca","datavalue":{"value":"safety and liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$5B97D8D4-0840-4C59-B5FF-4FFAA334624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370909$DB543460-9EBE-4A1C-A09C-F1D8E5B69BB8","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":"Q5370909$F530F79F-4B9D-425F-A97F-F59B76ED5585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6635e380595347fd464d8aaca0eaacb0efd5a6d0","datavalue":{"value":"W2564372592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370909$DD6CBB31-F129-4D70-84B0-F557F3BD0D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a647884974c15f5de67554ef2f210de3b0a16c","datavalue":{"value":{"entity-type":"item","numeric-id":3179284,"id":"Q3179284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e7cf48ce7cb513932ebe3f7e04f8061dd75203","datavalue":{"value":{"amount":"+0.7982611656188965","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":"Q5370909$BBA11361-8EE6-4C78-87D0-8366E93BDCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5144645ab21fd8c810b17c7aedb26b47e33655","datavalue":{"value":{"entity-type":"item","numeric-id":6041176,"id":"Q6041176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8b4f7489ebd105b284168af331da0057bb2931","datavalue":{"value":{"amount":"+0.7028347253799438","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":"Q5370909$4E92071C-1769-4FDA-9764-E2A727E8A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e304a0368df7e1320526d9e15c3b04aa4d431edf","datavalue":{"value":{"entity-type":"item","numeric-id":3558239,"id":"Q3558239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22525fa43595a81cec919ac230496df871ca1efc","datavalue":{"value":{"amount":"+0.696999192237854","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":"Q5370909$DB035C6D-1F47-44A3-8C38-874A57F76FF7","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":"e9542e4cd0e30052b536efc1b83d03af41fd4417","datavalue":{"value":{"amount":"+0.6838582158088684","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":"Q5370909$2F82B85F-2DD0-45E2-B625-872BA3B4B101","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":"84e273df656780023e694c9f817729c52d157ea3","datavalue":{"value":{"amount":"+0.6653380990028381","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":"Q5370909$93F702BE-098B-4262-A1F2-5ECE9A1B958A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370909"}}}}}