{"entities":{"Q457253":{"pageid":459020,"ns":120,"title":"Item:Q457253","lastrevid":62013126,"modified":"2026-04-11T03:11:46Z","type":"item","id":"Q457253","labels":{"en":{"language":"en","value":"Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348504"}},"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":"Q457253$F896ADD9-3C42-45D2-BAF4-7EFB2A507CA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f93e29b92a6b725676c06a770b8dfe8f1e968c6d","datavalue":{"value":{"text":"Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q457253$37747758-3D84-41EE-9EA5-3A4EE163A917","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10965bc6d0273e50e98ff5ca4e827102be879ec7","datavalue":{"value":"1357.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$4F89F03F-F629-47C0-92DB-26038BCFEDBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afc36f507b03f35f3e5b184aa4e2e48eb0bd904a","datavalue":{"value":{"entity-type":"item","numeric-id":457252,"id":"Q457252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$99629A3F-C6DD-4139-A887-B98D0FD4B2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$49C8987F-AB82-4349-9988-4308F1402798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$F96D383E-A1AA-4BF5-97C7-68A00D63EEB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$08D11E5A-6E07-48F7-9953-045018BCAD55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q457253$929C1FDB-34E0-4000-991B-09CE4F454183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$9DA17C23-85AB-41A5-A6CA-4813CF1BA097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$EC5DBA41-D584-4E98-BC1A-C02412D7EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$E9181501-DA8D-437D-A2C0-895A8CAA0117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b983896ec905a1ac94819b1f12600880107bd8","datavalue":{"value":"6348504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$96BC3934-8F55-4E8E-A939-5F2130D3B404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$B8FDC7BA-890B-4E13-AF64-636CD6953CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c90c48c1ab2c02d986907d0aa131d14fcd63ef","datavalue":{"value":"backdoor sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$5764F745-D806-4491-9E5E-AE248C896C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7c23678055f402d3e1a739ae38f0482feded67","datavalue":{"value":"Horn","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$06FCC50C-5675-442B-9645-217E9265E615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d991a6df063f71d6af3da147229cecdb7b8ae21","datavalue":{"value":"RHorn","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$BDEF1127-7831-4E40-9820-7BB91C84D626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$E9363683-E5DE-4794-8AC5-2DB8422EFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q457253$50BB5287-271A-4886-8377-B30E1D479685","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$8A2AEBE2-9C88-4D99-AE4C-345C0F79B5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$E47EDFD2-79A1-4DED-9416-4CEBFB72B737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$F7BC0634-54BA-4408-8F76-079D5BE9EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$D8291253-7CA2-48DB-A5E9-43FD94DD8A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$9583B017-ACB9-406E-B3CC-D5FDD507432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$F35E05CB-D73D-4407-B043-498B7B394834","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":"Q457253$CB977534-B318-485E-A26B-A27160B029DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8c87e06c999c88919ff91a121bf90d4fe5128cf","datavalue":{"value":"https://doi.org/10.1007/s10472-014-9407-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q457253$CEA32639-799A-4759-91AB-B6157DE812FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc4abd8e93083ade270afae130588f416768a9aa","datavalue":{"value":"W2086971834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$F8A59D22-84F3-4335-98E3-E6DA33DD8563","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$0E48E3FA-C7B4-4978-9032-075AA0EA5DD5","rank":"normal"},{"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":"Q457253$5C1106DF-BBE9-43D2-913A-1BD8A516A077","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":"Q457253$E485BE76-9AF1-4CC1-9822-C93B03FFE36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$C6036C0D-9928-42BA-855A-723DB6EF7908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522247d5ac6fed64b93220403ef992fbeeeb31b1","datavalue":{"value":{"entity-type":"item","numeric-id":5687250,"id":"Q5687250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$1AEB870E-055D-40D9-9A99-6BEDA5B9585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$7141DA83-6569-4036-8FA3-D05854343DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3429f66618842c840bb9501fb60cac94143f7658","datavalue":{"value":{"entity-type":"item","numeric-id":1198035,"id":"Q1198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$28EDE0D5-48E8-4C37-B153-8DEC2B86A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a3515870c24e07ccac146719249eb5a889cf05","datavalue":{"value":{"entity-type":"item","numeric-id":3524172,"id":"Q3524172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$E643BAEB-0F05-49C7-A2DC-AEB0AF22CDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9d606b1b308638e8c7d9ac43f75c10e330d90d","datavalue":{"value":{"entity-type":"item","numeric-id":4475647,"id":"Q4475647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$4B604CAD-D84D-4729-850D-60E3AFED56AA","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":"Q457253$D1544B45-84CF-4D2D-8279-5D53134DE1AC","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":"Q457253$4CFBA9DE-055D-4C6A-B5F8-2025406E198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65109c64936b8d0126351ec0ec01a7833aaadc1b","datavalue":{"value":{"entity-type":"item","numeric-id":1424768,"id":"Q1424768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$E84412DC-71E5-47F1-8443-C5356FA044CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edebb949dd0774fb03515a5b956aa11099c6164d","datavalue":{"value":{"entity-type":"item","numeric-id":4012214,"id":"Q4012214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$A37EA9DB-50AB-466D-BFC4-53AC2D4CED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c382c29bf466755d58ecb35fb08a1b3ea807b10","datavalue":{"value":{"entity-type":"item","numeric-id":3523063,"id":"Q3523063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$1EFCFFA7-1D73-4926-A195-9765EF63AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a4fc9ca95d1d33ed6b73ec75564b022565a111","datavalue":{"value":{"entity-type":"item","numeric-id":862400,"id":"Q862400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$F495DBB9-BBEC-4E3C-A198-D710AA0AA154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffcb87fe18b71ee0b984e3dfe0306518bb22d31","datavalue":{"value":{"entity-type":"item","numeric-id":3630152,"id":"Q3630152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$AA0F9E31-5C37-4B8C-85E6-D38D0A3A877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c48c2a2087cfeb20079b68c8d72ab6543d8afd2","datavalue":{"value":{"entity-type":"item","numeric-id":3637159,"id":"Q3637159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$C50DD0FB-1A61-48D2-BFFB-0545A1396316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$213437C6-DC7D-47D1-9621-7B3BC5180B59","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":"Q457253$D34F1332-0BB5-4EF5-B8F6-32749E00CD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$24AA3015-1B08-4274-8837-A4D1BC5A903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4bf606a449c9953c484dbb8476ee3760f5a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3267900,"id":"Q3267900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$55E14AAD-03EC-46C7-BC6F-BF3F11B988F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c787ff698d0ab84f87b9b25e92c53dd20bd009","datavalue":{"value":{"entity-type":"item","numeric-id":5277908,"id":"Q5277908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$CC678FE9-7C3A-4025-B11B-64FBAF3DF846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$6C14D2FA-AD9F-4DB9-85B9-B6916F4622BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1958ff7e040b608ab81be40fc268247c86c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":3933756,"id":"Q3933756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$96654CE2-49C3-4C12-A2C8-EBDEB42EAA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e807cad96e78d6ed80e9767e538b1f542dbf4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3771663,"id":"Q3771663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$22A04895-F086-41B9-829E-028FFC2EEEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$D3D4540F-D489-482C-BA03-638AE74AAF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$7D58BCDC-9F9C-49D9-A15C-E99DFF82E37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"105bae4f9783eba3ef353610fe4fc3df9edad20d","datavalue":{"value":{"entity-type":"item","numeric-id":5310682,"id":"Q5310682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$D78F26AB-5FC6-4F64-8F98-194D7B4633E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$A7EFE897-07EB-4832-ABDD-39103FBA3969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e788ed4bc02b46ad14abbd5274dbfd16089d39b8","datavalue":{"value":{"entity-type":"item","numeric-id":3502704,"id":"Q3502704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$6895C406-6C2E-416F-A654-260A1433CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$4A263F18-01BA-4415-82CD-BCECD279F293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c3d4f552fec9b627fb81a06a39a3b3a95adb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2649714,"id":"Q2649714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$A487C90D-9DE9-4EDE-91AD-08849C8FAF51","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":"Q457253$00165706-6A10-42B2-B5D3-690233834CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$113D5C2A-1BD9-493F-8962-74F1783CFED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c677638a066d19414868626962a973fee9aa498","datavalue":{"value":{"entity-type":"item","numeric-id":1034100,"id":"Q1034100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$B19374E3-1BC1-4575-BEA2-CB8B5588C2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdce0ec559ff09266887ff88222ddf5e00daee3","datavalue":{"value":{"entity-type":"item","numeric-id":3524254,"id":"Q3524254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$D4C16670-323E-4586-B9DB-1E52667E8D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa1569f4af14e23833bb2afc1050fa7da379084","datavalue":{"value":{"entity-type":"item","numeric-id":4369874,"id":"Q4369874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457253$20AC5A17-0E49-4A40-A964-10B247E61249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a470f8127a4da024174c06e80c7bdf76f1a380","datavalue":{"value":"10.1007/S10472-014-9407-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457253$1CBC1BF3-6A22-497F-9430-0C965FEE03ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bef63090b18fcecd75c4d474a311fb183a91b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3523063,"id":"Q3523063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e9108546579e2bf30b3f442f00ab5eee81ce5b","datavalue":{"value":{"amount":"+0.9118967652320862","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":"Q457253$E6BCF5E0-6BD8-4D24-980F-8772DE032AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2689356c598b357af76c0212000d7ddef68efd43","datavalue":{"value":{"entity-type":"item","numeric-id":3637159,"id":"Q3637159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d86415d43b4f5639a610863ae6c80368d1e8431","datavalue":{"value":{"amount":"+0.843173623085022","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":"Q457253$3555D0E0-7D9C-44E3-BA80-FB925D179B92","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":"5b5413d3ab7c9bb5e614acad2baed72cc40ec54f","datavalue":{"value":{"amount":"+0.822380542755127","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":"Q457253$F8A7BEC9-A75E-4BD4-8DA9-0A897D8B0883","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":"69be9897d7265a4b8080138d95a34b15db9d6294","datavalue":{"value":{"amount":"+0.7939243912696838","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":"Q457253$B5469C43-7171-4A08-AF75-8D41F4D48E1E","rank":"normal"},{"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":"8bf40e9477a0b80e281dbaa6af9b430c87eca020","datavalue":{"value":{"amount":"+0.7802838683128357","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":"Q457253$BFE41892-C15C-4B0D-9F35-E2B3B6A94970","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tradeoffs_in_the_complexity_of_backdoors_to_satisfiability:_dynamic_sub-solvers_and_learning_during_search"}}}}}