{"entities":{"Q1978252":{"pageid":1988994,"ns":120,"title":"Item:Q1978252","lastrevid":82349546,"modified":"2026-05-06T20:41:32Z","type":"item","id":"Q1978252","labels":{"en":{"language":"en","value":"On the complexity of choosing the branching literal in DPLL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454128"}},"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":"Q1978252$BB4F266B-BBB7-4417-A836-14111DC4C77E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4736703f4a2ff1e2ac780c858bb33ddf507df0a5","datavalue":{"value":{"text":"On the complexity of choosing the branching literal in DPLL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978252$D8F33847-DFA4-4FF5-83E1-642299F5DB2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f23e4e9def0e0d2c965dc06d3aeea03c39dd6b","datavalue":{"value":"0939.68646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978252$E72BFDB9-26AC-48E7-9D22-AE2B8DE01A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9909ee356fa24802fbef2c3645d5ec7eb9a18dac","datavalue":{"value":"10.1016/S0004-3702(99)00097-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978252$DBB407BC-FD6A-477A-8731-586CB926A1B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$E8DFEFF0-3C8E-472C-B157-C267C9C92E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$D34CC445-F53A-47EA-AD14-C8256A7E14AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978252$2F7DBDD7-12D8-40E4-AA82-2AE63A3BD37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978252$B3B7FE68-11F5-44FF-B371-2F80BB50A0D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4db24cc7a817e16161b483577f256067b69bacdc","datavalue":{"value":"1454128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978252$96EC32FA-2CE4-4923-AC99-026E4B250630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4c23ee9323cc5007fffca3f350f0c99c491297","datavalue":{"value":"Davis-Putnam","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978252$9D047DFB-9F1A-4DB1-8A83-06987D8F9336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978252$539E6DA6-80CB-422C-8DCC-6703333DA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978252$7C2D1981-69A7-401E-8674-492C0FE233BE","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":"Q1978252$1A81D445-7CE3-45C8-B706-CE85059BC83E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$55694D6B-789F-405F-A6CC-AA13A7ECB37B","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":"Q1978252$31A36FDB-20B3-4884-AA8C-9DFCD4B401FB","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":"Q1978252$55C9B151-BF4C-4C6A-ADCD-9C259508BD1B","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":"Q1978252$DA2E9354-AAD3-4DDF-9AEC-05162C1F55DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ee378a41d931cd10f216e48f4b910155e1a89","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$BC70B2E3-E2F5-42FE-901C-CB65892E02ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$D8E270A2-DE7B-4876-B0DD-7DDE9C99EC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15d91d9a0ac405e30ee858064b76a8a4a03a730","datavalue":{"value":{"entity-type":"item","numeric-id":1281405,"id":"Q1281405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$21293CC4-5242-4D2A-8D60-1401A45A96B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978252$6C06C0DD-2321-4C77-BFFD-A42CA9E7E0FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16518b5de6d2c799ab9f0c33be41f2ed0756bc8d","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(99)00097-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978252$12D421BD-9C9E-4022-93BB-C7750D5BFCA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eb9f4364926a020471af89cd034a1ac7863eea4","datavalue":{"value":"W2057832617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978252$9DF685CD-D5AC-4CB1-92E4-0F6FE1B4DF7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f2db8e03bafd8eeb63f2c8eff2d8e0dbf0a58b","datavalue":{"value":{"entity-type":"item","numeric-id":5277743,"id":"Q5277743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedc975dded6297aa52c9032cb242e061e25d738","datavalue":{"value":{"amount":"+0.9085412621498108","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":"Q1978252$5BB70B83-7E52-4A2B-A8D7-4CAB20DE1172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf525a1ec6481a2fd62e31d4f6812bd5672e78a","datavalue":{"value":{"entity-type":"item","numeric-id":1281405,"id":"Q1281405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b86cc57fc88442e501798653561c9c0780ac94e","datavalue":{"value":{"amount":"+0.8406407833099365","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":"Q1978252$04BF7D39-6336-4BF5-ABE1-2FB61732E8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9418863af074efd172cb3ea566f4ff571cf982","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84544b1b1b44bb73c75d77eff961c7e637c35d36","datavalue":{"value":{"amount":"+0.7884296178817749","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":"Q1978252$C79A077B-6D82-418D-A1D6-E3DAB24E9BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597976cc9d08add5ea9a305a013a4714fbc8f4c4","datavalue":{"value":{"entity-type":"item","numeric-id":2741536,"id":"Q2741536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e121ebff0f886725127626a13f60581b3797c8d","datavalue":{"value":{"amount":"+0.7843316793441772","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":"Q1978252$BF187606-24AF-44C6-B83E-010F77AF00F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee606fea5ed20521051bf7fab79d2c42dd8780e2","datavalue":{"value":{"entity-type":"item","numeric-id":5901317,"id":"Q5901317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb1f305dc90e0e0882fe5b219d80b3047d88079","datavalue":{"value":{"amount":"+0.7824239730834961","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":"Q1978252$B442395C-8250-47E3-9FAB-11DECBFC19F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of choosing the branching literal in DPLL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_choosing_the_branching_literal_in_DPLL"}}}}}