{"entities":{"Q6489458":{"pageid":14068227,"ns":120,"title":"Item:Q6489458","lastrevid":55636744,"modified":"2026-02-17T20:08:06Z","type":"item","id":"Q6489458","labels":{"en":{"language":"en","value":"Maximum clique via \\textsc{MaxSat} and back again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835254"}},"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":"Q6489458$C5864C6E-78CB-4B09-96C4-5200DEBDD66E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b660584c7709ba4f8457010953bbe96660b80255","datavalue":{"value":{"text":"Maximum clique via \\textsc{MaxSat} and back again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489458$7D606FF4-CAD8-4B95-A9C3-CA872F109EB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b10618a73a00dcefc1f8f84dca034d7c8d6d9b48","datavalue":{"value":{"entity-type":"item","numeric-id":1671299,"id":"Q1671299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489458$EEBF1806-9428-4F25-94E6-D40D2747586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e939fff3aba61699dd1ac1932792afb26351be9d","datavalue":{"value":{"entity-type":"item","numeric-id":1671300,"id":"Q1671300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489458$4A490488-F531-43BD-908D-3BBD827177E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33b9b7c7ef05dcc4c5bb0ecbfabe8d9c557ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":6489427,"id":"Q6489427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489458$B571788D-0B01-486B-BB02-1773F5EA8C08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a25409a997e6237325d57b101661bd1ebbe21028","datavalue":{"value":{"time":"+2024-04-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":"Q6489458$8FF2B3E3-F0AF-4D79-ADE2-7E402F099EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489458$2140CFC3-74B4-40D4-AE44-6085430815CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0436e0f3d6e549b48981c4937c740588c2751dbb","datavalue":{"value":"7835254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489458$FE6B2D00-6106-40EA-A324-E8DA26B8AC8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a181c7b2997b4e3846dd20fd7f7cfe8269ff11","datavalue":{"value":"maximum clique","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489458$3CF3DC36-31D1-43DD-A798-D274E8A209F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a09ea2d49094b5a5be4e765f41577646cd4498","datavalue":{"value":"exact solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489458$22B5A429-D840-4427-83DD-64DAB05F4B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc6164cf25ab131dbb818bbd16bab28b6f9d095","datavalue":{"value":"branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489458$0CB80C72-57DE-4E5B-A762-9469E90B0665","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":"Q6489458$414A9700-02C0-43D8-AA92-15156D90D0EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771b00dc9b3c22f347d86c8ef3b89623dc74a103","datavalue":{"value":"10.21711/231766362015/RMC4418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489458$BF460D1E-EE67-4387-8563-D2B330B2E4BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c71f638b18d067a2fd24ba8d2cb0186d139b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2249809,"id":"Q2249809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383afc40f047daffdba4ae857cab790ad0f61865","datavalue":{"value":{"amount":"+0.8322474360466003","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":"Q6489458$A00D4464-B551-474B-8879-E6BB93F2D46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691283aad9612448def822d46ffe3cacc9a3dc72","datavalue":{"value":{"entity-type":"item","numeric-id":342100,"id":"Q342100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7be6d383b2bca98b4005def5ef8c7eaaf1a20c","datavalue":{"value":{"amount":"+0.8300070762634277","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":"Q6489458$2A887AB7-F060-4218-9647-22DA5E3A792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc89b1420d5375fd6958bd33851502ca0195c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5131716,"id":"Q5131716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be11a67147d886c433503742dbf396d1bc19b196","datavalue":{"value":{"amount":"+0.8267759084701538","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":"Q6489458$8FBED2AD-3D1B-4D75-B86D-E7BD7C4DFD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ae5f982dd7204e07414846ad16cac565afc42","datavalue":{"value":{"entity-type":"item","numeric-id":5282985,"id":"Q5282985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a21bec190777bacf13ee8946db8632f32ab2500","datavalue":{"value":{"amount":"+0.8186628222465515","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":"Q6489458$309820A5-3011-46BF-992E-3C5B576C933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7474712dc4b272504b93c4509fb19c294e878f67","datavalue":{"value":{"entity-type":"item","numeric-id":2800956,"id":"Q2800956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a56d7c3a40e210f5c459cf567872c833f6da6a","datavalue":{"value":{"amount":"+0.8173204660415649","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":"Q6489458$A38B3F7E-E224-4902-A079-BDF429D76334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6489458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6489458"}}}}}