{"entities":{"Q6526883":{"pageid":14137944,"ns":120,"title":"Item:Q6526883","lastrevid":40043783,"modified":"2025-02-13T14:57:01Z","type":"item","id":"Q6526883","labels":{"en":{"language":"en","value":"Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver"}},"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":"Q6526883$5A906A6A-4DD7-42AF-9AC7-E70A26CE1875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7626896dacbdc21d27b8ef07c75ffa3597bc063e","datavalue":{"value":{"text":"Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6526883$C4D4BC59-1E94-4D47-B7FA-F4D8D03DA96F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"040c4accb12944f4c868130cd941d0d5285b50eb","datavalue":{"value":{"entity-type":"item","numeric-id":6050842,"id":"Q6050842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6526883$354DACB3-7D44-4D93-AA98-DDC2C97E59ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07d6cd08eac8f167f417f8273d6e404420ded59","datavalue":{"value":{"entity-type":"item","numeric-id":2061872,"id":"Q2061872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6526883$A2B4A955-E408-430F-9053-DF6EE630BB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d09836a38257b0d6b29a0830cb1729bcc6faddd","datavalue":{"value":{"entity-type":"item","numeric-id":522265,"id":"Q522265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6526883$625A8938-0984-4B54-B907-EFE4B4012573","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":"Q6526883$312F9605-4BE2-4BE8-9668-ADB34BAB7A5F","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"2dbc5745d165673fa73d36b82ac6b81fd16f793a","datavalue":{"value":"2403.13567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6526883$E3B8E72B-7FFC-49CF-B279-7DF91E7B01F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6526883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6526883"}}}}}