{"entities":{"Q3502705":{"pageid":5532608,"ns":120,"title":"Item:Q3502705","lastrevid":50365523,"modified":"2026-01-13T21:54:48Z","type":"item","id":"Q3502705","labels":{"en":{"language":"en","value":"A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279245"}},"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":"Q3502705$AC0D47A8-022A-441C-9C62-208FCFB18A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32eef1d61692f861e4bc3032784f2bb88577c9d1","datavalue":{"value":{"text":"A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502705$2E2CDBB4-B097-4DDD-9F5A-CBFEEFEEA656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7ca7e26b9a5f0a19ac6391a5e068f2093fe6cb9","datavalue":{"value":"1138.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$02152568-7730-4860-95AB-1797D6E9FE33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6ddfb7d642706d5946250c9667b2f72eb61ad0","datavalue":{"value":"10.1007/978-3-540-79719-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$72543426-3F7E-4748-9BEF-16812B6EA416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b5f61af7867478d9209c13471cce5731e79992","datavalue":{"value":{"entity-type":"item","numeric-id":3502703,"id":"Q3502703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$FDCDF3E0-7A7F-4EE7-B4ED-A5BFCFAE6364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e947c4fb3921699925780ed35d41c9af62d536b","datavalue":{"value":{"entity-type":"item","numeric-id":344818,"id":"Q344818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$39001A92-0A1E-4A0E-9913-4896EB5C55E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$5E391E22-6A21-47FE-A2A5-770C5304FE8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$3E0AF1D8-C433-4478-ADDC-FA8B40A911FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502705$49336DBF-B8AF-4E19-B0B3-F4EDC7E095B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$A9E165F5-6195-4D17-A30A-5D8DDE6F1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$6BF80AED-1608-48F7-983F-D6B194D6647C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854f037b78854ef08b9f1d23259e908f66b228be","datavalue":{"value":"5279245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$C5A760EF-68CD-4E42-9E17-B26A4CEF70CE","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":"Q3502705$DFA18878-2C72-431B-9CFF-12A157C6CDFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b55091816be525b3a0ef6538e27ef467e2eec09","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502705$2CC38FAF-92FC-41C6-BA90-50BCEA904D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"620167c9bd5afc0ef42af01e9fe1b972a5658cd5","datavalue":{"value":"W2114975369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502705$5BFE253F-9EC8-4C1E-BE1D-B1129DD40898","rank":"normal"}],"P223":[{"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":"Q3502705$5CCC7453-BFB6-4378-B2FC-F6BE7045B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc870744846575072bf5ee045339dd2dafe30a6f","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$1A6192B5-0247-4505-B7E7-CF51B6B5A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a873f4f7b28449f4e42085a9dcb9794cabad6dd","datavalue":{"value":{"entity-type":"item","numeric-id":1408376,"id":"Q1408376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$B756296D-2CDB-49BE-834E-D4C602ABEE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$15B62430-9970-458D-8CBC-D94E3C2EFDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5db73f5a1f26913f730dadd5131027ff2d4628","datavalue":{"value":{"entity-type":"item","numeric-id":5756553,"id":"Q5756553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$1A652980-F0E1-42E7-86F2-85FA726B6D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32407e2ad97932effb316fa65a77f7221008dc28","datavalue":{"value":{"entity-type":"item","numeric-id":5714756,"id":"Q5714756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$A0DE5142-39FC-4946-88EC-DC4E1D9BDA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa32a44166d42f4bd1de0aa45682819f58891a8","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$1C929123-BDFB-4851-831E-46CFFD9761D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f33bf79801c933632c7c77207124206bcc0a94","datavalue":{"value":{"entity-type":"item","numeric-id":3612458,"id":"Q3612458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502705$D980B013-D060-4CAB-9BD5-AA55C35A7E07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f34c1f42d4191d8923d70130e6982526f6460bf","datavalue":{"value":{"entity-type":"item","numeric-id":2908542,"id":"Q2908542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819659bfdf00ddea115d9dde96099345ca6c642","datavalue":{"value":{"amount":"+0.7991250157356262","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":"Q3502705$E8B04E68-8ED9-4F68-9172-15A610DC805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf938939a31e1f7013699d462718f077e2a5769d","datavalue":{"value":{"entity-type":"item","numeric-id":862400,"id":"Q862400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a8001dd9000baf5edd0dd09a409889664fd6fe","datavalue":{"value":{"amount":"+0.7947546243667603","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":"Q3502705$BF965BD3-4295-4CBB-86F1-8E412ABA431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eab230dde08d00d3e7d5ee2a07167860d3681b","datavalue":{"value":{"entity-type":"item","numeric-id":730498,"id":"Q730498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3765539293a343425db401471d3b8cfe90a5e200","datavalue":{"value":{"amount":"+0.7819439768791199","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":"Q3502705$7BAD4119-D7FE-4246-9C77-1C9CD4CA16F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306fa3cd301919796db9c05ebdeb7944377ab479","datavalue":{"value":{"entity-type":"item","numeric-id":1680239,"id":"Q1680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee760b139ea1778c2874d0bd3bdc2ac1bdb32cd7","datavalue":{"value":{"amount":"+0.7813632488250732","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":"Q3502705$40DDE52A-BBFB-44DC-ADEE-5D49FF74E3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e5b844b2e9da16b59f97f70480a9010151ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":2843262,"id":"Q2843262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a46087a5bb05febaf69930249f87f28c8aa0bc","datavalue":{"value":{"amount":"+0.7674826979637146","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":"Q3502705$5D6BB7A8-7DB4-42B8-8C72-C0EF6CDEB20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502705"}}}}}