{"entities":{"Q3624048":{"pageid":5653954,"ns":120,"title":"Item:Q3624048","lastrevid":80949767,"modified":"2026-05-06T17:22:19Z","type":"item","id":"Q3624048","labels":{"en":{"language":"en","value":"Generating hard satisfiable formulas by hiding solutions deceptively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547869"}},"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":"Q3624048$303174F3-115F-4A04-A2DF-ED9D0A219EB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b6e35e95f08f9d2996037756ec96443edfc8621","datavalue":{"value":"1182.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624048$D9546C14-9835-4B61-8082-E5C4896BD719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aed3db4041933bb8185c3a919ee4c0aab106d5bf","datavalue":{"value":{"entity-type":"item","numeric-id":3506879,"id":"Q3506879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624048$1A5850D8-D9C4-4A4E-ACF8-4A5A4875208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9a5c7376fab625180f58f20ebd6bb1b67e776","datavalue":{"value":{"entity-type":"item","numeric-id":162055,"id":"Q162055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624048$4E9B2B5E-D1ED-497D-8DAF-06C6CF48A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda088d29a4939f07489f379001b29a3949d80cb","datavalue":{"value":{"entity-type":"item","numeric-id":3624047,"id":"Q3624047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624048$1B7F0ADE-D35A-4624-924B-F93DCC2BE788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624048$B798F1BE-F319-4AC4-8DFD-E0B9D53E10A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624048$2414EB68-4048-4EF6-9647-F32A3F163602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da624ac13d869a1efd843a23bfa431d2e2c04c67","datavalue":{"value":"5547869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624048$F606FE19-A795-4F9C-B08A-48393E09B409","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd57ffe68db57050e96f8452d54af109bb660019","datavalue":{"value":"incomplete search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624048$C1D6E0B7-AD88-4FAA-AE5E-0E076B181632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624048$3BB62CBB-F2F7-4E7B-9EC4-42319810FEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624048$8BB2E2C8-320D-4E8B-8196-F9A1ABBE7B43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624048$9B44B225-9CAF-4DD0-9D31-464C942DA4E6","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":"Q3624048$48E4D275-23C9-4161-B32E-C6B72B6B36CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ffceef5684bb80a48fbdebecb830e033ef97b8","datavalue":{"value":{"entity-type":"item","numeric-id":5715725,"id":"Q5715725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a439eb9709561da4e04c296779036d6ad17f5da","datavalue":{"value":{"amount":"+0.867468535900116","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":"Q3624048$873A1D0A-C3D9-4DBF-8F5C-ECD68D4678C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862dd1f4e962f756d7e93fe5f5e32525bc8d5635","datavalue":{"value":{"amount":"+0.8564144968986511","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":"Q3624048$FEDB843F-F7D1-4368-9344-9523465D2BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a29c097d47aeb0a20907ed0577bc3905005846","datavalue":{"value":{"entity-type":"item","numeric-id":2741510,"id":"Q2741510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3677922972314982397617ed8348c63589913cc","datavalue":{"value":{"amount":"+0.8122628331184387","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":"Q3624048$14AFF83B-44C9-47D3-9308-690A78242145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f470638441c8536e9acea9af09605fb53b201","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3677922972314982397617ed8348c63589913cc","datavalue":{"value":{"amount":"+0.8122628331184387","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":"Q3624048$1CAC2972-D285-46AD-9723-286D29568B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ec8a39ef1e354be232f628ed94c480ac0e5160","datavalue":{"value":{"entity-type":"item","numeric-id":5897202,"id":"Q5897202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26052fc2be1fe09684b6dfd3e405806b2aba09d","datavalue":{"value":{"amount":"+0.8092176914215088","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":"Q3624048$20CFB55D-9CFD-4BBE-B7D2-1A731E82B74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating hard satisfiable formulas by hiding solutions deceptively","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_hard_satisfiable_formulas_by_hiding_solutions_deceptively"}}}}}