{"entities":{"Q6579769":{"pageid":14190924,"ns":120,"title":"Item:Q6579769","lastrevid":57326025,"modified":"2026-03-30T12:31:21Z","type":"item","id":"Q6579769","labels":{"en":{"language":"en","value":"SAT-boosted tabu search for coloring massive graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7887806"}},"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":"Q6579769$D0CD2543-FE67-41CE-80C1-18F58E78CEB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d3e24a7f7c26b9f8d16e7bd4cb31475204cf25e","datavalue":{"value":{"text":"SAT-boosted tabu search for coloring massive graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6579769$9D634E67-A3A6-4D68-BA92-355EE1684925","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fd15d86b92eaac8d373746606f81d2910b27b47","datavalue":{"value":"10.1145/3603112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579769$704D512D-1C12-45C9-99DB-00281D0C41AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"693b10c86dd171eaa1d3c9be5d4be01094006595","datavalue":{"value":{"entity-type":"item","numeric-id":5101316,"id":"Q5101316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$EBF82242-424F-4CC6-AA20-8F0C59D27EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$8BDEFB04-4892-4532-B12B-999103E43A1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"559c31c5a2893c61b2386453e3ce7e57ea500601","datavalue":{"value":{"entity-type":"item","numeric-id":2828175,"id":"Q2828175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$79AC0912-7803-449B-AD7D-F2698A6AB7C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bba7efd334fc8cdd87bf1dc9c938382dd47c274b","datavalue":{"value":{"time":"+2024-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6579769$BAE4A145-A865-41AB-86E4-29FF2F2C2567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579769$8C6A7E20-7B46-423E-AE09-B7D394B5D5ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f62fd7d6e8e50bfa3ec8034ee61306c0b586344","datavalue":{"value":"7887806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6579769$82C81161-C1D9-4268-A5FA-2F4BECAC3F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09726da53e95ae004a19637083ed8dc4eff896f","datavalue":{"value":"graph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$4BF80920-F522-4607-8F60-3050292CA488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$7A43DF35-245E-4A77-A568-0E6BC080A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e00475554cb95f00d16db197d5817dede1318d","datavalue":{"value":"tabu search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$790B1004-C657-4607-96B0-D1C66EE31D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c7bd99a051c8d31b02c8670c51595307b60ce4","datavalue":{"value":"SAT-based local improvement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$E883C564-05D1-487B-BC86-56671E08B116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b961345c81ec4a9aa284b3fca528ffaf9bd8f4ef","datavalue":{"value":"massive graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$26A8A8A0-5A79-4DF5-B3A9-09E6C3FF3B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0c4044b5ce8b66514340019aecd275cd3c18f6","datavalue":{"value":"experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$A9156869-F6C6-4479-AEDD-E71B8296A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f43e016f64cf51d20dbb7938af0cbdd64c9177a","datavalue":{"value":"cg:shop","type":"string"},"datatype":"string"},"type":"statement","id":"Q6579769$2BA995F1-2221-46D0-A822-2E760D114E09","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":"Q6579769$E0513C89-6DF0-45EE-BABC-2449D3B9BA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$0052059D-5E11-4429-B7E8-EBC4C69523FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c89ec5d00c1dbd1060b6c94d3c33d9d7f0ba8c0","datavalue":{"value":{"entity-type":"item","numeric-id":2456655,"id":"Q2456655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$75867F92-4F20-4209-BF4B-E3C5DA543D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7b26f6765114b169da5a79770389fa5bd84e12","datavalue":{"value":{"entity-type":"item","numeric-id":4175306,"id":"Q4175306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$5799E969-A10A-425E-B122-0D947275A0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cd59d5be27403da02f65aecbdeb97599982a7b","datavalue":{"value":{"entity-type":"item","numeric-id":610967,"id":"Q610967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$5A519DCA-5E82-4157-BB7F-83B0823609A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$9629BB01-180A-4163-9CB9-7066CECE3B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1842e31a42fa04525cf90e3c83f084409b7fe2","datavalue":{"value":{"entity-type":"item","numeric-id":6579767,"id":"Q6579767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$91A2CCC0-7A4C-4710-98CB-A46E4430C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d679d059d6ad9599fc74772c950c3a2f8bf7c332","datavalue":{"value":{"entity-type":"item","numeric-id":6539583,"id":"Q6539583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$2C7E1063-D3B0-457E-906B-4B202525806F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a85b4e307e08129858f9ce62643a7a5599f3a6","datavalue":{"value":{"entity-type":"item","numeric-id":6579770,"id":"Q6579770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$A31CA2A1-BFDA-4F12-B67F-6AF42104BCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca450605067885de5aafa79be24b36958121ab2","datavalue":{"value":{"entity-type":"item","numeric-id":627124,"id":"Q627124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$B25EA78E-29BC-4908-B3D6-0DAF93427C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea53d8cac22a3a9edc30f53d82a97a5e82b4123e","datavalue":{"value":{"entity-type":"item","numeric-id":1680268,"id":"Q1680268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$FAA58A0F-5711-41DB-88A8-DEF97F5C4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4bbd1a5d24c982457896a234f58bc2332b218f","datavalue":{"value":{"entity-type":"item","numeric-id":6539585,"id":"Q6539585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$F80F9C0B-C82F-4A83-AA88-6B163293E46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1107b06bb0a620ad9f0b2e1579c2e890229dff","datavalue":{"value":{"entity-type":"item","numeric-id":5232758,"id":"Q5232758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$4B88E415-A90C-483F-8BA0-F30CCF67733C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdefb56cd6c4e4aa4a185f344d2cb08f8973bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":714028,"id":"Q714028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$345736DF-7663-48B0-8B5E-9121105EA913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfb5eedcbaf46901980437203304d2b4e201637","datavalue":{"value":{"entity-type":"item","numeric-id":2327268,"id":"Q2327268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$3EB08216-AF04-427C-9A45-36FB17A26A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$E9E0D2C0-A6D1-4764-810E-88B66A01F234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6da7e1cac7ce7fe30e5376d1861c0c5e8e798a","datavalue":{"value":{"entity-type":"item","numeric-id":6584071,"id":"Q6584071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$2CFDA857-FC98-4B57-A74C-C1592B03F9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2bd5ee3db741fde236b9b4661679afea91930fe","datavalue":{"value":{"entity-type":"item","numeric-id":1680270,"id":"Q1680270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$5A055515-88AB-44B1-A830-88B29F4ECF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87d49b6e220cafe9b9458c3df6d87f5601dc95","datavalue":{"value":{"entity-type":"item","numeric-id":4972153,"id":"Q4972153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$BECFB5DE-F3CD-42F8-8281-D89C7B256E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce410321056110a4175cd5c043a836782295d938","datavalue":{"value":{"entity-type":"item","numeric-id":5687262,"id":"Q5687262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$31C4E8FA-9D7F-4013-A4B4-6705808D3E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08a4e0894b5a58e3f30590ba0001757c9f8719a","datavalue":{"value":{"entity-type":"item","numeric-id":6539584,"id":"Q6539584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$1843A030-D06B-4877-AFE0-3553C54F3F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e55d28b28cfe20443edf349cef5c11b4bbca72","datavalue":{"value":{"entity-type":"item","numeric-id":2942692,"id":"Q2942692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6579769$84CB89B3-E319-417C-B94C-08728D4B028B","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":"Q6579769$08E4F64C-27A5-4692-B09B-46DFE386FE18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6579769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6579769"}}}}}