{"entities":{"Q784119":{"pageid":785968,"ns":120,"title":"Item:Q784119","lastrevid":64306947,"modified":"2026-04-11T18:58:28Z","type":"item","id":"Q784119","labels":{"en":{"language":"en","value":"Putting the squeeze on array programs: loop verification via inductive rank reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228504"}},"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":"Q784119$E7B1E716-B817-45AA-BAF1-07470845D01F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e42a966f9103976e55a2b3104741832b8dd0064b","datavalue":{"value":{"text":"Putting the squeeze on array programs: loop verification via inductive rank reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784119$B54BF627-D23C-4567-8ADB-E1EC29BE8347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12e7f8843367fcc02529f0b2d2a2166a1fe742cc","datavalue":{"value":"10.1007/978-3-030-39322-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784119$BB820EFA-22D0-4FC7-A3FC-CBF0CA5313A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3a70588b6507e3f2adf86b6d511e04de3c4bc1e","datavalue":{"value":{"entity-type":"item","numeric-id":784117,"id":"Q784117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784119$BCAE8C44-B261-4020-ACE1-F339F7A0201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784119$174BE2D1-42D6-4703-9CC3-E3FE2FAB3684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784119$9BCD979A-F153-41B4-A1AA-150904D61364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784119$43A9CAAD-0085-47DE-B3FF-9BB7511A8614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-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":"Q784119$7B1D573B-DCA6-4BBE-840E-566A28CE62F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a73688469cad859cf0cc04287abe0d42a6170b21","datavalue":{"value":"https://arxiv.org/abs/2106.00937","type":"string"},"datatype":"url"},"type":"statement","id":"Q784119$0E77FBCD-FBC9-45BC-A4B0-56A89DC5F0DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784119$471E89CA-F864-4F90-9360-44A21C2A34AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2783d811227e9e0cbc7629721aff30d89c448168","datavalue":{"value":"7228504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784119$2677A82B-5ACA-4951-81D8-64A258645D16","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":"Q784119$B314092C-F000-495C-8638-3AE7CBC4B8EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4168e04b6adde1e09bbc6b7d162c824f6284de0e","datavalue":{"value":"W2998875295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784119$0EFA7244-2DD0-4316-9614-DE7552414DDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade7e9871d3b7237ee26a5d7af7fab4ebaecb5e","datavalue":{"value":{"entity-type":"item","numeric-id":5039501,"id":"Q5039501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2171dbe1cb48678332595109ce6dcfb99d2ae5fd","datavalue":{"value":{"amount":"+0.8987422","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":"Q784119$7F76E277-B6EA-41E9-AA8F-E4EE892F605B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e86e4866d63f946a9dce0ff82cf98a3b2b8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5464711,"id":"Q5464711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b137ea9c035cadcb4b3f513c86837804fdb4c736","datavalue":{"value":{"amount":"+0.88547057","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":"Q784119$121F3D4E-82AA-4A65-B05E-EA968A002267","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":"dfcfe600629cc84beaeca84de633999eb8069dbf","datavalue":{"value":{"amount":"+0.88347185","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":"Q784119$EAA2C6DE-9877-4176-A7FB-9230AAC0BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07265b9f327d692de5e4c3c04ce692986154e98","datavalue":{"value":{"entity-type":"item","numeric-id":3785900,"id":"Q3785900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1cf3b95b346d4b9c36c4a52fa57d249b955b24","datavalue":{"value":{"amount":"+0.87035036","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":"Q784119$DEDEE1D1-6C5F-42E7-B7D1-F6C89975D4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2876070a7dc674800448bf4f5774d7b4b0f93179","datavalue":{"value":{"amount":"+0.8675932","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":"Q784119$D5299C06-1AB1-438D-9514-8FC496745BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d1f830652fa58533549c60b797285779e441c6","datavalue":{"value":{"entity-type":"item","numeric-id":2409744,"id":"Q2409744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863994245c28252df084186bfeb8830e9f25da6d","datavalue":{"value":{"amount":"+0.8643783","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":"Q784119$32D492A2-E701-42B3-923B-C2B25A5265CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e3a0ab49a3dcbbe1ff256fc3c4abb60fd10cb3","datavalue":{"value":{"amount":"+0.86350644","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":"Q784119$5B72722F-6DDB-4A63-AF19-06B888CF43A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Putting the squeeze on array programs: loop verification via inductive rank reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Putting_the_squeeze_on_array_programs:_loop_verification_via_inductive_rank_reduction"}}}}}