{"entities":{"Q2892663":{"pageid":2903388,"ns":120,"title":"Item:Q2892663","lastrevid":84887051,"modified":"2026-06-03T05:02:17Z","type":"item","id":"Q2892663","labels":{"en":{"language":"en","value":"A threshold for a polynomial solution of \\#2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047763"}},"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":"Q2892663$008A2FA6-D9E0-4577-96E4-8C79A2A6D454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b61e3b8015ea5dcdcac6eecebc90998ee7b6919","datavalue":{"value":"1253.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892663$2729BF06-C9AF-41D9-BD33-1DF3EAA2769D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87246d1d7769356eafb73bf240a78e4d3a26840","datavalue":{"value":{"entity-type":"item","numeric-id":2892662,"id":"Q2892662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892663$FDE346D2-9381-4203-A5E4-20BD430D999C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60940ecc4ceaddc26904eca5f47a54fe65de60fe","datavalue":{"value":{"entity-type":"item","numeric-id":283676,"id":"Q283676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892663$B1C9E400-41A6-4C89-8674-FD94B718AF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5001b63661de77c8ddf1904c600c55acc2cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":1744432,"id":"Q1744432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892663$B55F26F6-9770-45D2-B5F9-C9001C38AD94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892663$2EBF2B38-8905-46D6-BB39-7FA48CB7CAF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b54fe6883b4321a87ecafddbfcfe8615f6dc3b69","datavalue":{"value":"http://iospress.metapress.com/content/136706724808641n/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892663$AC25CB1E-261E-4D29-B43D-2928B1D2126E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892663$9D2A5183-ACEE-4E22-B059-A2D33F48AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892663$D56DBAFA-D422-49B5-99C8-E771558DA6DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de422aad0d80d408173fdbdac2007a84e6cd26e","datavalue":{"value":"6047763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892663$F69FCAE5-A49B-4277-B48A-4FD8C04BE9BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"623f07373e893f620b774812b1d6d6978c23cf5c","datavalue":{"value":"\\#2SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892663$5473A229-C7A7-415E-857D-428E6BDF06B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccea8ebf5e09a317173f69ed20b71236aaa9fad4","datavalue":{"value":"branch-bound algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892663$933F74FF-4A27-41D1-A011-88B8F3E76C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ee5a6e84d59bceefba6909ad1be826be7e13df","datavalue":{"value":"polynomial thresholds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892663$FDE688E5-4BD3-451E-9137-D46ABF7E4D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f80de9c246b1747387505009dfb12a20a0a2d2","datavalue":{"value":"efficient counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892663$3EAA5275-913C-4401-AF24-BCCA2061D42A","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":"Q2892663$2BA3929B-FD4A-495F-BFC7-CDD82EF4125C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c008bed4c9dbe68c6185edcc9a7844b61b150861","datavalue":{"value":{"entity-type":"item","numeric-id":2850118,"id":"Q2850118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc7fe387865530eedd38d07630380539e0a3543","datavalue":{"value":{"amount":"+0.87397516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$3CE0BE28-EABE-43A9-961B-C5895CA9EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a3c53869c3d574be4fa59913f3cf73b3f0ad85","datavalue":{"value":{"amount":"+0.8628428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$B3324BAE-F7D3-4E7E-8207-DD790DB28C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f12ca22f164ae7d0a02c2472c601b3b36d6ef0e","datavalue":{"value":{"entity-type":"item","numeric-id":3557031,"id":"Q3557031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6e8e141726177ecdb40115a61a993dc8794d91","datavalue":{"value":{"amount":"+0.8533406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$362351A4-C612-462A-9702-2DB1C7BB6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7584c7e115aab4ba5c342178dd97e8258452fa","datavalue":{"value":{"entity-type":"item","numeric-id":5403036,"id":"Q5403036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6e8e141726177ecdb40115a61a993dc8794d91","datavalue":{"value":{"amount":"+0.8533406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$F48C7F58-7A16-4184-B973-B33CE85ED3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ad0e252c44ac2e66afd93d4f676561c0cc09b3","datavalue":{"value":{"entity-type":"item","numeric-id":5958807,"id":"Q5958807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b0567935b2d62e1303fa26651a1b54aa6aaea3","datavalue":{"value":{"amount":"+0.8518462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$4DCD65BB-65AD-4FD1-8924-045F01F2016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa1108b39adf34b0d85dc16923fb4966ed4d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5259616,"id":"Q5259616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726f3722af32902dba19e0c7e61fb6189b0d58ff","datavalue":{"value":{"amount":"+0.85175705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$ECF345E8-4339-4D96-8C48-361B288A4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76579949ee34ce7b2e6e307f6c874487286b0d66","datavalue":{"value":{"amount":"+0.851757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$C7E0497D-9936-4194-90CE-924CFDC90427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe810d066d4dcda3ea1ff7b39c5f61e7d54dce8","datavalue":{"value":{"entity-type":"item","numeric-id":5009542,"id":"Q5009542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56e388c797a4ca67e9ae952e5c6df1724433612","datavalue":{"value":{"amount":"+0.8507972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$DC462C15-3567-47B2-8E63-E8A061F23C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85c4dff70c054e95751da6cfa91a0cd6f0ce9aa","datavalue":{"value":{"entity-type":"item","numeric-id":5366889,"id":"Q5366889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a71400d5c2d9626ee8ac2131a9802fa3ab05934","datavalue":{"value":{"amount":"+0.84946233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$1F464F63-BACD-4E53-9181-3A1EBCE2FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae355077babb907bb2783128a3f5c1e72ed2344","datavalue":{"value":{"entity-type":"item","numeric-id":4015974,"id":"Q4015974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400677b636eaa30172c08dd13e91c4bac7806eac","datavalue":{"value":{"amount":"+0.8478869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892663$1215F72B-3184-4A0D-BE29-DEC88E571511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f66fdb66f41ca9997e41b2cff583760a29544eb","datavalue":{"value":{"text":"A threshold for a polynomial solution of \\#2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892663$F18BF1C6-8754-454F-B22C-3273777A1999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892663$7C86DEA9-83EA-4C24-934D-75AE42BD6A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A threshold for a polynomial solution of \\2SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_threshold_for_a_polynomial_solution_of_%5C2SAT"}}}}}