{"entities":{"Q2741514":{"pageid":2752253,"ns":120,"title":"Item:Q2741514","lastrevid":82920725,"modified":"2026-05-06T22:25:03Z","type":"item","id":"Q2741514","labels":{"en":{"language":"en","value":"Exploiting the real power of unit propagation lookahead"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642913"}},"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":"Q2741514$665060B6-3771-427E-A1AA-61CD85C224F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"204edecd0839e7f32030189db8e39265e085793c","datavalue":{"value":"0990.90538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741514$E58AB1C2-C480-4B7F-A4F3-15EB098B3177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$B28E53DC-5895-4612-A6C3-7DAB833CA9AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-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":"Q2741514$B0F5621D-9134-4609-B92D-3AE7B18F8735","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741514$49C993AE-70B7-40D0-BAEF-26CEA0E684A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2add11c62ab570d36de11de83ed26db77869cdda","datavalue":{"value":"1642913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741514$15809824-F615-4304-8BE6-3E66A17122D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb50257a06a2881586a428b964e447711f9462a","datavalue":{"value":"random 3-SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741514$BC58BD0B-646E-463A-9F39-7E2B713C3504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741514$EE2203EF-D512-4187-91F7-175A3FFBA90D","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":"Q2741514$40F851C0-2926-44A6-A852-48264722156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593225e35565bc9b6cbd92dadddd5563d424d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":14294,"id":"Q14294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$ED3436CA-DA4C-4412-9B9B-91EFBF2E036A","rank":"normal"},{"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":"Q2741514$F96C59BD-8217-4B06-86C5-62688587F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$9ED2A43F-D352-4094-8303-3318082A3EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$867D04F2-B9E7-4A1D-AAB5-A9D9B7EE5FCF","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":"Q2741514$5C6EE662-BA2F-4F76-9DF6-07052F423F1C","rank":"normal"}],"P223":[{"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":"Q2741514$2B4E6EA8-EAD9-43A7-A95D-A3AA2AF2B72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$EB3B1466-15A3-4644-B377-B9C4C6676B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7248bca5c2b687d3ef261e8152721d8a7b152972","datavalue":{"value":{"entity-type":"item","numeric-id":1606970,"id":"Q1606970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$2E362FE0-429E-4CB6-A290-EDB69097D74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6d3551c28e8173d291f95019cf63f4ea7788b4","datavalue":{"value":{"entity-type":"item","numeric-id":2749861,"id":"Q2749861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$928C77C7-5A03-44C6-9A9B-B1259C02C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aef64f32a1f6169822d7a18205bc079ffd78669","datavalue":{"value":{"entity-type":"item","numeric-id":1306378,"id":"Q1306378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$18CAB3CB-402E-4D2A-AA7D-828D28DCCC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$B7F03C88-9C32-4769-A803-117F63995C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69486fdb34f0eb723c7f222bd4001be9beba14ca","datavalue":{"value":{"entity-type":"item","numeric-id":2741519,"id":"Q2741519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$A55BB9E8-B94E-4C5C-8FAD-19CFA534522D","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":"Q2741514$955F56FF-A2D2-4F4C-8998-D98F1898BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6165c4e5652373c9a4ec8825c15a254574d436","datavalue":{"value":{"entity-type":"item","numeric-id":812442,"id":"Q812442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$ADAAC120-2F05-4E44-88B7-82E62C898897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16da6a005279aad4f92e874047aa7b3c0b99bab1","datavalue":{"value":{"entity-type":"item","numeric-id":2749853,"id":"Q2749853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$1512BCDB-119F-4B42-A736-65BD03E2037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$F77E82E2-7611-4B26-9292-E64915B50025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$E81DE52D-8DBB-4BE4-A5D8-38BA665A0B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0615432fe2dfe8bbe07ba56634ed95d0e319cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767071,"id":"Q2767071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$D372C0BD-9F71-44D0-B58B-6B8E21524FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d15a265400ee74b7ccc90f74849e6820eee631","datavalue":{"value":{"entity-type":"item","numeric-id":5687246,"id":"Q5687246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$509AE73B-B788-4C86-975A-F8742F5DEAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35acb7c065d2a9d2147e073cef035eae32034dca","datavalue":{"value":{"entity-type":"item","numeric-id":2703800,"id":"Q2703800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741514$38286C6E-95E5-488C-BC0E-7DACBBC8A75D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070e34f034a59592f46396d42059bd85ba31d9c8","datavalue":{"value":{"text":"Exploiting the real power of unit propagation lookahead","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741514$CF1890A8-A7CB-4AFA-B2E2-A67334D8E906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3733f244374839fc2fd1581a73ceb8a6ea7c5beb","datavalue":{"value":{"entity-type":"item","numeric-id":5714768,"id":"Q5714768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8123e39514cbd3b39226326b711f3d084e62c15","datavalue":{"value":{"amount":"+0.7745888829231262","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":"Q2741514$75882AE6-0EC7-4A0E-A35B-7D2205A28105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2374a2b61111aafb778e9d4d1989dfbe912dcf70","datavalue":{"value":{"entity-type":"item","numeric-id":1408382,"id":"Q1408382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68449462a6c43aae40b3a09c8264885a6a531a1","datavalue":{"value":{"amount":"+0.7600192427635193","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":"Q2741514$E837DE69-F0AC-4650-A5D3-B7837D9E0D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65aae908913d128310ac4781a202abd635cf85b7","datavalue":{"value":{"entity-type":"item","numeric-id":5479293,"id":"Q5479293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a8553cf2b4cb1789e8f965e9629ac40ffee49c","datavalue":{"value":{"amount":"+0.7576307058334351","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":"Q2741514$FF693F93-FF73-46E2-9FF7-7F8662EF78EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d557dd02ebdda573912bef891552f24e70ec3e08","datavalue":{"value":{"amount":"+0.7544900178909302","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":"Q2741514$6F873AFB-5FE0-48B0-88AA-5FDB716E8DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbf705985e241aef351e0883d41dfabcbcff633","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe9bedcc113370d98401c15e7fd7b4d9d69cda9","datavalue":{"value":{"amount":"+0.7544376850128174","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":"Q2741514$3EC8BD4A-5CB6-4527-9E41-73554C7C5964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting the real power of unit propagation lookahead","badges":[]}}}}}