{"entities":{"Q23206":{"pageid":23262,"ns":120,"title":"Item:Q23206","lastrevid":56266833,"modified":"2026-03-13T05:50:24Z","type":"item","id":"Q23206","labels":{"en":{"language":"en","value":"GPUVerify"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a2cea43a2da79d3bd361c344f738e39ecd276ed2","datavalue":{"value":"11260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23206$BD18C486-A339-4221-9ED5-0AA0B8B913AA","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"f75a29365d2171e8dc7253686ad3b0f0f6a1a597","datavalue":{"value":{"entity-type":"item","numeric-id":5326291,"id":"Q5326291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$CB3EB312-F54D-4BD7-A5CB-094C408BF97F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$60627BA1-12BA-496C-A1E0-C2180A4B1BD6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2fd50ea1e77a772863ecae0b95211e8331e97da8","datavalue":{"value":"http://multicore.doc.ic.ac.uk/tools/GPUVerify/","type":"string"},"datatype":"url"},"type":"statement","id":"Q23206$7BF40EAB-0D3F-488F-916D-03697E4A2BC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23206$2072E9C6-D078-464E-AE09-CB3C158C5222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23206$8A63B88E-737C-47CD-B066-B4705D9E3F49","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"84a84105dfbf87c594e33c07b6080c34a0b36fea","datavalue":{"value":{"entity-type":"item","numeric-id":15791,"id":"Q15791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$AA4B2898-4246-4084-BAC8-50B56AC1A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"070635ef70c6e08cf95a479cf45bde38f3948187","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$2F93B306-02E3-4E75-9B7A-04C1635EC35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$0A3F4A2E-7043-4FD0-A4DF-A1357F60D54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1fc492bcd129a5599bcb3ba079d10c2e6f089554","datavalue":{"value":{"entity-type":"item","numeric-id":19119,"id":"Q19119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$D1098482-1D6D-408D-94D6-54284F76BFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$5C7C4A8E-DB47-4DF3-BF50-F476FABF441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce03adab3824b2bd8d40bfa76fbfa3ad461b08ad","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$47182BA1-5590-4F19-8C51-BD2059A3AEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$162B428E-537F-483D-9E19-732B17E8B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$424C609B-434D-49B2-8732-85E6686DFF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$B8588971-3D1C-40CA-ABB9-74DBC99F0223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c8fb36de817fa9ce0fc2b79d62bc8a47f881acf5","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$92D128E5-E1B2-4AC4-8822-41F908317565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"64e459169a87fd6b249139a0cac29cf8bc30ea25","datavalue":{"value":{"entity-type":"item","numeric-id":40559,"id":"Q40559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$BB218CA1-E6C9-4BED-8BEF-1F91D25C756A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"644b1044004575e184b926ada38a7928e2552cf1","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$DCF08E34-1A14-4EF2-BE83-697A52AA2DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$362029EA-40A9-4C49-93F5-3FF687E86BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"88988d9923173e5d3d3a45107d3187d9f1f31fbd","datavalue":{"value":{"entity-type":"item","numeric-id":19721,"id":"Q19721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$6E6C0B90-1E7B-4165-87D2-79DAAB8F6146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b1fe439c3035dea485b5ab4073f1d71df9a8aa5f","datavalue":{"value":{"entity-type":"item","numeric-id":40477,"id":"Q40477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$3BA0690C-6608-44D5-BE6A-D90A0B5C4970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf0340e64c06cef970e0d7ceab46d28e502299fb","datavalue":{"value":{"entity-type":"item","numeric-id":40475,"id":"Q40475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$ABC03632-C56C-4A93-8D20-1754B9287CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f7167776863548283ba69d1acb856ff03e37e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":40478,"id":"Q40478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$35CAC9DF-D82E-436A-92DF-46BE4C928D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$E9FE6757-432F-4E6D-8231-6710797C60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"90e74bfc15c4abcc9274df61ab00e214fab474cd","datavalue":{"value":{"entity-type":"item","numeric-id":36986,"id":"Q36986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$F8B7EDC6-6363-44CA-BDD1-A7538A98E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23206$E3052511-3B6F-4F5A-ADE1-8B8DB78831C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GPUVerify","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GPUVerify"}}}}}