{"entities":{"Q2467359":{"pageid":2478102,"ns":120,"title":"Item:Q2467359","lastrevid":50257229,"modified":"2026-01-13T16:18:15Z","type":"item","id":"Q2467359","labels":{"en":{"language":"en","value":"Another look at graph coloring via propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5228814"}},"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":"Q2467359$3CAE7FBC-5602-417C-BF1B-22B376E9D357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"856eaa69d4b26b74587c80c1fa6f1ca39e110362","datavalue":{"value":{"text":"Another look at graph coloring via propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2467359$2F940814-F08E-48FD-B63B-DE5B9DF3FFFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31915f3bbe93045f2f6f78ca0b0b129a4cda0860","datavalue":{"value":"1131.05090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$3D1C08CB-9B37-42D4-8BB9-51BA1F270F75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$7D2B76A9-6A7E-47DA-B994-541B66F2D567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2467359$3B497BEF-B2A3-4EBA-88B5-1FB2D2B8F797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$D9B18336-05B9-460C-8A27-4564479C6019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$E7DF05D8-9BFD-477F-BCB1-4BC9A0D58957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$C7385292-17B7-4F72-8154-1D5BF1046ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$059AD18D-7CB1-4C61-AAE0-8FF59555D522","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f96cdb408044b566aae50356dbeb8064332771","datavalue":{"value":"5228814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$2DC25972-EC73-4B37-A62E-45A1D07D00A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09726da53e95ae004a19637083ed8dc4eff896f","datavalue":{"value":"graph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467359$7DD74E20-6ECC-400C-B5CC-713C8981CE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467359$71D0EFEA-13FE-4AD3-9710-E3BC60E95179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467359$236E0314-668B-418D-974D-C3AEFE2F9AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467359$58B7BD20-A6A5-4B9B-B61C-D9AEBEDB4975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18667d18078fcc5e4e7964a49138417384d66c73","datavalue":{"value":"independent-set analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467359$69A5913A-BBA5-4FF9-AF6D-093299F53A44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$3C93677F-7134-416B-954D-F474999526B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$4FADDDD5-0A5A-446F-B0F4-7437577B9340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$9DFF28E5-DFC3-43E3-9A06-FE6AE4E064F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65af1323cd7f5fe68e7d99699d9a05eb8261df73","datavalue":{"value":{"entity-type":"item","numeric-id":12938,"id":"Q12938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$CF78CC0A-FE94-4B86-836D-C26536E02A56","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":"Q2467359$97C490AF-5847-4566-8125-5F95455A7B76","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":"Q2467359$00AFD976-BBEF-446A-B93D-12E88A84A19E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a869684eb56958e18ba26edaa99845fb97069ab6","datavalue":{"value":"https://doi.org/10.1016/j.dam.2006.07.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2467359$A4AF80AD-341A-40EA-9132-756FDD08F265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c26a62b1354b90ce5dee620aae16d416e437d3d","datavalue":{"value":"W2030455524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$1226D0A2-C90B-4229-AB55-7EFE1BAFED04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f389c73aaebe35365daa9fdc48339b97d432f8","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$31E0E7BC-9610-4A90-8ED4-E24528FA4F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69684a1a242f54dae546d013f614667556966","datavalue":{"value":{"entity-type":"item","numeric-id":5958809,"id":"Q5958809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$CA091AD9-DE71-46F8-B962-DC7E0E3B1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$4D9F3D95-B67B-4011-9394-E87B2FDE2844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f099c8af7b6bae04f2637cc914f5615498541c4d","datavalue":{"value":{"entity-type":"item","numeric-id":580987,"id":"Q580987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$19DBC8C1-DE10-430E-8114-4F5174CF965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfda74a5e3456595b90f5ea3d773ae39f7573f5","datavalue":{"value":{"entity-type":"item","numeric-id":2467363,"id":"Q2467363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$D78AB94D-AF5C-46F8-AD31-5C90EF785A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9c86360d4b592a623a32491be38570987dd4b6","datavalue":{"value":{"entity-type":"item","numeric-id":3978838,"id":"Q3978838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$F5FA3BA7-4774-49AF-9A73-3BF65D22E1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32669c9303b6fcfce30a867e0ec9585dd818044e","datavalue":{"value":{"entity-type":"item","numeric-id":3878752,"id":"Q3878752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$E7C621A3-DC96-49BD-A9C0-187EFD9F9470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$0764BD73-578E-4A69-A319-D5B46BAED493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f59db515c43f4547f4a98d1e0724be14239051c","datavalue":{"value":{"entity-type":"item","numeric-id":5687261,"id":"Q5687261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$33BE13A8-6202-4822-9AFF-F48C5A1374C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$A5B87350-7732-4C35-AFB2-D4F116A8FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170963b3c4301834938ec13f4ea361599193a395","datavalue":{"value":{"entity-type":"item","numeric-id":1160497,"id":"Q1160497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$EEFA586D-6042-492B-AA79-573B4AC6BCEC","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":"Q2467359$A45417BF-E95D-4464-81C1-02D58BFC1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06844938098368d2f2cf613285d701ed35dce312","datavalue":{"value":{"entity-type":"item","numeric-id":5687269,"id":"Q5687269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$4F1A9111-D76A-4370-B9E6-34D5CE0D393D","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":"Q2467359$173F61AA-8F7F-4ABE-801A-7636A8584307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6a82db298b5163e0ed17489122547c8492c15","datavalue":{"value":{"entity-type":"item","numeric-id":1808886,"id":"Q1808886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$1B7B535B-A99C-4FA2-A32C-53D7F1B74984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$7AA43C48-B865-4F5D-A54C-EA9BB2AD6E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467359$4DAC0189-9E77-468E-A6A5-B23E4E08B2F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e33be6e0de5841561047d000cddda4216c1dedfd","datavalue":{"value":"10.1016/J.DAM.2006.07.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467359$FBDD7BEC-6E63-4101-BE72-36713736DBC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e0b66ce970443d035a02d7b5f19536b05ddddd","datavalue":{"value":{"entity-type":"item","numeric-id":5129999,"id":"Q5129999"},"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":"Q2467359$CC82DC8A-6C7D-4EBC-84DC-84C68D140CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a604f0275d9723a1aa6552d4af54dd5bdadb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5325854,"id":"Q5325854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ace45e524d9691d5a63977204884f92015c149","datavalue":{"value":{"amount":"+0.7739003896713257","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":"Q2467359$19B8233A-C163-48E9-AA54-9550585A9D61","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":"58ebecb0799253a39bec882c6b32a24ce550779e","datavalue":{"value":{"amount":"+0.772055983543396","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":"Q2467359$580937D2-99F5-4C54-BAF5-0054A0D6E388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a7f166cc9053b7b5b5e71d73893065086bbf61","datavalue":{"value":{"entity-type":"item","numeric-id":3515552,"id":"Q3515552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6db57f57b6f1b8c62763a4648cc7ac6b9e57c7b","datavalue":{"value":{"amount":"+0.7643283009529114","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":"Q2467359$85FD727F-2422-4952-971A-5DE7BF9ADC82","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":"003e246afd4b610f51cd0a3a6acc23da32a97594","datavalue":{"value":{"amount":"+0.7531706094741821","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":"Q2467359$AF45BA54-FE75-4140-A557-2DDFE0874A07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2467359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2467359"}}}}}