{"entities":{"Q1703009":{"pageid":1713750,"ns":120,"title":"Item:Q1703009","lastrevid":72819636,"modified":"2026-04-14T08:03:26Z","type":"item","id":"Q1703009","labels":{"en":{"language":"en","value":"Automated verification of functional correctness of race-free GPU programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845816"}},"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":"Q1703009$D96D4D42-8859-40C3-91DD-314733AF5BD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5985c7e6c51e9b24afa9f95ddc3fc359b1a327bd","datavalue":{"value":{"text":"Automated verification of functional correctness of race-free GPU programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703009$C875991F-4864-44B9-913F-CF7AE64AE069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99ad4184ab0748a6407021aa8886395c5a868d7d","datavalue":{"value":"1426.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$A6280684-62C5-4A25-9AFB-66D7CD440D8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0179ba61809acd8ce680c7848183f60ed14497ab","datavalue":{"value":{"entity-type":"item","numeric-id":764260,"id":"Q764260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$46C3D87B-5FAD-41E6-8865-C8216D058C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35cb7e2f76096789bed000870991b9112c4688dc","datavalue":{"value":{"entity-type":"item","numeric-id":1703008,"id":"Q1703008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$4EAB44AA-46C9-401E-A41F-FD22245743CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$7E8F666F-3C8E-4851-9566-9867921881B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$E5B17AC1-351D-47EF-95FD-57A2A7653617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703009$CEC563CF-680E-4F0F-9D98-71FA5F9F1E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$F22CB1EE-E623-4A41-B0E5-41FD3FD144C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$C71CDBF3-F125-47B4-A31B-B82A88C3461B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31bbf5d9787fb9943c492febbc9f79d87ffc6508","datavalue":{"value":"6845816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$1EBD3779-7562-4BB1-BC20-814271CC310D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703009$E26FC103-C55B-4F7A-AE9F-9906887D26B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9895a51bd1e6aa5a5c5e4917c5719aca89bef45","datavalue":{"value":"GPGPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703009$C616C074-1DBF-414E-8CB8-4342EA03C005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703009$A4E6718F-8C2D-48F2-8BED-AAB044785EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703009$A99CC726-CD05-431E-949A-312C701403A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$D73D13C1-C8D3-491D-9938-0081E490C664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$3DD2E0EE-CF07-41A7-9F65-FEAEB8426586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$DBAA4262-0616-4BDE-9AC1-729064296F6E","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":"Q1703009$5F4C0A98-68BC-45B3-88EF-D84165819E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$46753ABD-E5EA-477C-8C8E-54BE414CE1CE","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":"Q1703009$1155DD41-EA11-4A3E-8939-378DC7FB918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$11908F00-83B1-4845-9C25-85831289B386","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":"Q1703009$2255183D-6B2C-41F3-9596-53A12D52C12E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e3c2f412123213e2f99ac7e5f56807f8172cc14","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9428-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703009$F21CD9C0-3DB5-47AA-B2E3-07678BD780AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61888951d8d04c2273700080e95f5ca543cc2a68","datavalue":{"value":"W2751714866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$6F059909-D16E-420D-996A-4A2214B22E0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$57B74CAF-4FBD-41D4-A947-9E0234AA993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f76f741c9d879772047a2f068275875df3dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5705902,"id":"Q5705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$E948F639-FB71-46C6-AC65-CD4D204ADC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$E7EB600A-43B5-4923-8A95-6BD67DC1C962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$CD81AA0E-E11A-4068-A610-D33FFDA5D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$14F5458B-4B03-4920-AC29-BFA2B4B1F574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$6975F944-631D-4EB6-A1A8-1089956B59E2","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":"Q1703009$A9D2B7DA-5349-4631-BE39-4A5155050788","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":"Q1703009$639ABFF9-E7DB-4FB4-8504-9423F7AC42FE","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":"Q1703009$ED85F952-3073-4860-BFA6-30C036BCC814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a8ad599057ae6c5863b64653f9b2091fcfac5","datavalue":{"value":{"entity-type":"item","numeric-id":4635845,"id":"Q4635845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$A127FB54-E499-40DD-819B-2D9F76681108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$C96FD3E3-1C46-4FF4-8F29-7E618412158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703009$E30E83BE-4B13-48FA-8AE6-ED9538DF0DD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da6bd59e78997d83fdf2bda6b8f47b5c4cd3e9e","datavalue":{"value":"10.1007/S10817-017-9428-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703009$14E6744D-0CBF-4B10-8D7E-C7379405B02E","rank":"normal"}],"P1643":[{"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":"54202894a79370c4c8ffd5ef5b279fe87570f5d1","datavalue":{"value":{"amount":"+0.7671625018119812","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":"Q1703009$48890D65-7F82-4628-A9E4-37E72AA6A05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e2b54aa024f9e69fd600b2d4e1d6296d79960e","datavalue":{"value":{"entity-type":"item","numeric-id":832190,"id":"Q832190"},"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":"Q1703009$3D1071C8-310F-488A-9067-EBC9D5B4077E","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":"6f572370e2aaf7099321769d070f9a3b4d247f72","datavalue":{"value":{"amount":"+0.7535685896873474","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":"Q1703009$A8270767-1FC6-4E42-97CA-AC1EE352FCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652d0cc4bbd3c41cff70f26804bfae9ad1651990","datavalue":{"value":{"entity-type":"item","numeric-id":2937782,"id":"Q2937782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56be76c21cf30872bc62ca0dd32078329568916","datavalue":{"value":{"amount":"+0.7475559711456299","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":"Q1703009$BB610346-0A18-4059-BF8B-C4BB6449A218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080abbfe7a48b43526ef6fc8b3aebe35d1d7319d","datavalue":{"value":{"entity-type":"item","numeric-id":2120963,"id":"Q2120963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8100a7a556e300dfe67bbdaf5e978d93840bac","datavalue":{"value":{"amount":"+0.7469301819801331","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":"Q1703009$35C71372-7323-46B0-8A3F-D02D3DFE0AB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of functional correctness of race-free GPU programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_functional_correctness_of_race-free_GPU_programs"}}}}}