{"entities":{"Q5129999":{"pageid":7159573,"ns":120,"title":"Item:Q5129999","lastrevid":53861270,"modified":"2026-01-25T20:29:21Z","type":"item","id":"Q5129999","labels":{"en":{"language":"en","value":"Constraint and satisfiability reasoning for graph coloring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7269300"}},"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":"Q5129999$4D4FBE38-D5F2-4B1C-AA03-F3EA3E7A3ED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0b4ac0d50bc04249bb2fd95928ecd050d7212a","datavalue":{"value":{"text":"Constraint and Satisfiability Reasoning for Graph Coloring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5129999$6E5D0E05-058B-49EF-AC36-F3BDA3C97EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30fe8dff589e75dd65d1d1ef5354285cab042158","datavalue":{"value":"1490.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$EBF2530F-3EFE-4D4C-9D18-BA704874E954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f21c49451e0155cd2d6c84660e980278f8965a7","datavalue":{"value":{"entity-type":"item","numeric-id":323050,"id":"Q323050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$36993FAD-75F5-4EE4-AF24-206841FB079E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d807abf13a4f1b48e32e6abd648a5feb15859e0e","datavalue":{"value":{"entity-type":"item","numeric-id":464613,"id":"Q464613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$F3CCFA57-33BA-4C76-8AF8-C95E432AB082","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$E7462137-1AFC-404E-902D-B16A74581B5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9959762f316e1937fbafa8ffb464ca9ed62f4f3f","datavalue":{"value":{"time":"+2020-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5129999$79B28BAB-A9D4-457D-A92F-9CDFC08F5976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$8D8B147A-1FA5-493B-96F3-6980B56EFB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$0C5DA99A-270D-4487-958A-2F50D0A59A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$6ABBA9EF-97A8-4863-A78C-171C57CD78CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d46b68ab4a8e7bd6082767638cd930be7510f12b","datavalue":{"value":"7269300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$F0D4E335-0283-4A74-9D34-B1A4E3C2027F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129999$E21435B8-AD7D-44F9-9A2F-B02DC6455939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129999$98DBF563-7FBA-4D2A-AA1B-D658221A9AAB","rank":"normal"}],"P1463":[{"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":"Q5129999$BADC3947-8C4F-498B-B74A-A36B43BF11B6","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":"Q5129999$0C42C5A2-4751-4CBB-88A9-342192616BC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13989833ee9914e795f410d3ced0aabe0faa16e4","datavalue":{"value":"https://doi.org/10.1613/jair.1.11313","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129999$6070D433-C94F-4CBB-ADF2-F00CADC68361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28779c216c5f691880015a67ad21cd3be0063e10","datavalue":{"value":"W3083503609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$7C7821AF-EF67-43A3-A547-F0D0A04FB3FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb7618c0204cc5b8c3df136d07b5ff6843ce3f0","datavalue":{"value":{"entity-type":"item","numeric-id":5920489,"id":"Q5920489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$A419A8AA-7AFB-4BEF-BAE1-791FE88D0510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2c7277910fc52ea7ed8c7ed77a9e7cc10bb5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4945528,"id":"Q4945528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$B72AF599-EA63-4C24-9025-CAA9400BBAE8","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":"Q5129999$B90428CF-245B-43ED-A8A3-4C6D0B22E0DE","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":"Q5129999$CB4F6845-6B5D-40F3-A3F8-CFF0E4F3C2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83467d1368f4aaa103f443081aa5bbf5a8723c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2517790,"id":"Q2517790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$AA471C43-106F-4820-8F71-7784A17CADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c346019e86deb8d4b24ebdefb9203307c29646e8","datavalue":{"value":{"entity-type":"item","numeric-id":5176854,"id":"Q5176854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$97CA613F-06AC-4BD9-A6BF-C3AC1F54525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df13cdd536d50039c70eeb4edb322a622623b0d4","datavalue":{"value":{"entity-type":"item","numeric-id":5266538,"id":"Q5266538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$69596B56-6FBF-4BBF-A82F-962B6DD8C30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a1c33a3c8dbe3fb5c7265d6f0f4e18689ba2bb","datavalue":{"value":{"entity-type":"item","numeric-id":325423,"id":"Q325423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$60B18658-BEB3-40FF-ADF0-5A6BFD7CADCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca8e2226bc49403f5d34bedd57297744e386790","datavalue":{"value":{"entity-type":"item","numeric-id":1168215,"id":"Q1168215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$3DA11A72-A91B-4837-B61D-49FF8A9FD114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ac5b0c1d842abb4a4e1bb9c7a288b01ff44edd","datavalue":{"value":{"entity-type":"item","numeric-id":5111881,"id":"Q5111881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$9BE54C05-E5AC-4149-BF63-CBD49FB6A29C","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":"Q5129999$EC2643EB-85B6-4488-93C3-039DF6B7DE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1e280ff313784cce95cf1dc6e1b139af0e3310","datavalue":{"value":{"entity-type":"item","numeric-id":5599569,"id":"Q5599569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$E1C58190-E56A-4260-BE12-18D116DA505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a48c289367846d2e6cbf6ff475cf182266d6c35","datavalue":{"value":{"entity-type":"item","numeric-id":4178914,"id":"Q4178914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$3E331FAF-C641-4BB4-98DB-10033B94504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c5a9e04f98392a4adf15ef399263152d357e71","datavalue":{"value":{"entity-type":"item","numeric-id":429677,"id":"Q429677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$0BF6FA71-BFE6-45CF-9EEE-891F4B3E8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5acf6ab94da21fc88309f9b2dc3bbfdfe9822b2","datavalue":{"value":{"entity-type":"item","numeric-id":3002686,"id":"Q3002686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$493B9F54-F540-4DA4-AE2E-E4B3D69A1503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$9FC76DB9-8543-438A-8E94-26B272DE5124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ca000fcae894c265c75c5fda3c61696db0212d","datavalue":{"value":{"entity-type":"item","numeric-id":4367049,"id":"Q4367049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$D5A8BE32-1247-45CA-AC8E-DA80CE9888B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc8e3a70353874ae71b2b5e055e522ed5b6378c","datavalue":{"value":{"entity-type":"item","numeric-id":5847741,"id":"Q5847741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$DD87C593-BEC1-461C-9E24-A1A35137B31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa297a0182d0184268d82198e0c7c53f04ef8864","datavalue":{"value":{"entity-type":"item","numeric-id":3523077,"id":"Q3523077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$E5F16C8B-1F1F-40FC-8667-9D579CCF293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cc2535177b059e2520f84b19ce3802492c59e0","datavalue":{"value":{"entity-type":"item","numeric-id":5284947,"id":"Q5284947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$E2475A85-AC4A-4E49-A880-2CE767645148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b2f70116abffc6de3d10b38f300653d0038b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3637171,"id":"Q3637171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$2505B701-F445-4A1F-93BF-BFE00752072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de043c2fded393780058ba357e13a6de20acdd7","datavalue":{"value":{"entity-type":"item","numeric-id":1762162,"id":"Q1762162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$60E47849-E247-436D-AE97-5E54B9919FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9366c82f8a71633f567b778add8be59a85724d","datavalue":{"value":{"entity-type":"item","numeric-id":3769963,"id":"Q3769963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$3F29DF6C-93C3-4F34-A0AF-80CC5AA41771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7103ac4ae9661e3a59f376e485915bd528d5cad5","datavalue":{"value":{"entity-type":"item","numeric-id":2467359,"id":"Q2467359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$C43B84D1-CF24-42C5-8978-583A7891C088","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":"Q5129999$13BBDFFD-CD79-42FA-B0B1-87D9CE833521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$4FB92734-96D9-438F-9AD6-743C962F8F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbacc3a7fef772d52c951c5d9837411dbe0dd14","datavalue":{"value":{"entity-type":"item","numeric-id":337154,"id":"Q337154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129999$539CDF5F-3F7E-4988-A200-C5E3273AE19C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d2f9e736bc2491756138cf46308a7d1b0e75bd6","datavalue":{"value":"10.1613/JAIR.1.11313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129999$2DAE0C8C-F049-4AB1-A788-2392B70AE469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b04b9a006032689e1f4f7894c6996e601adc953","datavalue":{"value":{"entity-type":"item","numeric-id":2467359,"id":"Q2467359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86c0de743d93ee6e02359a8e7f431f6f531f1f7","datavalue":{"value":{"amount":"+0.8084717392921448","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":"Q5129999$991E64D4-6F9D-472A-9538-D56AB3E7B304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0c9d3cb6ca2d907117aa4daba45ed61c8e64a1","datavalue":{"value":{"entity-type":"item","numeric-id":5960033,"id":"Q5960033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12583402a0d813acc2785e14abbdad1eb02cf1de","datavalue":{"value":{"amount":"+0.7986592054367065","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":"Q5129999$9037F246-A254-4A9D-A2D3-3C7127623D34","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":"378986a07e671cc3b284c8d60781f9090d770d61","datavalue":{"value":{"amount":"+0.7936006784439087","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":"Q5129999$72E34E85-DB59-454C-AE27-10229E840EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b7112b3908dec6af1355fb8b5df32cc3daadc7","datavalue":{"value":{"entity-type":"item","numeric-id":4015385,"id":"Q4015385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1d4ca421f74a154d1cc50cc51292b8a1e12d38","datavalue":{"value":{"amount":"+0.7750234603881836","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":"Q5129999$1057EDB3-D7E8-4B4E-8F1F-5372D1F8249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab340a50b77cc20f9dfe5c372931c3dccb304366","datavalue":{"value":{"entity-type":"item","numeric-id":325423,"id":"Q325423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bee283fd70d05736e0e095588977c0f17ce6a40","datavalue":{"value":{"amount":"+0.7527565360069275","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":"Q5129999$44D8FE7A-EB6B-4B76-BCF2-5D57E90B6713","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5129999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5129999"}}}}}