{"entities":{"Q979082":{"pageid":980930,"ns":120,"title":"Item:Q979082","lastrevid":51022391,"modified":"2026-01-16T06:12:38Z","type":"item","id":"Q979082","labels":{"en":{"language":"en","value":"Typing termination in a higher-order concurrent imperative language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5726622"}},"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":"Q979082$5A3FDF81-D1F6-468B-BC6C-FB8C054357DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"538b99564373acd8193b0ca52af4ed7a32ea4d61","datavalue":{"value":{"text":"Typing termination in a higher-order concurrent imperative language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q979082$EFD02A16-A6AD-43B5-BBDE-608A5491B214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"454b1bdec9ee3a24933c079e8a89b1f612630527","datavalue":{"value":"1213.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$340734C1-866C-4ACA-B447-CA94B685FE25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$1DF575BA-A038-4688-A485-90999DFE732E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$355E6A12-7BB4-4823-A207-4C9E76082EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68164aa6370b8c087aa9dea60bf58f2890e4ef6f","datavalue":{"value":{"time":"+2010-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q979082$C22153CF-AB33-4C24-B639-D92C5FA7BCBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$6AA16446-3987-4C49-B7DE-2DE4694388ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$8DD345BE-B6CB-4BF7-92E0-AF74FE81D739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bb6b12032afd1483510e18d4c9dc6b8347de6e0","datavalue":{"value":"5726622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$CDD06A7C-075D-4618-8BB8-9D7E86C97D08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f937542f72f7181dd6ae6729ace477878e336321","datavalue":{"value":"fairness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q979082$E629A6D5-C895-473D-8F37-BD11D57BAFD7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$7560855E-9BDB-43FB-92A6-2E43F990C8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$31146918-9409-4843-A11A-173562AB6CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$1713413F-A5C8-445E-B03A-F944C7FFF0B8","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":"Q979082$AD3B0219-9D8F-43C3-9BB6-FC5045F0067A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62de996108235c9eb266e0ea372d285d156723f4","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q979082$6C0D9EFC-6E96-480A-AC36-849DA57F9C2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"661177b8443d89973eec756d91504d07625291ae","datavalue":{"value":"W2127169000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$0DBE5C9B-A233-4CE9-A305-D982B4161C82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$719A79A4-0C32-4D15-A4F1-AB0F624B17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$04674269-2129-4023-8503-50D109362747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab9adda359a74593427d87a3469f37ca8f86229","datavalue":{"value":{"entity-type":"item","numeric-id":5704031,"id":"Q5704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$4BF21A15-F73C-4A84-9DA5-3945EBC0BFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$6FF73DB4-2199-42A7-B347-1EAF03C582B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be3aef3b4531206743b7d3fe3ab9f28a62a4627","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$7D7EAB78-D201-4698-BE58-918A6ECAF617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7a3e4e235aee95bb3d77429d2bdea51a61e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5387879,"id":"Q5387879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$F48DE2A1-A3C2-4EE5-94C9-EF8AA457FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be2b55c26066558b2b0eab18ba7aff923244432","datavalue":{"value":{"entity-type":"item","numeric-id":5385588,"id":"Q5385588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$11B2EB8B-8FA2-4F39-999A-7E2B040721CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b7745fe0c75d6d118c8e01b60eec0ddf8dbf6a","datavalue":{"value":{"entity-type":"item","numeric-id":5395112,"id":"Q5395112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$26B4AE93-ED99-499B-8AF4-0F8E5D96658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26c6d225f7641566bf918033ade6bfa2aa269fc","datavalue":{"value":{"entity-type":"item","numeric-id":5458390,"id":"Q5458390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$F2C5FF43-4344-46CF-9EAF-7F42BAB26309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3637f322544aae9daf432caf7314a879834a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$2F5063D3-CD2D-4402-8CBD-EBDBCC16ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d98fe8151a7ee984475d5ecd61101306ad23e","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$2015308B-2A9C-4547-8916-5FCFF5BB804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$68E58574-822C-40FF-BEBD-2EC805A68338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$61F33B7E-E537-4B17-A302-2C39BD24E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$01882A23-D3A0-4B98-8E15-1ABB8D60348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$0F6B94DC-E136-4239-9191-AB1144D893A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfb7487ef23f2f34a48f0792754eac4c28f7829","datavalue":{"value":{"entity-type":"item","numeric-id":4411826,"id":"Q4411826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$8267D8DC-5C30-4256-A96F-2C19F0D3F968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$2B884490-0506-4EE1-B9B7-A14A93772E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$FF395889-E202-4E62-A544-AFE49DDB7759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9921526a786e42a43beffe992b99dad14d7b7b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$BABA46F6-FE7A-4F15-870F-033CDF6F0A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb5cfdd478327a0edd7de22de0cfaf0e52337c","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$125F4922-358B-44AD-9201-8E39DBE087DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$2162ABB0-E64B-429B-9718-800E74585927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$561E3948-72C1-4507-BB32-0D9A1A8FAB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$B6957A15-F483-434A-BFB6-CC6A8995A57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$CC810195-8391-427A-9A62-211B54C1E186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979082$B9CBF389-F9EB-4E07-8FC9-CCABBF3701F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ad489a7de9ef8e2c25817efc87c4ede4ef19b0","datavalue":{"value":"10.1016/J.IC.2009.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979082$A0FB12F7-313C-427B-82C6-EA1007060CD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71cc2a5d5f90211cc13f1c802d72aa31ec55427","datavalue":{"value":{"entity-type":"item","numeric-id":3400914,"id":"Q3400914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4336243c62b8de0984dfea5356ae4a0f027fa9","datavalue":{"value":{"amount":"+0.8319770693778992","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":"Q979082$EA5388E0-BA84-4D3C-BD9A-6D24A8389326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6176b360a7e875fd1f45f6d622ea6641d9a6eb81","datavalue":{"value":{"entity-type":"item","numeric-id":710674,"id":"Q710674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cb9651b9c3cec3670c56ee77bc0fdd1a49a04a","datavalue":{"value":{"amount":"+0.830314040184021","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":"Q979082$FC244C75-CA05-443A-833B-41D66AE426C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb777192abfb2482c482590cb120d8f3d99970c","datavalue":{"value":{"entity-type":"item","numeric-id":3525643,"id":"Q3525643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04caa658e0b084571908cbd789b44b39df876b3","datavalue":{"value":{"amount":"+0.805486261844635","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":"Q979082$FAC8DDA6-2416-4DF1-9860-65C898D7C1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671879c089945a2d4772377eb3112dca2c4bdac5","datavalue":{"value":{"amount":"+0.7461645603179932","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":"Q979082$017CA97A-1D44-457D-BB14-CF668DF77DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6b27f43d39e4f7a05efc898baa6053f14e40d7","datavalue":{"value":{"amount":"+0.7435680031776428","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":"Q979082$0A5901BE-B26F-40A1-B156-7123E820AD18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:979082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:979082"}}}}}