{"entities":{"Q2434568":{"pageid":2445311,"ns":120,"title":"Item:Q2434568","lastrevid":51921758,"modified":"2026-01-20T13:22:10Z","type":"item","id":"Q2434568","labels":{"en":{"language":"en","value":"Complete Boolean satisfiability solving algorithms based on local search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255901"}},"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":"Q2434568$E6D9A735-8D6D-446B-850F-08604952C236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecc17d9ead16b02023beb7a3dc594bdff466f1ac","datavalue":{"value":{"text":"Complete Boolean satisfiability solving algorithms based on local search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434568$0B52352A-64D6-4888-A2D6-FF167321B7E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cd961ad3bce29aebd6af2145bba892690aed897","datavalue":{"value":"1280.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$5E044825-D3B0-4EC2-A852-B8E60CC75AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7ed5f00aedc28fd11ee0b18554123ae538b561","datavalue":{"value":{"entity-type":"item","numeric-id":364477,"id":"Q364477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$F6B28B20-D46C-46DD-90FD-E5A51936A250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1caedec2f74947a2d17e2400cfb77f2b4f640d20","datavalue":{"value":{"entity-type":"item","numeric-id":364475,"id":"Q364475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$54F1D912-F2E8-4ECE-A0F6-6092E232488D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$32F16DD3-BEB5-4691-BD32-4E5BE61F7EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919e6c3d25d4b31af34f9da4d9d9f2b8c84ebfe3","datavalue":{"value":{"entity-type":"item","numeric-id":293936,"id":"Q293936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$A3857A1D-C0BE-445C-8BAB-F6B307B0BC8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$DE4E39E5-F8E3-4099-B459-2D2A1B759B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434568$19F3DF89-A153-4947-9AAC-62824AF738B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$B5AAF991-271A-4C9A-A7D0-7C9D36051EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$881C5B25-5E15-46F0-88B6-0C406422B214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"039ad32a181bf2bad6dc72a2126637f9b515d10e","datavalue":{"value":"6255901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$34DD5437-F23C-4BCA-85BF-7D37C413F326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434568$E74F24DC-66BC-4265-B552-2ACF6CF4F3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc2200e6753c9189f7552cfccdd37b990254613","datavalue":{"value":"set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434568$3FAF8D58-0883-444D-B9DB-86131BB64CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5928c9dcfb061445431e40c46be3050e6d5dbf83","datavalue":{"value":"clique","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434568$744CF940-06D6-4292-BE31-70C3A9ED7FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434568$8220698B-A274-4070-BBD8-45355F1E3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b0b66892784be6eeae3755c6ebf440e3af6b0f9","datavalue":{"value":"complete search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434568$C4013680-C97F-4A1E-8559-E3A2DCBCF809","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$76C2F929-9F85-4912-A304-9986192EDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$D8A4ABD1-763E-49D1-90E4-38E7344A22C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$77FEC493-7D71-4210-8CF8-EAA7C373B366","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":"Q2434568$9EE37CC7-412B-4C5D-9F6A-99482D1454E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69350c952fe137000e27fa8151ec52286357d85e","datavalue":{"value":"https://doi.org/10.1007/s11390-013-1326-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434568$84B8C216-0FDC-4A9A-9AED-616D0794F031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94312ae119cbeab45f6f872458d164f2a96c0cbe","datavalue":{"value":"W2094668451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$EC452E0F-AE3B-4536-BA43-7CA4A59E656E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$47D77CAA-C3CE-488B-9369-CF1F0876B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72c5f7c74ae4bc87d57a854c431b8eba84c0231","datavalue":{"value":{"entity-type":"item","numeric-id":733288,"id":"Q733288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$64482C95-8D85-46B8-96C4-6777D6121760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225ec4c37fe2f0ca0a60526f07a624807bfcbf13","datavalue":{"value":{"entity-type":"item","numeric-id":848469,"id":"Q848469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$00FA8808-1240-4248-8F78-C33524EAB7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$03CA7410-A5B7-4C30-93DC-647A7E602322","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":"Q2434568$FFB385A6-BFE1-4272-A5E2-0C2CB7226F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$A6065691-1570-4A63-BD6F-A71006646176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$44D5A1FC-DF30-4192-A1C5-F9B326785C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$C63D0D89-14C0-4A01-A97F-FF552111B1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$D6467140-C615-4EE2-ABEE-ADBA628D04DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6fd1b7d8b3626d73270eac8a248c4a288fa63f","datavalue":{"value":{"entity-type":"item","numeric-id":2368999,"id":"Q2368999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$96748864-AB39-4F1A-BD9E-E38F6084916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$5776331E-FA37-48BA-9065-0EC2BA30D059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f568d2c0ededd70b422781a1a83617725b4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3004674,"id":"Q3004674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$88A31855-A8DA-405D-81D3-869D0B3577DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5873ecec7b9ec6530b9d33ae85b317b281796912","datavalue":{"value":{"entity-type":"item","numeric-id":5199174,"id":"Q5199174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$BD978EC1-E8BE-4EDA-A887-C582128C0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$621736D0-8D6D-4C9C-8696-6B72E7A2B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ee278d5fef6953ab772dea8f2d3142d70423b0","datavalue":{"value":{"entity-type":"item","numeric-id":3623999,"id":"Q3623999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$F59BDBAE-77C5-4B22-B814-602ECA9BFB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c843166377c42a2a7c16df5c93d8199ec2f8e","datavalue":{"value":{"entity-type":"item","numeric-id":646517,"id":"Q646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434568$6090F901-3280-4EE0-9999-56C6CEEDB9C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f91d07bd0a23fd10a8fe3b362a3933f06140cd21","datavalue":{"value":"10.1007/S11390-013-1326-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434568$F06A9451-3C9E-431A-875B-7A9D0E1B07ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a12490123d7cfc5286efd9e4bef35a387ac7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4475671,"id":"Q4475671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e18ef07fd0955b8fb8964ba91e1594af123b179","datavalue":{"value":{"amount":"+0.7971615791320801","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":"Q2434568$E4A07A4D-64FB-4C00-94E8-3F3253F7B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f615f8db8c9dc9048136ef0f086298856d63b3d2","datavalue":{"value":{"amount":"+0.7927303314208984","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":"Q2434568$E7C2611D-CA4C-4689-99A6-941638522FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba549b7e9d7396e9007492af641a429bdf4aa1a9","datavalue":{"value":{"amount":"+0.7894477844238281","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":"Q2434568$A7B00D4C-56B8-4FC1-8081-9ED1EB045D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28e87e8d8053e0c5773631e820ee87212e79fac","datavalue":{"value":{"amount":"+0.7894474267959595","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":"Q2434568$1DEBBE04-A122-410C-9D28-18293C0CF7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914f5ecb04d0db95abadc5f98de299555be75e24","datavalue":{"value":{"entity-type":"item","numeric-id":2511762,"id":"Q2511762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84919e62319127abf4497b338bdfb7db8bad826","datavalue":{"value":{"amount":"+0.7755693793296814","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":"Q2434568$EFA961A1-659D-4AB2-BBBA-11C33849F019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2434568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2434568"}}}}}