{"entities":{"Q3104641":{"pageid":3115357,"ns":120,"title":"Item:Q3104641","lastrevid":51385001,"modified":"2026-01-18T00:53:08Z","type":"item","id":"Q3104641","labels":{"en":{"language":"en","value":"Lower bounds for myopic DPLL algorithms with a cut heuristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988670"}},"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":"Q3104641$32FA614A-F69A-4685-AE6F-EE8568EAAFD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"143d1c24514f6520376de7d8f6e2ef44e5d8bf07","datavalue":{"value":{"text":"Lower Bounds for Myopic DPLL Algorithms with a Cut Heuristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3104641$D6D40BD5-E80F-4CE5-BCDB-59DC1E2C82DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"320a4e4548e3aa0c1d00ef785f786e085a783f79","datavalue":{"value":"1350.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$22E27AEC-BE93-43C6-BE62-4CCDA2F2FD0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c4b391acc7db6e31f9cd1466f826da72a2c604","datavalue":{"value":"10.1007/978-3-642-25591-5_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$28180C9E-573F-4E03-BC9C-DEE8E2DB0761","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3104641$BDEC6C99-DE8A-409B-9023-BE096CCE4A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3104641$E2DC0101-F418-4C6D-9C0D-420208E8C3AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3104641$F96C2BD1-F157-49D0-9724-7A02187CA4D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6601c42e0f3a725c7c627adb277b8fe2583bb73","datavalue":{"value":{"time":"+2011-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3104641$9B0850B3-D6D8-4C09-A65E-5F6164F3E88F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$2AB200FA-832F-4F1A-9579-A87FA6251C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$286F36A2-39F8-4815-9E06-3B73B726AC58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a12ad41ad939c369dc95da483b402b155e0c1c55","datavalue":{"value":"5988670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$ECE98F3D-BEFD-4055-BF10-3C1C2F4CDAE5","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":"Q3104641$2089C3BB-970F-489B-9691-27570C47F56A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa469e0f8a8cae40d2ece541b6ffd2fa1b2753cf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25591-5_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q3104641$1295E105-C021-48C1-9AE5-47F8D3AD78A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"488e3d0a836d6a97e7db621989c13756f935cb02","datavalue":{"value":"W95899737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3104641$C187C78C-D0CD-4067-B91B-F264D2553B00","rank":"normal"}],"P1643":[{"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":"f30269f483292a27a0a50e52e288dd771f3338c8","datavalue":{"value":{"amount":"+0.8768424391746521","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":"Q3104641$3720CB48-182F-425A-BC75-15E354EE632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1f4345d84abcd2f8502e6a44a0a7defbfeb5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5466449,"id":"Q5466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f38891e38cddb07e4fc9cb092087fe7a8c077e","datavalue":{"value":{"amount":"+0.8764708638191223","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":"Q3104641$288740F4-F670-452B-B994-DDEF6AC92A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ff441d5f90660fe62074e8e4e7c125ba1ffa58","datavalue":{"value":{"entity-type":"item","numeric-id":2843337,"id":"Q2843337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c041ed348899acfe7975d6c2195b523780b4266","datavalue":{"value":{"amount":"+0.8356269598007202","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":"Q3104641$9309B920-3F7F-4F81-8545-8E2693822BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb65919fc597229a6a39b39e1b70a0498b02ec41","datavalue":{"value":{"entity-type":"item","numeric-id":2577593,"id":"Q2577593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9c40b510b7738f59000570a2c56ddb9e232a25","datavalue":{"value":{"amount":"+0.8316326141357422","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":"Q3104641$E24541EE-92C7-42DF-804F-D922B0C1BB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c3fd3e24d2a849d90e42d6bd2de2e95bd73a5","datavalue":{"value":{"entity-type":"item","numeric-id":5501251,"id":"Q5501251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d378765354b72678b0716f7b5fbfcff671e66a6","datavalue":{"value":{"amount":"+0.7909363508224487","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":"Q3104641$152AB37A-B53D-4F4F-B79B-969915B64072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3104641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3104641"}}}}}