{"entities":{"Q3192078":{"pageid":3202786,"ns":120,"title":"Item:Q3192078","lastrevid":86634506,"modified":"2026-06-04T03:13:53Z","type":"item","id":"Q3192078","labels":{"en":{"language":"en","value":"Improving implementation of SLS solvers for SAT and new heuristics for \\(k\\)-SAT with long clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348071"}},"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":"Q3192078$78F26315-9CDB-4B1D-983F-8BECFBADDE2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"445b24181a50f5892522ace35279522a7412ac11","datavalue":{"value":{"text":"Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192078$B367048C-9134-4435-9EC4-24FF87F416B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d03a8fe94682e709b3c9338ce957a56292f6aef5","datavalue":{"value":"1423.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$70936D1A-35B7-4902-AAE6-E99066DC09FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4138131dd2613196d2c7f3e4fb317c2226f02df4","datavalue":{"value":"10.1007/978-3-319-09284-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$C54A3280-6174-4DC6-BABE-F2495BA05B32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77106a936d9d1e65bb827c4be3e293bb44718f6","datavalue":{"value":{"entity-type":"item","numeric-id":502387,"id":"Q502387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192078$BCAE37AD-CBB8-4001-8A3E-D521EF4EE590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192078$D7E3A714-D9C3-4416-B556-C7768599E546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbc891224517055fc3e79fc6a5600693bb594076","datavalue":{"value":{"entity-type":"item","numeric-id":504996,"id":"Q504996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192078$BD6DD21A-2B4F-4840-A5E7-236DFBE5D061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192078$84A22652-80F9-4E2F-A029-7FA221291527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192078$33044BAB-E64A-43DA-A4DA-7D6DB0ABCD38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192078$28197EF3-0EB7-4D58-B05C-AC5C1B93243E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$57B9E840-2833-48DD-A1F0-BAC670A2722E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$D2BAEBB6-8232-4FFE-91F4-50515EEC6C21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ba289cc29566c20bde5615f79370d86eaad711","datavalue":{"value":"6348071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$6488415A-100C-47C7-8E0C-6EA1BE6D9279","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":"Q3192078$968088DF-25A3-4264-BE83-9E8D7C6C854D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8177178201dc19079ed3246455cb213a48406c86","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09284-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192078$280E4F42-5B6D-403A-A800-76163B3B50A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"771b29ccf0e33e91fc208bd8a334bf11aaa445c1","datavalue":{"value":"W51584572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192078$A39E6674-F746-43D8-A933-1A86D0A3564F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09fc69c041de05fb6014402f380ff12e7b00e86c","datavalue":{"value":{"entity-type":"item","numeric-id":2929584,"id":"Q2929584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78907728b6f7a24c1d535ca8d625cddf4fce7b7","datavalue":{"value":{"amount":"+0.8143847584724426","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":"Q3192078$F973168C-7684-4DFF-8442-822C9D607C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d804c4d42ff9c398f873f98cc0a64ef3c7365","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f355f51c001855dd1299e67822e54510c4da04","datavalue":{"value":{"amount":"+0.7813801765441895","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":"Q3192078$1A149A6F-2A9C-4943-A1EE-A550C2ECA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2091400fca8f39d9ccd579ebd1adeca5c03085","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35513807022fe4e54421b4e9b49ee920070a8df1","datavalue":{"value":{"amount":"+0.7743710875511169","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":"Q3192078$62DDDD93-F934-44B3-A016-4D52576FFDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2286fbea96793d363f95c5b507743d7fdf2874","datavalue":{"value":{"entity-type":"item","numeric-id":3604003,"id":"Q3604003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a356052f7d2a1c3205db46ad280536e8f4ede174","datavalue":{"value":{"amount":"+0.7695742249488831","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":"Q3192078$928D5507-A69C-49AB-A156-E05F7AD24893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d045913713bfe1bf202fdbc1d63eb5d2ac912cc2","datavalue":{"value":{"entity-type":"item","numeric-id":2726305,"id":"Q2726305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92e31f162f21841965b1f004263fe2e7085c6c7","datavalue":{"value":{"amount":"+0.768362283706665","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":"Q3192078$661D3475-9D16-4F0B-BCEC-289E86B34BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving implementation of SLS solvers for SAT and new heuristics for \\(k\\)-SAT with long clauses","badges":[]}}}}}