{"entities":{"Q1701238":{"pageid":1711979,"ns":120,"title":"Item:Q1701238","lastrevid":56659227,"modified":"2026-03-18T11:35:53Z","type":"item","id":"Q1701238","labels":{"en":{"language":"en","value":"Auto-tabling for subproblem presolving in MiniZinc"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6842361"}},"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":"Q1701238$32A12967-58C0-4A8A-ABDC-705030528905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38a1572d556c73aff40b022a98a9beee95eb6405","datavalue":{"value":{"text":"Auto-tabling for subproblem presolving in MiniZinc","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701238$A416B44A-F4E7-40E2-A38E-09C594AD355D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd35cfe8515714749a0e05a0e1c87b48df1769ce","datavalue":{"value":"1425.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$07C8BD76-6DC6-4142-8E19-74DA2C6EBE01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13edc756c1a735fdc479221a8745216cf629b925","datavalue":{"value":{"entity-type":"item","numeric-id":1701237,"id":"Q1701237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$569CDA0F-47EB-4133-915A-02D9403962B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4053a67a3d064d21179cf3caca83b5886fc68dfc","datavalue":{"value":{"entity-type":"item","numeric-id":890002,"id":"Q890002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$BCEDC8EE-F95D-42E4-ABC1-9A9E2F28A5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5f4e7f6f2c5d69d297a159f45db41d6b949abb","datavalue":{"value":{"entity-type":"item","numeric-id":265695,"id":"Q265695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$BF4552DF-7A24-4ADF-A76E-6D0B00D453FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d929e499819f5cdd992aa8413d5dd647386b14f5","datavalue":{"value":{"entity-type":"item","numeric-id":334806,"id":"Q334806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$970DBDF6-9EB1-464F-B108-6F3617419E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"297bbf7e34c097c8397c405cf074ec65b202709f","datavalue":{"value":{"entity-type":"item","numeric-id":334805,"id":"Q334805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$B4E8E72F-551C-4B9B-948B-BEF60B4A4ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$C48ED47F-97B4-4C4F-ADCE-5F410E4F1C0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c98dc438f41659f2d190c3ff2966dca049d17da","datavalue":{"value":{"time":"+2018-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701238$3CE66FF7-81B4-4998-B407-75846E8F2FD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$AC1080EB-1804-453D-A8FE-8CA931ACA65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$75CE723D-A500-44B4-898C-AE1A73998E45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d56229b5730021394d38180e4acc03fafb7076ff","datavalue":{"value":"6842361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$ED90E3EC-EAE7-4CDD-AFC8-ED26DE6E0A96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238a6f42327475fca674d8c423f5bbf86d9f06c3","datavalue":{"value":"presolving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701238$7FCE7D39-CCA3-4AD4-A848-4C7F7AFABEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701238$976DBD1D-8764-4003-94AE-57CD82BD3405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0830ce16a1999b0f3dc01d8b3387771c40afdfd0","datavalue":{"value":"modelling methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701238$C7722F5C-A4B3-441B-BF42-E89C0AF31EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"953ce10e64ed9de603d8caaef6959f192507f378","datavalue":{"value":"MiniZinc","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701238$3C40B563-EFAD-4B65-B416-2CD05F3DD127","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3a10302762261a60429b41e42809b28e7ccb7921","datavalue":{"value":"Q57574224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$8474C6E3-80E5-4F23-9154-29823D033FFB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4644594a3f8080a45d7c4cf5c22c81cc785fe55c","datavalue":{"value":{"entity-type":"item","numeric-id":25416,"id":"Q25416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$17B59371-A17E-49AC-B9AD-599C23869002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6a58b387017cdbc506130b6622f9b3309231b80","datavalue":{"value":{"entity-type":"item","numeric-id":36475,"id":"Q36475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$841C8F24-CA7C-4408-A7D2-05E16A67D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$F4700157-53F0-4D7A-9BDD-CF21A4A95765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$5BBC80DF-3183-4906-8420-3F844ABA5603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed6caccff2a8bc09888177dab2449d837b0b8bd7","datavalue":{"value":{"entity-type":"item","numeric-id":18403,"id":"Q18403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$DDCA64A0-6E85-4EFA-A12C-DEB675015154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fc66eb6c286730187ce02123280fa9d67626af","datavalue":{"value":{"entity-type":"item","numeric-id":35017,"id":"Q35017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$C47AEF5B-00DA-4515-9B76-DADB90EB7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df7873ed6012955c2eadc405477d45e9115b4225","datavalue":{"value":{"entity-type":"item","numeric-id":26704,"id":"Q26704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$0E409FB6-7570-4D94-8DCD-762F298721B6","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":"Q1701238$3F25A7EA-D1F1-40F5-9109-217C01DCF08C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"361e7e487d7fdc0777c8b159d95314d2355357eb","datavalue":{"value":"https://doi.org/10.1007/s10601-017-9270-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701238$FF99456D-156D-44D3-852F-55E2DD3DA5BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae55ad14531cb2b0418987cfdeb14e92b4a5c840","datavalue":{"value":"W2623418526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$680303B7-9E10-4CE6-9A7C-7D76F0E15CA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13dca5a84b69f873cbb923cae1d208211e2fcec","datavalue":{"value":{"entity-type":"item","numeric-id":5277694,"id":"Q5277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$3922B662-302B-4B36-AE6F-5CC769BC2F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaf64bd247c94513f7b297bf7bb0f24a693c9db","datavalue":{"value":{"entity-type":"item","numeric-id":341068,"id":"Q341068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$9AD259F0-3CE7-4C21-94DA-C526A1D7A12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01030489f423c4b45a7ccfe71336e3884271094b","datavalue":{"value":{"entity-type":"item","numeric-id":4495108,"id":"Q4495108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$4EE3AE2F-15CE-4A6A-9B28-D6E88CF636F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543ad770898061758d18782c0bc33ed879fa17f","datavalue":{"value":{"entity-type":"item","numeric-id":890003,"id":"Q890003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$704CC509-A00E-4834-B2C1-DEED65F6F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e25c796f7ecc82d1b8c7c7ba75b7cfb5f167220","datavalue":{"value":{"entity-type":"item","numeric-id":4930597,"id":"Q4930597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$884FEBBF-8893-4DA0-8691-6D1CCB9E304F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1447a82c9797d30e9d38fc98c019648c18e1a63","datavalue":{"value":{"entity-type":"item","numeric-id":1751946,"id":"Q1751946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$F1C18E06-E3C9-4A05-BCF1-1918305DB8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cf899aadcd8ad07435f9c9ee4bc1f3b6cb7df1","datavalue":{"value":{"entity-type":"item","numeric-id":2453695,"id":"Q2453695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$B35C4786-078A-4BC8-BA92-720039BA34E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260e7182f45729b6a463aa06aaf59ef66d1ddb1b","datavalue":{"value":{"entity-type":"item","numeric-id":5435012,"id":"Q5435012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$05050D4D-5125-4CFD-8E30-7ECC34D8BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$B9B67743-33F8-4BB1-8A00-566CF33BA0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb50a63ccfb0086bb8422d7ac5105d48b7722fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5688929,"id":"Q5688929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$44828965-69EE-44BF-B965-B1D227A6D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb95932974b7e6e7a05018efe7eff2e74e5351c3","datavalue":{"value":{"entity-type":"item","numeric-id":5900313,"id":"Q5900313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$5610B1E7-0515-42B7-BF63-856F7428FF9C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"aa70883a74ff3e1c1e3be230e0dd77ad0ee4404c","datavalue":{"value":"journals/constraints/DekkerBCFM17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$80F2F738-2C12-4F07-A40F-2D5E4715A4AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605a8db22769cb299e70fea66e13293cc8fe22b3","datavalue":{"value":"10.1007/S10601-017-9270-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701238$6D05940B-E32B-46CB-8864-0D5DD6D1B077","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33641af89c0c883544da2067b215ca79ba09dabf","datavalue":{"value":{"entity-type":"item","numeric-id":3569921,"id":"Q3569921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c9bda755f23c129c88f7366dad50c2995f0b6a","datavalue":{"value":{"amount":"+0.79125464","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":"Q1701238$2621F71E-3D40-43A7-BCA6-1BA6E9D2FCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ae2c8bdabc8fbf7d53c06a07694f084ef3539","datavalue":{"value":{"entity-type":"item","numeric-id":1978007,"id":"Q1978007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffdf99569b8eec3f8bf4bc303b1474ef319fff6","datavalue":{"value":{"amount":"+0.77693546","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":"Q1701238$58A1C97C-284A-4F21-9832-62B6C9209068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2670838c64bfb2574488e98e9c377caacb529d","datavalue":{"value":{"entity-type":"item","numeric-id":890003,"id":"Q890003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64f5e607d1e4894c662bba4b63d7b9df025fd20","datavalue":{"value":{"amount":"+0.77453214","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":"Q1701238$37CB3DC0-A531-401B-9160-10BBEAB5845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325cebb7308f495234d91b51ee9feae828b4654c","datavalue":{"value":{"entity-type":"item","numeric-id":4930773,"id":"Q4930773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7337eed14a5fd7ead501172411c85d1c5e038a41","datavalue":{"value":{"amount":"+0.76672345","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":"Q1701238$C6902874-8CB5-49FF-9AE6-35C8BC31461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af209c681bc7ec5398760aeebfdea6370501e651","datavalue":{"value":{"entity-type":"item","numeric-id":5892517,"id":"Q5892517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e0cce7883f61bce430ee23f415c3fc5a12cbc7","datavalue":{"value":{"amount":"+0.7602682","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":"Q1701238$FF4351EE-6F5E-4A2C-94A7-44837D08C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ec6a5b98b7fba8ff952e15584af56c76ca9d46","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e0cce7883f61bce430ee23f415c3fc5a12cbc7","datavalue":{"value":{"amount":"+0.7602682","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":"Q1701238$7907EAA7-10E5-474C-BDA0-5CA9BFC2BA8B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701238$4AA02DF5-550D-4BEA-8705-BFA0BDCF2E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1701238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1701238"}}}}}