{"entities":{"Q5038464":{"pageid":7068041,"ns":120,"title":"Item:Q5038464","lastrevid":91125563,"modified":"2026-06-04T22:19:28Z","type":"item","id":"Q5038464","labels":{"en":{"language":"en","value":"Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595328"}},"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":"Q5038464$FD44840C-D3FD-46C5-9A3D-D2E87DBF4823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e3807398382916db0661dbc778778fe6d7d79c","datavalue":{"value":{"text":"Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038464$10E83653-5EF3-4E2A-99FD-53CCDBD4C375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd38969ad60fb92d539fc4a5ec1a4ccaab1a5b2","datavalue":{"value":"10.1017/S1471068422000151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038464$5D5B2DBC-1CAA-4249-9546-4180A60783E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71beeeba0cecb86f40780367059899666f3972cd","datavalue":{"value":{"entity-type":"item","numeric-id":2163185,"id":"Q2163185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$77C64FD0-8B0B-4C75-8DDA-E8304EB1B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40bce52f71b1a1c1872a56081e479b2896c493c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055803,"id":"Q2055803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$5C290960-F08B-45BD-AAC9-557A797BD18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$DDAE5FA2-A4DB-4C8C-8576-63F2732046C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"929e9fdfe416c934c056c933552c185911aac807","datavalue":{"value":{"entity-type":"item","numeric-id":709675,"id":"Q709675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$5A34DE6A-0E2E-4D22-9577-F3277ED74174","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$D784D8B5-9899-4540-ADC7-F1240E2C8410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038464$93117517-2254-408C-B86D-1DC8690175D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae20d0bca1f6a530c83a3cd203e3a50b9330ad7","datavalue":{"value":"https://arxiv.org/abs/2205.07129","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038464$D542926C-7B2D-4B54-8EC0-01658776D128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038464$1C8C9D56-0C0E-4217-85EF-DDF1B8751E3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0337c044ef3d81b78423b81220bcd6e2d208a0","datavalue":{"value":"7595328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038464$B87BDF89-2E64-4679-8423-EDECD4B2BEEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038464$ECACE765-DA53-452C-A8F9-8CDD09EC8915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038464$611EF6FF-5C42-408B-BD8A-BF697EAAC3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cd459944d63990f1fa13836a7a9bead1a8c843","datavalue":{"value":"symmetry breaking constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038464$19A2F2BF-E7FB-492E-8C1D-20C8B8BA6C4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08c22ff81e827562a9b1591581493868b6efbefa","datavalue":{"value":{"entity-type":"item","numeric-id":23646,"id":"Q23646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$37D47A22-D0A9-4E13-928E-6328CBC86226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$EBABDDE6-A7A7-4147-89B3-59D96451BE25","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":"Q5038464$4FC874C5-74CF-4A88-9579-5FF9B73A5B0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c89e9d1d05c95a0171b1450ce2d9e5b48c642c","datavalue":{"value":{"entity-type":"item","numeric-id":3003271,"id":"Q3003271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$03557760-F63B-43E8-9987-C7E27AF44DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c326665a5541918a0d48d6bf89bef90ec7c8c585","datavalue":{"value":{"entity-type":"item","numeric-id":850464,"id":"Q850464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$2EF306CF-8DC1-488E-86E8-1FB0FEC397DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7b30058d6ca78c620a5b36473000c522fe0f05","datavalue":{"value":{"entity-type":"item","numeric-id":2051282,"id":"Q2051282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$D3D1C59A-4177-4B43-9788-6C81B25743F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75960b3bd3cfcc7639ecfeba84e1bafb29ce86c","datavalue":{"value":{"entity-type":"item","numeric-id":4593047,"id":"Q4593047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$77C11EC7-C39F-4310-8E3E-7B487EDEABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fee1af6b1e1cccba19bca47ae11a7dbace90fd","datavalue":{"value":{"entity-type":"item","numeric-id":4593048,"id":"Q4593048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$55295975-C6BE-4F50-B2B9-8062276B1C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47d009e8920601d4c8e8b1592b561f868672b25","datavalue":{"value":{"entity-type":"item","numeric-id":3011301,"id":"Q3011301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$3EF3C541-A432-485A-9450-99D58DB8A203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$C5F1A4B7-8717-4FF3-A0A2-F5E3570FC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$85128AD1-A30B-40FB-A135-5408385B645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2e32c036b2761604592011edecc030d36ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":2931265,"id":"Q2931265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$3C0CF99F-D907-4453-95B7-353C626FC192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c380d2417527e371b1f73a16a203d8d5efa1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$6558631A-5B0A-4DAB-B4A6-95DD545346DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ef3a0260e1bb0eff33bb40662f2af2da80eb18","datavalue":{"value":{"entity-type":"item","numeric-id":2938503,"id":"Q2938503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$83FBCAA4-A0C6-4797-91E7-8A01FE227F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$BC87CDAD-20BD-4CDA-A5B5-453B93116083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58671b0236989304ee8f058352dfc5b20bade66d","datavalue":{"value":{"entity-type":"item","numeric-id":2471273,"id":"Q2471273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$5918E3BD-07AF-4B56-9325-80444AE1B766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518b9b2eed57720772009ee4bc5a95f598022355","datavalue":{"value":{"entity-type":"item","numeric-id":5387629,"id":"Q5387629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$53AE27BF-B00F-4621-8EA2-8ACC6A9F592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a12f8eb90c3b6147484df57b41df64564a8e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3524199,"id":"Q3524199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$83EC53C7-7DD7-4C55-87C8-61B15C79002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$539FE268-DD21-48C1-99F9-8910BA9B6E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0934dd65dc7b6cb14fb11d6de77b9e86026b654a","datavalue":{"value":{"entity-type":"item","numeric-id":2163186,"id":"Q2163186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$B2DB2BA7-EC15-4145-91C1-51E615707C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188b8471cb56daa2f9378142973bfc3c358dd6eb","datavalue":{"value":{"entity-type":"item","numeric-id":269477,"id":"Q269477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038464$47158D00-6F38-4FB2-8A7B-856528442DB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a29ec55291410faf93fdd4b71d7fb21b68a8f39","datavalue":{"value":{"entity-type":"item","numeric-id":2009225,"id":"Q2009225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c0a984bd6aab55ff4c5b0b99628b4ad91aa3fd","datavalue":{"value":{"amount":"+0.87989783","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":"Q5038464$25482C49-174F-4593-84B7-862942498795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99899dfc7bb6914ec8c4021bc3b8168174956ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488808,"id":"Q6488808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf3300ffdd03f0ac003f56c864b2e08d6862e4b","datavalue":{"value":{"amount":"+0.8784727","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":"Q5038464$610E44A4-19C9-439A-9436-C729C71D66AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1139a1c30b4168351f24734f482b04acc58532f6","datavalue":{"value":{"entity-type":"item","numeric-id":1037643,"id":"Q1037643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1a74700fdf7c93c2fb74ba53da1cd80038ecab","datavalue":{"value":{"amount":"+0.8761679","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":"Q5038464$3734CB1B-29C9-4601-873E-014DE555C9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6bbe77ffe111cce3655ef1e6f3df65416b2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5067445,"id":"Q5067445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2f0821b65c5ccb0cd748c0cc547a60d0ce7a38","datavalue":{"value":{"amount":"+0.87459326","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":"Q5038464$AD48C916-DF0A-4A37-BEF2-BAB40BF40292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f726e19f0683a928f12dd266cfffc8540fc01b","datavalue":{"value":{"amount":"+0.8740024","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":"Q5038464$D92248D9-3AC1-40D3-8AEE-069F5B11E1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e42cd9c04e1b24d916957db473fef1c883fe3ac","datavalue":{"value":{"entity-type":"item","numeric-id":850460,"id":"Q850460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76845a12616fee1b971c50c062404e5d12abead","datavalue":{"value":{"amount":"+0.86649394","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":"Q5038464$74993F05-FD6B-4868-B2FB-38D7B34F723C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9227c7123b0b603bbf05cfbe24167fea2b49674","datavalue":{"value":{"entity-type":"item","numeric-id":3624191,"id":"Q3624191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f36bf6eeff0e1631e44008614e7dacb2018b500","datavalue":{"value":{"amount":"+0.8644667","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":"Q5038464$F257EEA3-1A3A-4009-B4FB-5E467CAD38DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb16cccba214f67125b82fe73362326925b30975","datavalue":{"value":{"entity-type":"item","numeric-id":5941314,"id":"Q5941314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf908e0c1f1e1fd88216cee4291f120413215d9b","datavalue":{"value":{"amount":"+0.85851014","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":"Q5038464$DECC337D-0B95-4E01-97C7-8A9674F70E87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Lifting_of_Symmetry_Breaking_Constraints_for_Complex_Combinatorial_Problems"}}}}}