{"entities":{"Q6516882":{"pageid":14095841,"ns":120,"title":"Item:Q6516882","lastrevid":103573925,"modified":"2026-06-06T07:39:06Z","type":"item","id":"Q6516882","labels":{"en":{"language":"en","value":"Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6516882$D6CE955E-D340-47CF-9A8E-0D0478039355","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14849e39b5150e7b6d72bf05143655c3c4a9c9a0","datavalue":{"value":{"text":"Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6516882$6AF4429B-C416-412D-8D9A-FD0227CB340D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b77b8bf1b9609b2d269a80470e850c5ac90cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2055794,"id":"Q2055794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$DB517F87-775C-4616-9D7F-5C9FDDE9F576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4649d8dd37e9539e29e78ef819c23f75569d5d73","datavalue":{"value":{"entity-type":"item","numeric-id":363559,"id":"Q363559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$8B0E5A37-48DB-4DA5-A150-9D87602A0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ee31f072a5e73f395f229708db21676972bed80","datavalue":{"value":{"entity-type":"item","numeric-id":6516880,"id":"Q6516880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$31232B3D-1DCF-43C1-92D5-5797E48BA7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c17c2f8c52607acb4fe9a49e80df54be4edabee3","datavalue":{"value":{"entity-type":"item","numeric-id":6516881,"id":"Q6516881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$AE510D12-973E-4A87-858C-7D6F6357CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f2d3aed61a6eb6ea3153272e73ed93775921cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2046323,"id":"Q2046323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$121ACB27-DE48-40B6-8667-EA421ECE5029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6516882$4BD0981A-2BED-43F7-B59D-A9D61056FE83","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":"Q6516882$F4E8FEA5-FBA3-4523-8BBB-97E4724377FF","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"bd13eba56486159f100e0e82885f576838fd558d","datavalue":{"value":"2401.05280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6516882$FA5F7CC6-A206-48FD-8013-87E2EE3681DA","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"15df601691b580f0cbdd752432a1d56c434ed382","datavalue":{"value":"https://github.com/coin-or/Gravity","type":"string"},"datatype":"url"},"type":"statement","id":"Q6516882$637CEE08-A9A4-4CC8-92D0-7B374528C54F","rank":"normal","references":[{"hash":"ccc234a8b270bfaa26a3ba08366fd5fc5618f289","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"326e82fb84b96f78906386b861167ad095313274","datavalue":{"value":"https://paperswithcode.com/paper/bound-tightening-using-rolling-horizon","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bound_Tightening_using_Rolling-Horizon_Decomposition_for_Neural_Network_Verification"}}}}}