{"entities":{"Q862404":{"pageid":864252,"ns":120,"title":"Item:Q862404","lastrevid":64939056,"modified":"2026-04-11T23:14:07Z","type":"item","id":"Q862404","labels":{"en":{"language":"en","value":"Clause weighting local search for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118126"}},"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":"Q862404$53DBD54B-27D5-41BC-8410-C1CF96079420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d8b85695c1df93255aa89e645e8cf6f551d130a","datavalue":{"value":{"text":"Clause weighting local search for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862404$312CD4FF-D1B0-4594-9521-16DE6C52DA6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a808fd624ffe3014d14907a40ced53b077c7ff2","datavalue":{"value":"1109.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$3F773026-05BF-49A0-9ECE-B1E47F885D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$30C66359-A66D-4912-B1EB-9946E0C1C54B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$8289A730-CD5E-47FA-A13C-0800FB24CAB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862404$B4F628A5-DD27-4641-867E-EA0D0F8498A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e4b0ab91a12967b049870ad1a4d862eb5866049","datavalue":{"value":"http://hdl.handle.net/10072/13781","type":"string"},"datatype":"url"},"type":"statement","id":"Q862404$629A20B0-332F-40E0-A4B6-9A20447A4719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$863E8881-CD3D-4C7F-A147-8DE00C6584C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$2ED00046-D903-406C-9310-944FB9B0BA69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"544ac49eca64a6093d226ba553a8a8a3b94da0bf","datavalue":{"value":"5118126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$A35058F2-F373-46B3-BBC1-84C147C955E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7394b492415778b8408274fe24b12dbcbb9a8d54","datavalue":{"value":"propositional satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q862404$A82BE94A-7010-4C48-B75D-8AFD16DA8F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c570c4f4f5a992dfb93df761724f95c0331abb","datavalue":{"value":"multiplicative algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q862404$ED1E843C-387E-409B-BDF6-847DEEF64A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac75d86cbc78c4365dd81f67fcd5dd3e9fe836","datavalue":{"value":"pure additive weighting scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q862404$05D37541-3510-40FD-BB71-C21F00FC8709","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":"Q862404$4E5AD050-93EC-453A-AEDC-750C2B632ABF","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":"Q862404$5D6A0F99-3B7E-43E3-8849-3E6939A2559F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ed983fbe15f6667a18abbd39f6460f96a73cbc","datavalue":{"value":"W2027789671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$D02D8674-5F98-4C85-8C04-9E500AA18DBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"613599edc92e38a46f3320b4b5514096fcd17234","datavalue":{"value":{"entity-type":"item","numeric-id":3850361,"id":"Q3850361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$63659C95-E0A2-4A12-A524-6CFE44755E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$EE399B49-0ABF-492A-A33E-3FF7A6C6F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e187f0f34133956205003a6e9a63d0cf7fd796f6","datavalue":{"value":{"entity-type":"item","numeric-id":5325854,"id":"Q5325854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$58EB6E17-0163-4647-A46A-947210621CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc73231be70fd5400391e67f48047e0db92de2","datavalue":{"value":{"entity-type":"item","numeric-id":5958635,"id":"Q5958635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$E41B6DB3-FBA9-431A-9460-1E518D11D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d02d1ea3c025df6a57e4eb8432aceff8f23709","datavalue":{"value":{"entity-type":"item","numeric-id":1383842,"id":"Q1383842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$9535838A-121E-454C-9B66-2194E7B1D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f71f92628d4dc8d70c86e8b7a8743922ee7509d","datavalue":{"value":{"entity-type":"item","numeric-id":4415201,"id":"Q4415201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862404$5B7C3BC9-5932-41C8-8D76-CEAD658334D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d7bb96dc1270bafc2bd2e0d15e89132dca610bf","datavalue":{"value":"10.1007/S10817-005-9010-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862404$6B81E78B-D558-4F55-9894-4C88D50C3EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e697bcd4a429a77b12d7f36c322d00716285c6","datavalue":{"value":{"entity-type":"item","numeric-id":5898025,"id":"Q5898025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf88245101b40e153de24499bc7722576b3ced4d","datavalue":{"value":{"amount":"+0.8508687019348145","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":"Q862404$97F684AE-583C-4C94-990B-26301568E4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fe5688f54aded851155aee6d26739fe0cb0d95","datavalue":{"value":{"entity-type":"item","numeric-id":5191587,"id":"Q5191587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a723745e31acc4fa7770976813d4f7eb6047111a","datavalue":{"value":{"amount":"+0.8414863348007202","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":"Q862404$71F67D0E-D202-46B9-A9D4-45C1ADF05C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cf4a570c0cc94b1718307651f18fc52f7300b7","datavalue":{"value":{"entity-type":"item","numeric-id":3524223,"id":"Q3524223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9c06baeb9eb99cc3f8f5eeb7d74a552af8df59","datavalue":{"value":{"amount":"+0.8401826024055481","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":"Q862404$CEBE3193-D3CC-4145-84E4-1121C0389683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22016ece96d14cdab03f811c5cfd9c067a406f35","datavalue":{"value":{"entity-type":"item","numeric-id":5713711,"id":"Q5713711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afce41b764d8666eec1d0d4b4067ab5d478207a","datavalue":{"value":{"amount":"+0.8334805369377136","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":"Q862404$2203F450-9F07-4480-8B7D-BE54A658149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35d05ea68e1553966e87beef89eb3494d1000f7","datavalue":{"value":{"entity-type":"item","numeric-id":4415201,"id":"Q4415201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76d0f8c4e1d61fb756d51e115b0262bf5375467","datavalue":{"value":{"amount":"+0.826604425907135","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":"Q862404$F5A5206E-F264-48D0-A943-E0C209FBDA4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clause weighting local search for SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clause_weighting_local_search_for_SAT"}}}}}