{"entities":{"Q2828296":{"pageid":2839034,"ns":120,"title":"Item:Q2828296","lastrevid":42230592,"modified":"2025-06-02T18:35:07Z","type":"item","id":"Q2828296","labels":{"en":{"language":"en","value":"Polycheck: dynamic verification of iteration space transformations on affine programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642977"}},"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":"Q2828296$DA16CEC2-6345-4806-8E58-ABC238280644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd827ae412f61ec0ecc43d92d28df0bba3d2b68","datavalue":{"value":"1347.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828296$CE2CD23E-8D94-4B93-9D0C-2DC23F94C6B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee9a61b8535c46ce9936901d1e48a1e2cac90dd4","datavalue":{"value":"10.1145/2837614.2837656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828296$FBF25AF5-B79A-4A4B-B499-EF24C1E4041C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7962fe21c0dfa013bc1c6dd834f7da1e69520f7","datavalue":{"value":{"entity-type":"item","numeric-id":2828295,"id":"Q2828295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$6490BF3B-1537-4162-B321-C5751122EBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd8bfd3c38c6cdc25974c57899310a9cc328e7bf","datavalue":{"value":{"entity-type":"item","numeric-id":2497739,"id":"Q2497739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$5C9EA611-CC9C-4344-AA05-48E49B119C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da4ca1c45e02c7b3a80f2814ec154b7a37b3f6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2819841,"id":"Q2819841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$0F957249-6806-4029-BCD3-AF9EA67A4D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d7b33a0ea31a69d7597c08070f9635aab18a39e","datavalue":{"value":{"entity-type":"item","numeric-id":235409,"id":"Q235409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$6B509DD0-F85E-4105-A5AE-CB87B65A3051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0d674cb51b09d0dfd17c6a980b255046376fad","datavalue":{"value":{"entity-type":"item","numeric-id":645497,"id":"Q645497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$308D8D28-6DE8-49BD-92AF-BBB8F54C1E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828296$F585E320-F57D-4B34-84B9-16E4EDDF5C45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828296$C5ECFA69-7BCD-42D0-B099-57F13492C890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828296$5C535AB1-8F63-4E60-9F5E-15767F863A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828296$91386FF0-720A-4619-9040-629DF9928BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60d5ea0f815ca3ca0f44e25dd8c1ab6321069b6a","datavalue":{"value":"6642977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828296$DC1B3F83-84C3-41DE-B1DE-B4EA13B57488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2afdabd2f4d22d08ba1ea7a9af6b0c6ffd0e36","datavalue":{"value":"dynamic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828296$48CEA8D3-D106-4779-B3B8-115D11C5C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8672533f05e085fedf15a138c9a7ed999077a7ac","datavalue":{"value":"iteration space transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828296$C3B95384-1634-4A92-AE3D-0949161B25C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828296$556F5C45-8651-4D07-9BDD-EA6A5C76957C","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":"Q2828296$8B13AB6B-0338-4265-99DD-5B2456862E4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bef11032a86e0846a0cc529c96dd87c17b04901","datavalue":{"value":{"entity-type":"item","numeric-id":3636883,"id":"Q3636883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbf01fa378aeba76a5be7d6db20dd49b25dd29d","datavalue":{"value":{"amount":"+0.85627747","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":"Q2828296$2C629A1E-7ABE-48CF-897A-E701C33E39EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1757426fd4281fd82d922e034fcf88752afb021e","datavalue":{"value":{"amount":"+0.8529712","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":"Q2828296$54A445E0-2D78-481E-8E78-1DBD40518D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a415caa7777150cdab3831623e8cd91a58c6272e","datavalue":{"value":{"entity-type":"item","numeric-id":4997232,"id":"Q4997232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d897319c5e02f257570b21721ca4bc63c7e78b2f","datavalue":{"value":{"amount":"+0.8490267","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":"Q2828296$34B84CF8-B286-49E3-A60B-3FDCA2DA3227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0cbeaf8426945a8a3ea963d1f2aab6742a1cdb","datavalue":{"value":{"entity-type":"item","numeric-id":6113015,"id":"Q6113015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a71cf57ed4f4aac1f547b006fe17ba52f89a1f","datavalue":{"value":{"amount":"+0.845622","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":"Q2828296$32F6409F-FAE3-4BDE-B039-A19D271B02CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2371e928124c439b5271751b1ac01047ab7dfcdc","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d24a5b67bdbbbac2b919cacb55914d027362170","datavalue":{"value":{"amount":"+0.84369016","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":"Q2828296$45F88C98-EF55-485E-BE3F-45FA1AAE4A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e66e33e9b0ad9e91bc22dc5cd82cd54685796b","datavalue":{"value":{"entity-type":"item","numeric-id":2841959,"id":"Q2841959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fcfbf36bd0ee15c2d6c6a3426f86b15b8cea70","datavalue":{"value":{"amount":"+0.8431015","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":"Q2828296$0F0ABA1E-DF5B-406E-A218-9C9DB0ACEA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24940faf9dc83cfffed21306c2b16f722462275","datavalue":{"value":{"entity-type":"item","numeric-id":6041173,"id":"Q6041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4939b48bf449d9f64000480bb3332bb2f37f9024","datavalue":{"value":{"amount":"+0.839093","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":"Q2828296$55FA0A78-1A28-467D-A5E9-1EE5524C1D4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"538baa2a42f264cb0c6b6fd872ab02c370b44b13","datavalue":{"value":{"text":"Polycheck: dynamic verification of iteration space transformations on affine programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828296$BEE767F2-F4F2-430D-9F80-26438C868831","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828296"}}}}}