{"entities":{"Q832190":{"pageid":834038,"ns":120,"title":"Item:Q832190","lastrevid":64706697,"modified":"2026-04-11T21:40:57Z","type":"item","id":"Q832190","labels":{"en":{"language":"en","value":"Checking data-race freedom of GPU kernels, compositionally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498148"}},"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":"Q832190$E050DDAD-89E4-4EB2-B135-05C6F89A89DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9477f1492bdebe32d39594ca0212dc90bc247a6a","datavalue":{"value":{"text":"Checking data-race freedom of GPU kernels, compositionally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832190$55515628-7ADD-4764-B42D-81466E53BCA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc21771fd6d384af5fac541ff774c1c0963be1d","datavalue":{"value":"1493.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$560CABC2-A678-46D9-8C5F-5D76EEC38C45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f04559a752fbcabd4ce0e3b6efc2df48a0df85c3","datavalue":{"value":"10.1007/978-3-030-81685-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$0224C6AB-DBB7-41B5-B510-3F960AED4C73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68e4e257c31aa1125a7bb0f0ecf942f72739335a","datavalue":{"value":{"entity-type":"item","numeric-id":832186,"id":"Q832186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$97E903A5-1C45-4A5D-90EA-FC377A3558FB","rank":"normal"},{"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":"Q832190$A934D400-E3AA-41C0-866A-7ACC9224727F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b6623026339e13956d7b4cc3e5cb8dde6da5be","datavalue":{"value":{"entity-type":"item","numeric-id":832188,"id":"Q832188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$CC4A3495-B151-445E-92F1-2BCA1BE502B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a029366f1795217f1312bbda727dedcc62205dfc","datavalue":{"value":{"entity-type":"item","numeric-id":832189,"id":"Q832189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$66A9AEB2-25F4-4B00-9498-A64DC57D65A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832190$6155A8AF-962C-4396-8185-DE2E679F8C91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$F88CDE75-C947-4732-B938-9C006451FA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$A74735CB-5FF1-45AA-8D39-36D38B67B3A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d90e815b18c211366ff8e7074c23b1bc6f578df1","datavalue":{"value":"7498148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$FD1354A0-C745-48BC-8A9C-9ADDF0824D3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3863d245f5b039d264fcf14c1e4e377215cfd7b","datavalue":{"value":"GPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q832190$A15DBB5B-A4B8-4423-B08C-0CB0546E4251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51354fe125c5e6685d7d74eb4747de41f214ceca","datavalue":{"value":"data-race","type":"string"},"datatype":"string"},"type":"statement","id":"Q832190$BF3FDA94-CE7A-4096-820E-6B1525E7C375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832190$199E52F6-6276-42C1-A4A5-D247035258E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361650e1d56ab51d61dd600fc01929a7a0fab7e3","datavalue":{"value":"behavioural types","type":"string"},"datatype":"string"},"type":"statement","id":"Q832190$FE3C7A6C-5609-43F2-8996-CFC158F70C4C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbe8f694b398f7238da46c20e1730404f1274126","datavalue":{"value":{"entity-type":"item","numeric-id":40478,"id":"Q40478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$821AD0A0-6F4D-4030-86FA-AADD57B81C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$148B73AC-79DB-4995-AA74-1D700F123216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5abf8d928191e065723c7e79bd3c4074a4a7dd34","datavalue":{"value":{"entity-type":"item","numeric-id":40559,"id":"Q40559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$59106315-5414-45D1-9B99-E4B33014AAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d8f10a93b523882fb84087e4f3ec3a91618d463","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$9C0841E0-5BA1-4DF9-A16A-18EDB65A5092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3a054baa4efca75beada6ac9f2f664c52ac32a0","datavalue":{"value":{"entity-type":"item","numeric-id":15791,"id":"Q15791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$F400D748-5F55-4CD8-8165-1CEB4DB9D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64bf1172354dadf874808773ce2a1951321cd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":40475,"id":"Q40475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$81E79446-C3B5-4EFE-8A1F-327C3D8B4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$F9BAF86D-D616-4768-8406-603FDFB84C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac5046912442254e059ed27301a5027dad1f0bd","datavalue":{"value":{"entity-type":"item","numeric-id":40477,"id":"Q40477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$56122AC6-ADA7-4D72-8C10-F1541B83B79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$AF6ACCBC-42EC-4531-AC10-A98F35A651FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a4f8c8b090cc8bd4c0d4bb7c64fa806f2bfc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":36986,"id":"Q36986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$8B39988F-902D-44D9-8E00-C8CF483C64B6","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":"Q832190$81C3AC58-251B-4D29-BF25-2B74E7DED71D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48747000a2baecacfa8824dd05b8382fdb482657","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q832190$3106BD5B-9C87-4146-A83D-D07FD5C0B51F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab9b76cb584825b32b70d2daed43cbeee400cc02","datavalue":{"value":"W3186710384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832190$E03301EF-506B-45A5-91C7-978BE77171B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af7c6d4ca8ff3392b0102f2c9bf153ad55b0f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5326291,"id":"Q5326291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$0F963C60-CE46-4970-A069-47F6D59BEEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99da55a1af16d71b23861ebcd1e4bfc76e9a667","datavalue":{"value":{"entity-type":"item","numeric-id":3183531,"id":"Q3183531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$D23060D3-FC3A-455A-ACB6-FC0EA927A738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe44c935cdb44031f87f69c802db7922d7ca681","datavalue":{"value":{"entity-type":"item","numeric-id":2937782,"id":"Q2937782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$CC253F98-81E8-489E-8246-4F108FFA0BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323934902887b89fe9ee9341c16c202e8da2bbab","datavalue":{"value":{"entity-type":"item","numeric-id":5278201,"id":"Q5278201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$DB08C601-94D2-4569-B2F3-EAFD4D4DE670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a68c6c4ae505b12344e3a0daeaca2073090272","datavalue":{"value":{"entity-type":"item","numeric-id":1703009,"id":"Q1703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$F65BBA15-B8C3-41E7-8E1D-1382C4AF5D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695fab872d134b3a435c36aea28c18570954d03f","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$B4CB4D7E-16D1-43D7-B4B6-F81778B38BF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5555bd553a019fcdf079c7139717bb35a55ff","datavalue":{"value":{"entity-type":"item","numeric-id":1703009,"id":"Q1703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471b26fd6e1d651900325ccc11eb7f92db1d0336","datavalue":{"value":{"amount":"+0.7584491968154907","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":"Q832190$FB62A5F9-50C5-4B6B-B4C5-E1F3825AA65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d731c358774dd377db3bc2580d7be5f161926ebe","datavalue":{"value":{"entity-type":"item","numeric-id":5326291,"id":"Q5326291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbcda9ef4574333afac51e610b0146fdca4ae3b","datavalue":{"value":{"amount":"+0.7203665971755981","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":"Q832190$1F2B5CC0-C186-42B1-A74F-10D3F68F6623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e9232811e22e8604e26bb02b35fde2c001ba34","datavalue":{"value":{"entity-type":"item","numeric-id":5278201,"id":"Q5278201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4787217512ec006759de5a28d944d17fcf852dae","datavalue":{"value":{"amount":"+0.7200536727905273","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":"Q832190$728DA86A-DB78-4E17-8EE6-7C9FF149D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfad0e5bdbed064427d65ba474a3e4bcfe551","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314857e56ac5afa1cee9891504c9f47a26c75041","datavalue":{"value":{"amount":"+0.7013717889785767","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":"Q832190$D462B24D-3224-49C4-BD66-E2F6C7C86BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028c4c245d93277ceb19b5b9578aea03ff18a198","datavalue":{"value":{"entity-type":"item","numeric-id":2981009,"id":"Q2981009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf16e0d2b184d417a1273751e3f01e36d6368eb","datavalue":{"value":{"amount":"+0.692716121673584","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":"Q832190$943A9062-2E68-4B75-BB94-02BE1CC9C37A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832190$5C66AB42-3108-490B-B676-49D633B5AE33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking data-race freedom of GPU kernels, compositionally","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_data-race_freedom_of_GPU_kernels,_compositionally"}}}}}