{"entities":{"Q1656599":{"pageid":1667340,"ns":120,"title":"Item:Q1656599","lastrevid":68252412,"modified":"2026-04-12T22:28:08Z","type":"item","id":"Q1656599","labels":{"en":{"language":"en","value":"ALIAS: a modular tool for finding backdoors for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916320"}},"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":"Q1656599$C89AE533-BE43-48A6-A542-F76166A96F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cfde97a062f9aff8f6c3bbf4215e4ed6508ba5d","datavalue":{"value":{"text":"ALIAS: a modular tool for finding backdoors for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656599$483D8238-F619-4D58-BB48-FDFF009FE522","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"377cac8efaf3b89cdf66522db5ff1948174f9b82","datavalue":{"value":"10.1007/978-3-319-94144-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656599$12EC6579-29D9-4E86-B349-B33EAA5ADB51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45417376983cca6190e61f8bc663860b8124252a","datavalue":{"value":{"entity-type":"item","numeric-id":510611,"id":"Q510611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$B6EE14FF-E87F-4A2D-AB6E-49BA2054DACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faede16c8be9f9a38cc3e0ec3043a268faa5e992","datavalue":{"value":{"entity-type":"item","numeric-id":1954038,"id":"Q1954038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$A561467B-B8AB-4A17-9D45-ED5AC3E83AC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656599$165A1FF7-07BE-4743-88AF-8C93CE94C0D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656599$BAA09696-9F65-432E-8AEA-0214905B21C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656599$C1E736B7-2870-4399-939B-D2D8A4B3BF02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d04244d13d00961896cae4243090e0895eddfc6b","datavalue":{"value":"6916320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656599$30E4FE9A-7540-4B58-867D-1C97579AC9A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deb481ab618b4313d2cc4e54da911d9eb08938c7","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$38FF7B1C-AF24-430C-9948-65DDEF0EF4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$F7D2957D-5788-43F1-8119-F9B58A756FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a3128c90e03896ee0d98cf8f52b2e52fa0a4d4e","datavalue":{"value":{"entity-type":"item","numeric-id":13432,"id":"Q13432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$14BE1DAE-56E2-4E2F-9E39-2FB3E5979D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f7466c6eb953a93a7c0745dd82ece7d4ea52dbe","datavalue":{"value":{"entity-type":"item","numeric-id":37205,"id":"Q37205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656599$9CBEEFCA-CDEE-4AA5-8193-56C8C2212481","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":"Q1656599$AD4D750B-3871-485E-92CD-3C460EC7DADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"728802df61d84c77126ba8462d0c536ca673a2da","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656599$CBB47333-9AE3-4835-A394-0294B7368447","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8f284cb517109cca388dae3fa0768f7c217d01a","datavalue":{"value":"W2810080918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656599$61D95A7B-6317-4A46-85D2-84431C7F13F4","rank":"normal"}],"P1643":[{"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":"a4731b1fd547630267e4a50c8e63fe04c6ddeba4","datavalue":{"value":{"amount":"+0.8427646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$B03D4B7E-BE0B-4500-8699-BA35B6D3BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caadc44525829b42c556fa1fb961b852f193f620","datavalue":{"value":{"entity-type":"item","numeric-id":6168493,"id":"Q6168493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667a97e3ac9bbe9b53ef515d64337160717777c6","datavalue":{"value":{"amount":"+0.82572985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$B30B41EB-05E1-4A23-900A-B7658785391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dbfb6a51dade90f7a6eb4bd905ba053b394b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3085997,"id":"Q3085997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8130bcd51bf228634e8fc274460df6020a08b690","datavalue":{"value":{"amount":"+0.8220173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$3E181842-5D40-477D-B74B-5C2C84F8C69C","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":"f57b22ed63282fb768c57b57e08eb53b0aa199d8","datavalue":{"value":{"amount":"+0.8166586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$B9497DE4-5947-4EA3-B7BD-F97894C2E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab142b4309ede397cda28001efb8a6502cd62c4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502695,"id":"Q3502695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd43a216fff731cec460a9c526bd8f2a569b604","datavalue":{"value":{"amount":"+0.81596345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$DE2D4178-013C-4C13-8CC6-C770CB58E7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee1c0784a14591885823c45139d2d37015a0f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2764059,"id":"Q2764059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea9cecefd7d022f43f62091df6d7d1c433d1b9d","datavalue":{"value":{"amount":"+0.8065804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$89207C84-D551-41A0-B6B7-1FB8486E0886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b0b586f5b43647e065b2777bade38d4e5e1252","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb9be4962678e7c6916ae4318ed0cfecccb575f","datavalue":{"value":{"amount":"+0.8017564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$C543CDA0-2273-43C9-826A-54271527E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b6c4ffff3a4bb6ce653809ed52e1427672115f","datavalue":{"value":{"entity-type":"item","numeric-id":2787218,"id":"Q2787218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31da070e7c4cc040cac53efbbeabd00f714c63bc","datavalue":{"value":{"amount":"+0.7945883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$627918DC-317B-4BA0-B122-EE365184B368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd959e2854609ac2d480a95bf2da15aac801101","datavalue":{"value":{"entity-type":"item","numeric-id":5716544,"id":"Q5716544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42714641a8af5b10549e340efefa98b36a88e7ef","datavalue":{"value":{"amount":"+0.7911445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1656599$E3CA9783-BAFD-4FB2-B6A2-479962C5F7B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ALIAS: a modular tool for finding backdoors for SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ALIAS:_a_modular_tool_for_finding_backdoors_for_SAT"}}}}}