{"entities":{"Q6909455":{"pageid":20958589,"ns":120,"title":"Item:Q6909455","lastrevid":75609757,"modified":"2026-04-20T08:53:42Z","type":"item","id":"Q6909455","labels":{"en":{"language":"en","value":"An improved exponential-time algorithm for \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8112217"}},"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":"Q6909455$F61590BB-7FE3-40CC-8286-6435E20EE453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73d987dc440f3f5a5095a1d2e3a5409996f2c133","datavalue":{"value":{"text":"An improved exponential-time algorithm for \\(k\\)-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909455$B0745259-8572-4B3E-9A0E-EB0B9D982158","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98eb9b65ebc4930d3f615d6ce2ad9bf6b09596b5","datavalue":{"value":"10.1109/SFCS.1998.743513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909455$ED5D2849-C9C4-410B-9E2A-13BCDAA6F569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e76a61878e7b60c1f0d87ad96b85816c3037a69","datavalue":{"value":{"entity-type":"item","numeric-id":6909454,"id":"Q6909454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909455$C81BD3BA-3287-4ABC-B341-B30A53B4249F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78c18176037182cff8d0347267a48afdd7e7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":6909450,"id":"Q6909450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909455$7D879317-9610-40AB-9414-03193C674751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f09421b6aff8e8d7720ab7e9d35f10a9deb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":1112076,"id":"Q1112076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909455$7B0BC6CC-691C-4517-9E35-9592EA47A5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909455$AF029F8C-B942-465B-8490-ACEBD3740462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909455$2F818CCE-2DD6-453D-9C06-01788182E26A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909455$4FA601C6-28BC-4513-859A-4544D3B92FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630b22d6d282335d5fb34ab46da3ece9b37fa894","datavalue":{"value":"8112217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909455$70F6C079-3D03-4C3A-A95C-61D6EB1EE340","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":"Q6909455$70414984-61C8-40BA-A5E5-8A06DC3E3180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved exponential-time algorithm for \\(k\\)-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_exponential-time_algorithm_for_%5C(k%5C)-SAT"}}}}}