{"entities":{"Q5892559":{"pageid":7930506,"ns":120,"title":"Item:Q5892559","lastrevid":93280769,"modified":"2026-06-05T04:08:03Z","type":"item","id":"Q5892559","labels":{"en":{"language":"en","value":"Parameterized complexity of DPLL search procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908733"}},"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":"Q5892559$3098742B-BA1F-4B25-8DF7-7B8DF4FD3906","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"899a64e88cdfa6263093758b0e587412d55595d9","datavalue":{"value":{"text":"Parameterized Complexity of DPLL Search Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892559$5250C45D-15F1-4CE0-BC7C-3449F391AAD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73193cb9c8e4196b8046bd7b34ee573ee232595d","datavalue":{"value":"1330.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$E9DFBB1F-3297-4002-88B0-83668E65508B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69cc9cc87b66ecb4f571c6e5be6a47539883279d","datavalue":{"value":"10.1007/978-3-642-21581-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$279AF3CE-5D32-40AC-AFE3-D2B8E2EFF322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$1FC7709A-471A-4713-9D89-4C114EF8E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$D9055B43-1743-4D1F-82E8-A627C41D2BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$A9F0EBFE-D283-4E47-8572-CC75174277DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$3808BC23-7D5A-468A-A10C-08D85A17E9C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892559$628F9C1E-63A1-4A31-BC00-7856463A664F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"284bedab4904a8e4efbf677a313734935731f5ae","datavalue":{"value":"http://eprints.whiterose.ac.uk/74773/2/final-version-sat11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892559$F3328726-E8AA-44FC-AC58-B91F3D1F7620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$BFBFC43B-3A17-4926-9D75-F5AF690667F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$52511DDE-D75E-4084-A794-5598CB695FD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aba61baecf1ba12d65d5f33e3fd782ecf78a54a","datavalue":{"value":"5908733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$CDDFA925-303F-460F-B339-A54BFD8E6302","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4eeed2e6587069400149e8503d34efac1c03c54","datavalue":{"value":"Q59903061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$CFD4FCF5-5D91-4C20-8F5A-9861CFFC8B0C","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":"Q5892559$CFBD4F18-25F4-4474-8745-704DDB0AC172","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99fd3e1cad5cdf7cd66bee25e0a10c9a832a1338","datavalue":{"value":"W2080763555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$3064F883-76DC-442B-89EA-0F92CB93E440","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$DFF68CEE-DADC-4F75-BE08-2A7749319ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a774b6029c9da3ff517fc7d194393fbcab2285b","datavalue":{"value":{"entity-type":"item","numeric-id":626676,"id":"Q626676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$98BD5049-0CB5-424A-A7A4-BC656F822FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9846fbb988a6d46c708d593d889fb267514b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2474203,"id":"Q2474203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$194FEEB7-D4C9-4A58-84DF-275C3B2EFBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$310A7633-D847-420C-BBE0-5E02BEB46442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$80503D5E-459E-4D31-B884-225B9C41653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$B191DB6F-F180-43DD-BDFB-918688A9D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$B53C42CC-4D90-48A9-A02F-BCA6EEC48D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d103d209650b3410c23b9ab645403e5935c5a7","datavalue":{"value":{"entity-type":"item","numeric-id":5892172,"id":"Q5892172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$89D9F22C-C9C8-4454-8571-7D8BB47D5A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557337e01668ae38b0586e24e7e5c46c3c060c8","datavalue":{"value":{"entity-type":"item","numeric-id":1675824,"id":"Q1675824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$A09FBC13-B3D3-4721-8182-0552FA666D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe144c7e044d5f19419ec0dd521c65b57833064e","datavalue":{"value":{"entity-type":"item","numeric-id":3012838,"id":"Q3012838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$0E104BD4-EBD7-40D5-91A1-45C42E70B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ced15fce0c8018e5dfdcdbe2ed656ec7ef7ed09","datavalue":{"value":{"entity-type":"item","numeric-id":5769706,"id":"Q5769706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$9ED393D9-04A9-4E08-B60E-64F5406E9BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e846b8bdb707b89fe4e8a66905e75d0802e8ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$9CC3952F-B10E-4C33-8FD5-073BC9AC023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34354019cc1f4775fba2a3965f1a17955115f4bf","datavalue":{"value":{"entity-type":"item","numeric-id":1405735,"id":"Q1405735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$27BC29A8-B3C4-4897-8246-CB044FF80DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f407a19f596ad245fe7f7ceea6dab71ee7add565","datavalue":{"value":{"entity-type":"item","numeric-id":2470035,"id":"Q2470035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$AA6506A1-75F7-4F33-9BE3-E50CB6E028CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$6EE41DD4-B456-4966-A01B-1EC153D8520C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$44AFF96B-5561-48E1-8694-67666DFFDAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d208daebf63291fddd0ab31073032ff3024ffda5","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$48ACDE66-333F-49B8-99DA-AF22267C32D3","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":"Q5892559$4749A4E0-FFC4-4CDB-A8D6-EF6F86842136","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":"Q5892559$45DFEEEA-A4A1-4D2D-A0EC-61CB0985C179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070c18630416255d08d1d70eb3539258d7ca69","datavalue":{"value":{"entity-type":"item","numeric-id":840834,"id":"Q840834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$21CB04B1-38DE-4169-8282-B9165C8FE8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$008A7DA1-F354-4E59-B931-7D1B2CA59D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$C1EB2773-E923-4082-AA2B-3D980BEBEA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$D3389B71-4817-498F-B7AC-9F6D02B658DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422191f7fa8b2d64e6ff41dbfa56ea42d38984ad","datavalue":{"value":{"entity-type":"item","numeric-id":5302097,"id":"Q5302097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$2572DD11-6B94-475F-94CD-6F3CBE912493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$C7518ABE-5A93-4DCD-9E78-CAF17B632057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd67cf9cc8c3a39ebb38f217a93e786c313e8d48","datavalue":{"value":{"entity-type":"item","numeric-id":1924995,"id":"Q1924995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$C912FB6A-F3E9-4D05-A1E9-A3978768A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892559$D4CAC877-B044-4D5D-9EE8-56F157239AFD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"32624e04f94c79f1ef3d7dde3cdd36581bf848b3","datavalue":{"value":"conf/sat/BeyersdorffGL11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892559$BEC4121F-8F56-4560-BCE9-D0D2541DFB0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8abce17ee79397c6ec683731b5367d6ad83ba32","datavalue":{"value":{"entity-type":"item","numeric-id":5892172,"id":"Q5892172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2204ef170fe631135176265e67bc59fdb7db8bc9","datavalue":{"value":{"amount":"+0.9992057085037231","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":"Q5892559$B23BE25F-A791-47FF-BB5F-CC1C75BA75BA","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":"52418cfca3002b9c1189369b80b53707214427e4","datavalue":{"value":{"amount":"+0.798496425151825","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":"Q5892559$63CB4BB8-F2F8-4173-9462-7D040A229ADE","rank":"normal"},{"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":"c1aabdce454612e9bf4c45e50a2aff42f3fe68b9","datavalue":{"value":{"amount":"+0.7941341400146484","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":"Q5892559$7634FFBD-466C-4454-AA4E-354B752FA5FE","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":"9eb188b97b95f47c80692eeb75432fa674caf5ff","datavalue":{"value":{"amount":"+0.7913307547569275","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":"Q5892559$F308D6DF-3891-4951-AB18-9641FA36152C","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":"003d37a54d510b3a1f8405a416001e7ae23dbf4f","datavalue":{"value":{"amount":"+0.7787426114082336","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":"Q5892559$483DD642-737E-42A5-9FB5-D629DE80ABC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized complexity of DPLL search procedures","badges":[]}}}}}