{"entities":{"Q3624016":{"pageid":5653922,"ns":120,"title":"Item:Q3624016","lastrevid":80949503,"modified":"2026-05-06T17:22:17Z","type":"item","id":"Q3624016","labels":{"en":{"language":"en","value":"Breaking instance-independent symmetries in exact graph coloring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547844"}},"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":"Q3624016$CBA60889-B022-41C1-B8E7-7BCD3BE29E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4000218a63a90115c5ac1784c4172a026e3afec","datavalue":{"value":"1182.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624016$DC2FA309-60A3-4821-AD9A-0751EA1AEE78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ba2e80ec597d86d6d7dff410f396e7d734591a4","datavalue":{"value":{"entity-type":"item","numeric-id":976991,"id":"Q976991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$F464A6AC-BA39-4B78-8843-85D74EC38C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1eb2ca8453f6afb5658d408a147981e100ff458","datavalue":{"value":{"entity-type":"item","numeric-id":427731,"id":"Q427731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$D5DB092C-8A21-4C05-8B15-54FBC86D6EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$A83ADBD8-4DAF-4A30-99E0-CF7E116B5481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a19537bed3ade15e538e63d04eb21183e11b038","datavalue":{"value":{"entity-type":"item","numeric-id":976990,"id":"Q976990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$A5C32917-7E50-44AF-8BE0-FA080C0D35F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624016$3ECDCD65-8561-47CB-8A26-C8E7E92ED47E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7673350859272c2d94167fcd07f30a4ee8d9efd","datavalue":{"value":"https://arxiv.org/abs/1109.2347","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624016$E4CD969A-4DCB-47FB-92EB-938BEA99010B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624016$314545C0-4A46-424A-B3EF-91229B77962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624016$11F20CCB-E59A-474E-9A56-AF0BA89EE711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1acb4716dc4e975df7538414e5be1e49bb24a17d","datavalue":{"value":"5547844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624016$7C3CCF68-3706-4A67-81A6-52832DB9AE64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4c816d5bc63b5cf750b2c22490b418f45bed34","datavalue":{"value":"code optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624016$7AE5BAD2-3E47-4D64-BDA6-F3D540C13BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"883759efd3fef9c2f6b006548bd6cf71edfc0197","datavalue":{"value":"high level synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624016$F25B9564-DFB9-4D8D-8320-9A49C6FE02F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625351b7577a740a04f10733dfebe0f60b27a8f8","datavalue":{"value":"Symmetry Breaking Predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624016$3F14D07C-0CF9-4B03-A0EB-B5235447CD69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9101bf7f669a5a72e1b883b532ea781912797c08","datavalue":{"value":{"entity-type":"item","numeric-id":14787,"id":"Q14787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$C5683B7F-1260-4DE4-8CA5-A3B1D574A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$2F877088-CF85-4D3B-912D-541FD47D263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$36FF97FC-6FF9-4516-BC58-3BE0E3C68A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$5D329BAD-AB38-4F33-8D0F-767059F94E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624016$594BF58E-6803-4AA5-B757-C4858FFF0C10","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":"Q3624016$6DBFC472-B015-4732-900C-1048AB47AED0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe76b8b699f3b2c89931a73d1980bb71ac38209","datavalue":{"value":{"entity-type":"item","numeric-id":5703914,"id":"Q5703914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357da4e7ff9e9f113505ec815e515a6e19e18ba1","datavalue":{"value":{"amount":"+0.7758429050445557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624016$D6D4BF73-E691-495C-A24E-D2DA4CD9C0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73023fdd9a44170c4bc4cd2d04c406b835076dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3637171,"id":"Q3637171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e3201871193211ac771d61f9c892cbd497ee59","datavalue":{"value":{"amount":"+0.7661052346229553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624016$4A7F6BC2-19AD-416B-A4D2-96BC2D92B94C","rank":"normal"},{"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":"45f716b1fe34fe611ed1d7674510cbfa08fe5d1a","datavalue":{"value":{"amount":"+0.7609126567840576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624016$2302A6DC-D68C-4B54-B22A-B12DDCCD8B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9a1a9f92d4e551ef85178318d5e45d8945e087","datavalue":{"value":{"amount":"+0.7582473158836365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624016$8EB87C46-45F6-4F64-8A31-E88D23F172C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903c5218a697e12cf47021750c99ed31ec467089","datavalue":{"value":{"entity-type":"item","numeric-id":2331101,"id":"Q2331101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2e1d274157a162df36ac286620b6dc95dbe8fd","datavalue":{"value":{"amount":"+0.7544077634811401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624016$50D427F3-E5BF-4699-A5EE-F2798F8EE489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Breaking instance-independent symmetries in exact graph coloring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Breaking_instance-independent_symmetries_in_exact_graph_coloring"}}}}}