{"entities":{"Q6887490":{"pageid":20821480,"ns":120,"title":"Item:Q6887490","lastrevid":84202448,"modified":"2026-05-13T13:12:44Z","type":"item","id":"Q6887490","labels":{"en":{"language":"en","value":"Preserving provability over GPU program optimizations with annotation-aware transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8133644"}},"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":"Q6887490$9450ABC3-2619-4191-AC2D-38B185CA912F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3efb104586df9db098bf79d98d91e49454d66bc","datavalue":{"value":{"text":"Preserving provability over GPU program optimizations with annotation-aware transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6887490$8EF975D0-85AD-4ED8-A3F5-B423E4785B01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5a831ced0164b4e70b59eab9032e0f07cb52668","datavalue":{"value":"10.1007/S10703-025-00480-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887490$C680F5EC-7604-439B-BEE3-04579702F07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33cb41809cf27505fcc5ec1beb6f283955b408bc","datavalue":{"value":{"entity-type":"item","numeric-id":6887489,"id":"Q6887489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$260D62BC-32B2-4D38-9CC0-D0FF4C4B83A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fb5243196322cb363d0d50557908676ddcffb6","datavalue":{"value":{"entity-type":"item","numeric-id":1698755,"id":"Q1698755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$347152D5-D4F1-48C9-919A-E5C37003DFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$743C5162-A502-4AE9-91B6-88CCF0387256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$DA187718-B247-4384-A130-6B1549E262AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$4F51207A-667D-49AF-9A12-F14364A27102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"500c42754512091ea24a7a0986a3bee447ae34bc","datavalue":{"value":{"time":"+2025-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6887490$89C57A22-DA4A-44CB-B5E2-0B0B2C336993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887490$AB65CC50-6EC4-4631-AF18-1317A79A6C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887490$9D2A1EB8-96DA-47F9-84E6-50F8BDF5195D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e673f4f04db238af920de0886931d4fb2e92a8","datavalue":{"value":"8133644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6887490$4E3ABC2A-5E07-4D00-B573-4FAB3736B3C9","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":"Q6887490$B95B5840-8F83-43B7-9AE8-48C7F7D9D797","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3863d245f5b039d264fcf14c1e4e377215cfd7b","datavalue":{"value":"GPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887490$17C8A108-E932-440C-8117-BDC59A76D686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887490$B99B2337-C710-4D13-890D-1442F3449041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887490$5D4DB149-23BA-4676-BB27-DA58BC3AE770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637209e4ea07638126e575ae3532277edb758a25","datavalue":{"value":"annotation-awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887490$78A852A8-0EC9-46C3-8089-6F3BF8523C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6887490$C9551C21-C12B-414A-A267-D5F39F2499B6","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":"Q6887490$03154608-9B32-43D7-8AA7-1E3153C790F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"992ec4b06dc3844909c3376af8cafcc8b39ae9ae","datavalue":{"value":{"entity-type":"item","numeric-id":3768377,"id":"Q3768377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$18D23E7C-BBA4-4235-B9DA-493E909F1D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$4C2EA287-24FB-4B2A-BBDC-922FA808B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$072BBDDC-16AE-420E-9391-1A9797703D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fcc131ce6c0e3aeed350056945b237ea4aac7e","datavalue":{"value":{"entity-type":"item","numeric-id":5172650,"id":"Q5172650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$6B011400-9955-4FC0-8BA0-0E0EA989369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00266a6259c6d02bc3479a69ecf5e0fd721d0d1e","datavalue":{"value":{"entity-type":"item","numeric-id":6572562,"id":"Q6572562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$A23AAC80-B66A-46B5-BAFA-BEBD2AD3BE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$23B32FA6-F901-43CF-8C72-3A9063242348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$3037B78E-7BAE-457E-841C-33F7B1970740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$46C09820-02F1-462A-A773-7B4715239C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a2bba3c91b372cd6f4796fd4d8b9da88257d5a","datavalue":{"value":{"entity-type":"item","numeric-id":6041177,"id":"Q6041177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$643DEDF1-E8BA-4697-AFA1-19A6461C7885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0a1833b3ffbeaae456981235648f3b19d17ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2234063,"id":"Q2234063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$960DB254-D918-4B6A-9802-5B5373153887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df84b3eef2dafcb537fad10f63b16118ce8296f1","datavalue":{"value":{"entity-type":"item","numeric-id":2801764,"id":"Q2801764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$271919A9-763E-4CC9-BC7A-88138FFF8A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4ce9103adcafab6054fd16b67fb4798a0430d2","datavalue":{"value":{"entity-type":"item","numeric-id":2037943,"id":"Q2037943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$82F65A58-C71C-4DE4-A402-A5167B43B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e2691b75c3fc0e1c99639ddfaf1b7ff7c2c589","datavalue":{"value":{"entity-type":"item","numeric-id":6487931,"id":"Q6487931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$01839ED2-8100-4805-AAD8-58D39ABB029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0968728f83e3ed21f076e8f0906680c2f373f4","datavalue":{"value":{"entity-type":"item","numeric-id":2145339,"id":"Q2145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$FBCAF3EC-8BFB-410A-BE74-70C44822CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86320745c8b3e3d93dabcbe6aac52dfebea53244","datavalue":{"value":{"entity-type":"item","numeric-id":4633562,"id":"Q4633562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6887490$4062B9E6-A23A-4284-8C7B-F19DDB14CBD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preserving provability over GPU program optimizations with annotation-aware transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preserving_provability_over_GPU_program_optimizations_with_annotation-aware_transformations"}}}}}