{"entities":{"Q862408":{"pageid":864256,"ns":120,"title":"Item:Q862408","lastrevid":64939083,"modified":"2026-04-11T23:14:07Z","type":"item","id":"Q862408","labels":{"en":{"language":"en","value":"Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118127"}},"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":"Q862408$710C0928-D0C9-4094-B2CE-727CE402F534","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"146b10df6094aec370dbb48cdb8d700467836a48","datavalue":{"value":{"text":"Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862408$E59C5A9F-AB46-4DFC-9D25-CB0D6F25E1F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70116fbc620d3d2e7752e3f7bf5b7827cd1ba4df","datavalue":{"value":"1109.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$5B94A72A-175A-4D90-A7BC-1AD8D5F9D7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65d327f6bb6fd3dba59894c9a73e7631265bf6","datavalue":{"value":{"entity-type":"item","numeric-id":835807,"id":"Q835807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$A1EA45F3-2E4F-4A96-AEDD-CD71EB04A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2851f000cdc6ffc3d9d6d27c84f851ae53943c","datavalue":{"value":{"entity-type":"item","numeric-id":862405,"id":"Q862405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$63FDBD4C-C675-4218-873E-992018321BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60bb4b65f330d2aad6a4b893b30f46a73a5ffc9b","datavalue":{"value":{"entity-type":"item","numeric-id":862406,"id":"Q862406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$A01B7DB8-FE93-413E-8E8D-E425E7AF066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"910b08c6245025a75a830514e51f5973905780bf","datavalue":{"value":{"entity-type":"item","numeric-id":862407,"id":"Q862407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$5F364CC2-566E-4801-AB8F-D52A6C434B66","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":"Q862408$7FC9422F-4C49-4047-9DFF-E45E575A8A72","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":"Q862408$202C707B-EDEA-4075-B81D-33665CA2C031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$6E2E68CA-F89C-4B69-AA61-71A52E4FC79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$36C7A364-6A4B-4D99-9979-2DA82A26B5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$B8B9146B-C212-42F3-9680-523B365328D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bd082fb889e209022aef36b288a13b9d065d240","datavalue":{"value":"5118127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$0F6BBA61-079E-4FF9-93D9-2D7BDDD0F54E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80696afcdf701e6edfe577ede13e13a05462d5b","datavalue":{"value":"search spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q862408$B0AEB9BA-DD1A-4554-A480-163E09342D89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$FC7B9BC7-2600-4D3C-882E-FDDCE95C8723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$18F991A3-4D4F-4F9E-B791-8597E954B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebd67a4ccc2bf86a9f3ea1786e3ee2f38f950f1c","datavalue":{"value":{"entity-type":"item","numeric-id":16950,"id":"Q16950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$E868A35D-39F3-488F-923A-425CC20D0A97","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":"Q862408$E6E3312F-1D57-4B17-BFAC-7A0F2A5271B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e527116641af5dfb62cbb7d2db35407ba10b1765","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9011-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q862408$F46D6019-FE50-40F8-AC07-36ECED87D776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f2230e60cc7fd53893000280aea131fe3ca80b","datavalue":{"value":"W2144163060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$846E134C-C527-445F-B06E-F88982C97EFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbb870ce4ab73fc93c4890c4e769dfd57d97e79","datavalue":{"value":{"entity-type":"item","numeric-id":4262997,"id":"Q4262997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$D46E3547-0BBC-4FE6-8CCE-5923BD64C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778898c032a610b169057aea411be0938160a652","datavalue":{"value":{"entity-type":"item","numeric-id":4938415,"id":"Q4938415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$8D6734B3-E8D1-4956-B164-AABF9C5D6AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b5f1a9f3826707511e542fe01cc3e5593afa39","datavalue":{"value":{"entity-type":"item","numeric-id":787671,"id":"Q787671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$4B5A7BBA-639E-4368-88E0-5A377FDB3DBA","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":"Q862408$893775D3-0CA6-44D5-973F-566CD44AF87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df61c4df8f812c83e621e524aa24458422ccaf1","datavalue":{"value":{"entity-type":"item","numeric-id":2741510,"id":"Q2741510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$20064D59-E48B-4B5B-B6B1-5277AC2C43D2","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":"Q862408$50661B06-2BBA-4F2E-9757-71060031C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e9cad968c84cdbf2d5746b8263eac8534e41f8","datavalue":{"value":{"entity-type":"item","numeric-id":4386960,"id":"Q4386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$2FEA682E-93FA-4D9E-BA28-3CC222E30473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92df53ed2c54541d303ecc492b2769f12b1030","datavalue":{"value":{"entity-type":"item","numeric-id":816678,"id":"Q816678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$5F52B99F-8FBD-4336-B204-B77B53A194A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c4b132e219a208984e4336d39c7fb01c83e542","datavalue":{"value":{"entity-type":"item","numeric-id":1301506,"id":"Q1301506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862408$6136D8DB-EFE1-41DF-A040-F12162FD6196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c70e03ce06d8dbfb39ac5a0706beea4d5556580","datavalue":{"value":"10.1007/S10817-005-9011-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862408$20A0FE61-AFBF-4C8E-803C-A9FBA95AB2A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca09810025d84a7da9b2000399dff476fb9870f","datavalue":{"value":{"entity-type":"item","numeric-id":4386960,"id":"Q4386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26458d1ce14dc6b50c511edfb483867a19412266","datavalue":{"value":{"amount":"+0.7842435836791992","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":"Q862408$FFBC2849-79DE-4A66-A118-F923F7B238FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd3b0a6373181775612ebdd9fa714197beca33f","datavalue":{"value":{"amount":"+0.7825149297714233","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":"Q862408$0AB4D47F-5FA2-432F-BFB1-7A428067F36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a8e8963d2bac0eef235ff8c830e096d2da8ddc","datavalue":{"value":{"amount":"+0.779581606388092","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":"Q862408$A27D989A-C3E6-4A9C-B336-C3E4F77DAAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6005c5d067bf30c4733a3207e1a4b496ed6ff666","datavalue":{"value":{"amount":"+0.7782657146453857","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":"Q862408$78341C9F-A8DF-48E8-9E7C-E8BCDAF9B394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d06f3af90f8dd920640dd30f0ac8b5dd6c95407","datavalue":{"value":{"entity-type":"item","numeric-id":2749856,"id":"Q2749856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2b72ec488a495784f53a0de46290db1927d07b","datavalue":{"value":{"amount":"+0.7759820818901062","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":"Q862408$DABDF47D-EE70-4734-B04A-11AC40D6CE94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_non-Boolean_satisfiability_problems_with_stochastic_local_search:_A_comparison_of_encodings"}}}}}