{"entities":{"Q2749860":{"pageid":2760599,"ns":120,"title":"Item:Q2749860","lastrevid":83054642,"modified":"2026-05-07T05:45:57Z","type":"item","id":"Q2749860","labels":{"en":{"language":"en","value":"Resolution versus search: Two strategies for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664317"}},"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":"Q2749860$17A7588B-A732-4314-92EA-62202203A569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fafa364d2ce160cf4444e8b7e5433799767068e8","datavalue":{"value":"0979.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2749860$5254FFCF-4399-424C-9B9F-5109B1609BC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74025f2d7e91bc11a1e64839cedde01947f89f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1977759,"id":"Q1977759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2749860$29812828-CAA9-4972-BD61-1E7581A5FB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"460eb0ad62dfb02500155a265d74683a6914d8f6","datavalue":{"value":{"entity-type":"item","numeric-id":513335,"id":"Q513335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2749860$C4DC92AA-2B62-49A4-9E95-771885DDB128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2749860$40AA3F1C-D414-43C4-B607-4B2EE1B85290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2749860$0985F582-473B-486E-A3E8-36598D0BD80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2749860$6B052588-CC54-45C9-8BC7-59D233ED147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2749860$2FCB69F0-D7C4-4785-9000-5BA74C134219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d60e5102639a6e8a49ba9cc7a2c2d5e4f056b4e5","datavalue":{"value":"1664317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2749860$88CB97EB-2149-4B77-9CEE-4FFCBCED6C7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2749860$9E13E5FE-4A87-4DCB-A1FC-40FB5943903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816351d55e9a8764269b13f117748f44f9e51eb4","datavalue":{"value":"backtracking search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2749860$0D45C7F8-808F-4B48-85B5-BD8CC1BC2067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95529ce3433608bf3bd5ef570986b0f71bbaf033","datavalue":{"value":"tree-clustering algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2749860$4AEBBC54-BDFD-4D32-9FCD-B2708FDE9D8C","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":"Q2749860$A86A348B-B61C-4841-B054-9DAD5CA8089A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a64526f09ca02b090760e8eda5bbd1ff78dd5df","datavalue":{"value":{"text":"Resolution versus search: Two strategies for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2749860$04D2C260-E5F5-472F-A708-3924B33F3721","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcfb87ff65e9e063c60079d0ee694934c4f5ec1","datavalue":{"value":{"entity-type":"item","numeric-id":1977760,"id":"Q1977760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d3a62f5c144365d86c056810c5871a6dbf5da4","datavalue":{"value":{"amount":"+0.9971144199371338","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":"Q2749860$A8C0F73B-5207-49AB-9D29-F57F8948D036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56347146c4c941ab2928ad204945138f7f5a7ddb","datavalue":{"value":{"amount":"+0.8365429043769836","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":"Q2749860$37F8026D-AE20-4142-BACD-50856CD43990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bec32d6955e1d8008477cbf6193e9a5cc09d45d","datavalue":{"value":{"amount":"+0.8184503316879272","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":"Q2749860$F1F4EBC6-3301-4841-8A90-025F970D4131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081a91ec3920e66a95c7c1fc921e945b90a39cd2","datavalue":{"value":{"entity-type":"item","numeric-id":5687275,"id":"Q5687275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bec32d6955e1d8008477cbf6193e9a5cc09d45d","datavalue":{"value":{"amount":"+0.8184503316879272","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":"Q2749860$81CFDC8B-D07D-44FD-8966-416465806BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f93627474e993f21d9e9e82ca58e57f0832b75","datavalue":{"value":{"amount":"+0.816335916519165","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":"Q2749860$2FBBDD97-AA52-4B91-8E2B-C7BDE5CF4DE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution versus search: Two strategies for SAT (scientific article; zbMATH DE number 1664317)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_versus_search:_Two_strategies_for_SAT_(scientific_article;_zbMATH_DE_number_1664317)"}}}}}