{"entities":{"Q1711421":{"pageid":1722162,"ns":120,"title":"Item:Q1711421","lastrevid":70804026,"modified":"2026-04-13T17:18:32Z","type":"item","id":"Q1711421","labels":{"en":{"language":"en","value":"On the parameterized complexity of \\((k,s)\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003082"}},"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":"Q1711421$CD7106D9-6EE4-46BA-B6E5-48226623BF2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ca0ff0a67a393dd42841920201e4ac0ffed934","datavalue":{"value":{"text":"On the parameterized complexity of \\((k,s)\\)-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1711421$79F5773E-48C9-4419-8720-35AC38B5144D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e70a4c4234833e94c9c8c5188d64730b9686a1","datavalue":{"value":"1478.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$ED83BE2A-C160-4FC6-8B3D-CAEF3B5D3C7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8bda24e5db7031b811824423dc274be5147149","datavalue":{"value":{"entity-type":"item","numeric-id":170462,"id":"Q170462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$A5B7FE09-AFF9-4531-89F6-D58F19AE799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$9F5E2CDB-333E-439C-9D30-FBCEAD365EB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$7FDCC819-7D77-4A11-A055-178C6764C00D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1711421$27EB5752-4091-4CE6-8DE8-9ACF0959FE7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09ec40ad656d476f6100ca9e5b644f9e85126130","datavalue":{"value":"http://dro.dur.ac.uk/26874/1/26874.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1711421$05F5CE15-1E35-4974-A0C6-C1F3B958FA1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$3B11D417-0FE9-4FFA-B908-534457B4CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$CCF23022-DBF5-431E-B27D-9AFA304764A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$26F10963-E38C-4720-994E-CAF38131813A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7a034462266bc3f631792f91d34ab5c8a43f9e","datavalue":{"value":"7003082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$E9F8DC78-0A7C-43E2-855C-7623F2B953A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514bc74113c0de6edd01fca99d1908e81be083fd","datavalue":{"value":"\\((k,s)\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711421$7F212F76-6750-45BF-917E-D96FD7EB19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711421$CC0ECB24-B0E8-453C-9BD2-D6346B219470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711421$13BF1E86-3792-4126-8484-F8D49FA9E319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711421$E854B3BA-76E9-4395-8BDB-61EEA1DDB50F","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":"Q1711421$9E3EF5F8-3EC9-4DB2-B2AC-D70400225E5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"258798eddeafa9d074aacadc35892f9503caae07","datavalue":{"value":"W2900560989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$5F31872D-E5E3-4AE6-9B06-C45B97AC8684","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe40a2b096be64684307fc706482845a394ed0e","datavalue":{"value":{"entity-type":"item","numeric-id":875598,"id":"Q875598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$E6855174-177F-4FED-8D54-F8151F8205FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$DE8B75AC-A2BD-4BFD-B6AE-63C86F279C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230d404ddf32749cc3483b594ad900fe804704d0","datavalue":{"value":{"entity-type":"item","numeric-id":1822964,"id":"Q1822964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$5D469B6C-B8E8-41C7-B2AC-159C132E170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$AB4483B6-E43E-42DB-9984-42DDD368890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef669c10ae338a40d1eb7cc69ea68f5a8c5b206","datavalue":{"value":{"entity-type":"item","numeric-id":377802,"id":"Q377802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$12A0F16C-F898-4A7E-B1CE-5036D9029799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aac3166833b1071eff04bf2728ae72a8cbc72a4","datavalue":{"value":{"entity-type":"item","numeric-id":557836,"id":"Q557836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$78DC5208-C39B-4342-95B6-522C9DF9C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187e1fb158e6b4695b1eefc466a8e0535eaf95e7","datavalue":{"value":{"entity-type":"item","numeric-id":5682014,"id":"Q5682014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$006DBF00-FDCF-4AD5-A1B3-75FEFB8940EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b267d82d6e31a4f100569a0e1b4301a56826c9","datavalue":{"value":{"entity-type":"item","numeric-id":4375762,"id":"Q4375762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$78901250-4AAE-4F32-9B45-7D623AA16BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$26BCDC7D-52DE-4FE3-A7C1-52A37A084328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$3AFEF2A9-BA0C-4DB4-BB65-027D0A60369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$9190B380-FCFD-4F9F-A9CC-14EFB45E6381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b89a10d5f8399d9170c00181a2ba1cff53d7043","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$D3054130-E88F-48DD-A887-C47A1B49549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711421$8BC1AB08-F91F-4CBC-8FCF-24630E9A461B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb0c44f596ec524d560f127527ac30bc36b4079","datavalue":{"value":"10.1016/J.IPL.2018.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711421$4C80B9B4-89B6-464A-9F8F-DB4DB7021B16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf07befd66022d9320e9f7a247a7e3315beb7fa1","datavalue":{"value":{"amount":"+0.8437554836273193","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":"Q1711421$16A07C77-68A1-4739-987A-4787030820EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b97ba761d4e2b6ccde57061d1068fe5c8a35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3440269,"id":"Q3440269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbf7dbae3a3587afc874c50b33baf634821de19","datavalue":{"value":{"amount":"+0.8371863961219788","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":"Q1711421$C05F395A-56F7-43D7-A6E5-CBCDF424E339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1dbd949096a7d78f21a99ec0daba270838bba8","datavalue":{"value":{"entity-type":"item","numeric-id":5492890,"id":"Q5492890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737b98d589b3821a57bbb0d5ff4274ce3126fa75","datavalue":{"value":{"amount":"+0.8309234380722046","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":"Q1711421$97AA75F7-6565-47CB-A0F6-90D31283A6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55782ea698f1f7994f85db0053bc8d9657b86472","datavalue":{"value":{"entity-type":"item","numeric-id":875598,"id":"Q875598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f44168fa44e24a6dc9fd478cf588bf3f5f47d7","datavalue":{"value":{"amount":"+0.8269315361976624","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":"Q1711421$D8256460-9C21-40B6-A59D-9D1ACF78B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57f3043faf0a1b1e487429e1713f75ee09f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85aead59cd186a94859dcdd686833d313048776b","datavalue":{"value":{"amount":"+0.8184217214584351","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":"Q1711421$BD21041A-EF87-49EA-AF64-4270F40A9774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the parameterized complexity of \\((k,s)\\)-SAT","badges":[]}}}}}