{"entities":{"Q6521098":{"pageid":14100060,"ns":120,"title":"Item:Q6521098","lastrevid":103480856,"modified":"2026-06-06T07:27:43Z","type":"item","id":"Q6521098","labels":{"en":{"language":"en","value":"Finding hardness reductions automatically using SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6521098$B0D74766-58B4-46B6-941B-32A504B47168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a740ee8ed61eec91c6679df18791a4d76e7bafee","datavalue":{"value":{"text":"Finding hardness reductions automatically using SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6521098$C561C371-2052-496C-B8ED-14C39BCAD65B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e13e83b8e04307036c9795c24557644d15bb5d51","datavalue":{"value":{"entity-type":"item","numeric-id":832854,"id":"Q832854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6521098$2E57C220-4901-4FCC-84F0-C824DF92C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd199820a214f8e99c670412840f20553d7909e3","datavalue":{"value":{"entity-type":"item","numeric-id":827301,"id":"Q827301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6521098$B86B93ED-8EBE-4118-9D52-906CCDC91D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e04b90fdef6fcff5105278d42534fd9b27d0166","datavalue":{"value":{"entity-type":"item","numeric-id":2073311,"id":"Q2073311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6521098$BA6B4984-5E9C-4F28-BFA0-9A5C75061454","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":"Q6521098$2AC73650-DBE6-48F8-A609-C4AD0A2D9246","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"50d8d86f4464e6f0b82fe4d0ebfb24b33b296977","datavalue":{"value":"2402.06397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6521098$7AA5451C-52A7-492E-89A4-1C6DA625ED3A","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"8cf5e3375ed34eac83c9af1a09a5abd45981e5f0","datavalue":{"value":"https://github.com/manfredscheucher/supplemental-completion-problems","type":"string"},"datatype":"url"},"type":"statement","id":"Q6521098$D0DAAB49-5A5D-4F92-8FF8-4E6E07160E0D","rank":"normal","references":[{"hash":"76ba4df3fae4b60aee9a0f965d9ff279b717f651","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"5278464a9fee5e444e5875438c9800dfeabae476","datavalue":{"value":"https://paperswithcode.com/paper/finding-hardness-reductions-automatically","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding hardness reductions automatically using SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_hardness_reductions_automatically_using_SAT_solvers"}}}}}