{"entities":{"Q3392942":{"pageid":3403645,"ns":120,"title":"Item:Q3392942","lastrevid":50747702,"modified":"2026-01-15T00:46:51Z","type":"item","id":"Q3392942","labels":{"en":{"language":"en","value":"k-SAT Is No Harder Than Decision-Unique-k-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596323"}},"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":"Q3392942$D95BED6E-9711-4F9D-B259-8BBE1AE18027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb965a5ddad565d6e866508bbe099827f76e6cb2","datavalue":{"value":{"text":"k-SAT Is No Harder Than Decision-Unique-k-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392942$5065AF6B-8BA5-45B2-9CF4-634D2FFF3A2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66eb63f9399db551a8862f984534a47756235738","datavalue":{"value":"1248.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392942$633AB637-791B-4753-8AB2-E9D30082C875","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91e5414d6b2cc03a41a67102ba6abbfdabd05e1b","datavalue":{"value":"10.1007/978-3-642-03351-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392942$94E15D2F-63EB-41F6-A4AA-8F616DFC7EAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"089e41c8f7ccaf5215cb8d787978dedbdccbc06b","datavalue":{"value":{"entity-type":"item","numeric-id":1949745,"id":"Q1949745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$742816D7-A11E-461A-ADA2-BF4589987182","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":"Q3392942$88CB53B7-2478-427F-9846-4F8EBAB09AE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67369056b9d9aaf16ec761af964d570fdcf3aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3392935,"id":"Q3392935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$E3D421A9-D13D-4D05-940F-D4E487F558D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392942$B001FC17-CB7B-4EDD-864F-47C99FA2896E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392942$1CEBA0DA-530E-4076-B885-9B10E658FE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6852149593262c56ef32b3a27a94743abec8ba2","datavalue":{"value":"5596323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392942$44C66CE8-F460-418E-92FB-9DDC538D3069","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$6239FD24-05B4-4141-8EF6-A706F085EE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b4a1c903bdbad63491df93be09359d9b4e135b","datavalue":{"value":"unique satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$CB25A010-943E-4D76-B1B4-E73711DA4A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5308c51191e63a8bd09d626d97660c1ea022e423","datavalue":{"value":"exponential complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$3677439F-D7A0-449F-90D0-B7325DA5FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$22F75EDB-68E9-4251-846B-B935815BEBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4282d5db6721a0519f4f520381157fa14d63ade","datavalue":{"value":"hitting set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$B88849DE-7C63-4D8D-B689-99EF47A0A16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36f1f661169e98576879579295ecf0220457b9c","datavalue":{"value":"independent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392942$2700DE86-06C3-479D-B8BD-3B73336282B1","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":"Q3392942$102243CC-BB4D-4622-9F7E-ABB903AC74D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80cf1c62476bbbf8f5e42da5f75c6a70dfca63a5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03351-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392942$903A9C4E-848E-4A40-A288-4D5B74CA1775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b71c7837a12ede1d61a439954701e81238040b27","datavalue":{"value":"W1573449427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392942$C8E070B6-E422-4C92-A09B-F4D69A83EF62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae59d18a471764f9f7ca3b95b5752d8f8a2107d","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$E3CBEC24-B0B3-4CF0-850F-0D72914128AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df874a0718fb56d6d59d535d492d255a5c0860e1","datavalue":{"value":{"entity-type":"item","numeric-id":4351797,"id":"Q4351797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$789384B1-6C3F-4B5A-8FBA-AEEFD53DBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f6417af3313b2a4f1959b9dee0bb7940ea475","datavalue":{"value":{"entity-type":"item","numeric-id":4526964,"id":"Q4526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$B322EB31-8DBF-4767-B9B1-B6F89564AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$6E78318B-FE4A-416A-B293-DB16F1DBA40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$BCF9D1CD-00CD-44E1-BB39-1CF61848385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$9D8DB7F3-6A7B-4E34-BC67-61CE10E4E329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$A597A0F4-C994-446F-863A-669D388A92D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$5DB62D2D-DDFF-4E38-9872-2AFE2639E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392942$CD141891-882B-45AD-BE26-546DE9B66EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7488a95a6fb23c2a75057e349b7ab3a82a4bd841","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f394a5c9757da1a6a3302a236024175131470d7","datavalue":{"value":{"amount":"+0.8362284302711487","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":"Q3392942$C22ED03B-2790-4E2D-AE05-A5E0764D80F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6456c7d409da6b9e2de61a1cd646ae0a609b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4930606,"id":"Q4930606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0583636943e51d89b3a6554d8ab52bc760e781e8","datavalue":{"value":{"amount":"+0.8005236983299255","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":"Q3392942$3FA24AC1-8963-4E04-8861-A93CA7EAD2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5c97b0c0a80ad0fa924768419aa3a706708841","datavalue":{"value":{"amount":"+0.7977239489555359","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":"Q3392942$9B9C7850-672D-4960-880E-556AA09B6550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9915455ac2b613fc0c8608cecc935e921fe3d5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5479362,"id":"Q5479362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e22aebb5eba67f70ea7f808aa9c88df0cb7c794","datavalue":{"value":{"amount":"+0.7908051609992981","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":"Q3392942$2BD14BBA-87E8-45E4-A29F-C088774972A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7d84aac28aa4104c6f9771421b418b2d3a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6027d3c71a216c4ccc5e22d40c30eeca126b5063","datavalue":{"value":{"amount":"+0.7828467488288879","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":"Q3392942$75F67B13-5D0A-4AAB-9E2D-933B5198B429","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392942"}}}}}