{"entities":{"Q5326291":{"pageid":7355865,"ns":120,"title":"Item:Q5326291","lastrevid":92200397,"modified":"2026-06-05T01:07:25Z","type":"item","id":"Q5326291","labels":{"en":{"language":"en","value":"Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194799"}},"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":"Q5326291$5A9B9AE6-57B4-45BA-82E8-0327629E1D69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bccc8390c5c57bc5128a25f62e4a0b3076103860","datavalue":{"value":{"text":"Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326291$10E1232F-4A58-49E4-829F-E10C71CCD0F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2631f9a8f48bdf6dcc77d1ce21f326f440ee940","datavalue":{"value":"1381.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$784DE04D-737D-4A6A-979C-DFB951C356E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69995c6effd63f001c1bac8541e24ccf7dfbeb28","datavalue":{"value":"10.1007/978-3-642-37036-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$DD86D937-007A-4F97-8240-8757F5B8400C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0dd8a8624209b27346800d65bff565cfc249e68","datavalue":{"value":{"entity-type":"item","numeric-id":5326290,"id":"Q5326290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$AEA33D46-17D4-453C-960F-C0E757D97578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$061CE14E-F9E6-4F8E-A1B8-BAFA273CC645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$BB9646A8-E99F-4EDB-9296-F17386312472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$8CFE7AA8-37A7-4D55-B9EF-D6B99B6E63A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$4E3B737C-7692-4416-AE2D-DC667C643B0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326291$88297D87-DCF3-4D72-879B-4B75FAED9904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$4AA9B406-ED9A-4356-9DC4-329EE1A6CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$9E72B3B3-3012-4C73-B95A-8BD0ACF1591A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b775d491efed7d2213495fd9a5b2a5120d0ca7","datavalue":{"value":"6194799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$B1557E28-9B22-4EF3-A8D8-D93D4F590D17","rank":"normal"}],"P1463":[{"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":"Q5326291$B4954989-EC85-4F75-B104-A75F47A23422","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":"Q5326291$ADEF2EA6-7EBB-40C0-939E-A46C8EBE1717","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":"Q5326291$1FEB8CDA-168F-4472-9E2C-201F07D2CE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4d6f87be2e6a2647ec74e7f56eb9f5bc9f19e1c","datavalue":{"value":{"entity-type":"item","numeric-id":19119,"id":"Q19119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326291$B4BD582F-5292-44B6-9E78-26CE3C866DB6","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":"Q5326291$828B6086-6538-4860-BA33-1A319E918F23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922cca98f8cabd94b70b090241afd48a2a073c2a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326291$EAA90ABC-47A7-4F7F-9EBF-24AE6BF7EAA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5907a7b1ca504a133e6aa01dfa8ba801dd4d8c05","datavalue":{"value":"W2156138494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326291$ABCCB308-9739-4BF7-AB3B-72279AA5A6C6","rank":"normal"}],"P1643":[{"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":"202a62d0a235925d8e6fa1fc5b83b7e8d36ccf56","datavalue":{"value":{"amount":"+0.88129103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326291$056B0D36-BE7F-47C9-9E4D-984079DC37E4","rank":"normal"},{"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":"daf138a0f6ed6628f2565097022f8c3820a0be10","datavalue":{"value":{"amount":"+0.87251717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326291$CDE18020-E151-4E23-8110-DD126F7BF1DA","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":"ffdb5674dc2ba081b74104f21535d40923bb707a","datavalue":{"value":{"amount":"+0.8572091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326291$83A9D5B5-5A12-42AC-8A30-E5C0E7DD728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cefd14490c6245014cbacc350184501c9b5f3c7","datavalue":{"value":{"entity-type":"item","numeric-id":6108441,"id":"Q6108441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe0bc29040a549203ebb7fd6e5b8e0832e6222c","datavalue":{"value":{"amount":"+0.84940505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326291$2ADAB179-CE53-43EE-A26D-ECBDE5707B74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interleaving_and_Lock-Step_Semantics_for_Analysis_and_Verification_of_GPU_Kernels"}}}}}