{"entities":{"Q5892172":{"pageid":7929711,"ns":120,"title":"Item:Q5892172","lastrevid":41693465,"modified":"2025-05-07T07:45:19Z","type":"item","id":"Q5892172","labels":{"en":{"language":"en","value":"Parameterized Complexity of DPLL Search Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483208"}},"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":"Q5892172$615C7F0F-A7F5-4762-94A0-B3F2D39F49CC","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":"Q5892172$AB052B40-7019-45BD-9490-EA63A3090243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76935955181ec3a0192efc7422b7eec0f5a0e11","datavalue":{"value":"1354.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$1564D5B9-DA8F-460B-AFFC-1FE5E3A2D5CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cdfb8f34f42d96dcd76286824ffd4506b35be49","datavalue":{"value":"10.1145/2499937.2499941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$22DEDAB3-5E75-424C-BB9D-6F3D5FF2C414","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":"Q5892172$AEB103F4-DEFD-4250-8C40-33C47266F512","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":"Q5892172$330C7622-BCED-43BB-8AE4-1A1049555D34","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":"Q5892172$5E808DDF-C265-4964-9071-D2A9F289598F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892172$B6F63A9B-142A-424D-A101-11B64744DD7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q5892172$389FC650-1BCA-47C8-ACDF-3782AA06A23E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2fdb5d545251bb96f0a2363711ac544a238c163","datavalue":{"value":"http://eprints.whiterose.ac.uk/79311/8/para-dpll.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892172$F5FD41C2-3962-4645-AF4E-DAD1DF8BB041","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$858ED7D6-86B4-4513-B273-55B60300D1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$518831F7-E88D-4667-8038-3CE87E49AC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$85B13F3A-DB06-4102-9981-75AF32F82F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$3983C2B0-C9B1-4B5D-B381-A9EB053E8AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$1844BFCB-CA78-4464-A233-6CC210B48569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"677a5f3b03024464da1b6cb52258b255b1b687f8","datavalue":{"value":"6483208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$749B7802-6B4C-4A70-9D7F-047753156085","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892172$C61A0AA1-0B4D-4E73-B9CF-7AB6E169AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892172$903640AE-1EFC-442F-9269-76EDEE62A56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcca3bbff4d3cab9e8bfc1915572275a1962a871","datavalue":{"value":"prover-delayer games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892172$1A9F14AC-F818-4B3B-90B3-6F9C75E38F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892172$D8316FFF-445F-4A9F-ADD5-8F460815FEE0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9ba21a30ae70cb223a07b32d05b3e1b3d729a0b1","datavalue":{"value":"Q59901045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$FE110DA7-ABC6-482F-825F-B38F22FC3291","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":"Q5892172$A890BFFC-A882-4DD4-87F7-0F3DA7D0217B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ecf0e8a105a9e7e33022365d9653171a2481f92","datavalue":{"value":"W2045690379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$507D313D-8F10-41A8-AC6D-A00D84AB5D0C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"986d8dabf6c561fac87470eaba1e5cf1c0f29958","datavalue":{"value":"journals/tocl/BeyersdorffGL13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892172$D7E7549D-AD93-4722-AA6F-696F1E21077B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c83cc5be31c7d54a73c0e0ada5ea27533e7f868","datavalue":{"value":{"entity-type":"item","numeric-id":5892559,"id":"Q5892559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$FB4F45BD-C4E5-4151-920E-54F0F6766F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d883088437d1c8dfd32dae2488de91e9b25aee49","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3babfc9d3ce699eafbcda4e70bbc719268898cd8","datavalue":{"value":{"amount":"+0.8900915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$6C34C095-6D92-4E88-B98C-20ABF5A0693D","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":"7e182f62febd6e36f722b79fa5c9db4e0c074295","datavalue":{"value":{"amount":"+0.8881509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$5A6FB4C3-43E2-4D27-89AA-52C47CE5D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0711f02118def7b81f9cc7fca898d5cafe36caa5","datavalue":{"value":{"entity-type":"item","numeric-id":814421,"id":"Q814421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acad6e633fc4f1ff561c6eba8a3639e8ca1e0fa","datavalue":{"value":{"amount":"+0.8826675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$9338065D-C4E9-4C10-B0F5-56F3F299E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984f632278bc7a35d4706fbf98b815b7c135509f","datavalue":{"value":{"entity-type":"item","numeric-id":5874224,"id":"Q5874224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9a3ea06c5bbfca9f970b48eba40dd64aa28d8e","datavalue":{"value":{"amount":"+0.87913805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$5F0ADC01-E225-43F3-B586-EB3E5444595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e014826b628bdfb2627d8db8424edcd55b88a4","datavalue":{"value":{"entity-type":"item","numeric-id":896122,"id":"Q896122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16044d59126302cc85cd28eea5e68fde76618d1f","datavalue":{"value":{"amount":"+0.8760789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$F5382CA2-5BC8-4A3A-B9B7-EE93781C08D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c65b3e0b73c926b2d7e4777407ab6465c9c100","datavalue":{"value":{"entity-type":"item","numeric-id":4899254,"id":"Q4899254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a7bda13cf40d9dee37482cf4529b3ed534c6a9","datavalue":{"value":{"amount":"+0.87174547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$53C5C0B6-83AC-4CA3-9744-3DBD6CDA94B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921812022a140f73adb50a58b04dd132477f40d9","datavalue":{"value":{"entity-type":"item","numeric-id":4945215,"id":"Q4945215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e86b396bfddb5c9cc141749488f90dff5aa50b","datavalue":{"value":{"amount":"+0.8662669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$DE1F5546-6B34-4316-A33D-13DB1F515407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f60fc855d350aa808eb09876aaea617161b581","datavalue":{"value":{"entity-type":"item","numeric-id":415279,"id":"Q415279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cf45f6889734b1ec582c63740eb2b71d0658df","datavalue":{"value":{"amount":"+0.8634941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892172$5382EC6A-E59B-40FE-B6D1-191D5139810B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892172"}}}}}