{"entities":{"Q3546306":{"pageid":5576210,"ns":120,"title":"Item:Q3546306","lastrevid":50526149,"modified":"2026-01-14T07:20:15Z","type":"item","id":"Q3546306","labels":{"en":{"language":"en","value":"An improved exponential-time algorithm for             <i>k</i>             -SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426555"}},"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":"Q3546306$D4E1843D-D7AD-42DA-B344-BB7FAAAE1CDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"413829ab4846b67be3b9bcfe8f133fd3a69a22b2","datavalue":{"value":{"text":"An improved exponential-time algorithm for             <i>k</i>             -SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546306$0D18765D-6F36-4F16-AB40-AC895680B2FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"952ec97a8f602432537d7dce3e6cd3cef161e001","datavalue":{"value":"1297.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$DE06A9D8-9A02-4809-AC53-58A59EA27669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ccb3f1f175b0b6d38ac3dc38fd2c9db6a2626b1","datavalue":{"value":"10.1145/1066100.1066101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$F26C4FF6-1816-4398-A7B5-B8594D46AD98","rank":"normal"}],"P16":[{"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":"Q3546306$59DF1B5D-7065-4D64-8246-7B1302A906B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546306$2A16DE1B-EB2E-4CA6-97E6-E82658C24058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c465af4ecae833b58ea5e6991be87836c3358f9f","datavalue":{"value":{"entity-type":"item","numeric-id":192221,"id":"Q192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546306$0AB58D4A-35B4-422D-967D-6511C5D1BA8B","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":"Q3546306$6DFF2E1C-DCAB-4D73-817F-10CF37AB3C52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546306$DCD59A75-01B4-480C-AFB0-A1D4FB533EC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546306$189CCD1F-32B9-4CBB-956B-FB86E7A99BE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$F53682FF-C461-4A9C-9EA7-17D8984A6F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$69C70D57-2C04-4569-AD4E-0B46FD475A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$5D3064F4-85E8-42A8-B769-DDFBFB93BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$42C8EEAC-FB16-4F76-92A6-280820E555E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57a401cd824a6fbb001081e6eeca30ec37bae7a8","datavalue":{"value":"5426555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$4BE6FF05-CEC9-46C2-B861-8ACD6E9C1021","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8301376e33ad12f97e38355d35e1653adc5c600a","datavalue":{"value":"Q105952258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$D0C36D77-211C-4D9B-9179-BA0E8BF5FAB1","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":"Q3546306$92270C40-B03B-48AC-ABC4-5C9A1CB5BD3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64a4f9e86ddef7a7bbc4e6a7ad9fd6cd3aaeb4aa","datavalue":{"value":"https://doi.org/10.1145/1066100.1066101","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546306$32E291A6-6D24-475C-8082-DF637AA60156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b059ea7c73041154162299b91ce1b016a010c912","datavalue":{"value":"W2049136377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546306$CEFB86A0-462C-4DFC-B50B-AC548FC8E4C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4c44822b53ae619d62d8b940224636a058b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d12ac97c822771390dc781af0c25060b65e9045","datavalue":{"value":{"amount":"+0.8651378750801086","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":"Q3546306$D1E2ABD8-D02C-4DBB-BC0B-BC5EC6464E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a535a77748dc2be55ce1bd190bff84bf9d3f9fcc","datavalue":{"value":{"amount":"+0.8601183891296387","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":"Q3546306$F2F2660A-FF04-4786-A585-99EC108EC714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7c8c1ab1defcf63f51d6a08f408764bab7102b","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c188d7e86371e30ce38fc488d8684d38fed821f","datavalue":{"value":{"amount":"+0.8586829304695129","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":"Q3546306$119319D2-C104-48E3-BFDA-8C4EA0469B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16815425b0a099f4562872b4631dffd0003b3fc2","datavalue":{"value":{"amount":"+0.8586246371269226","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":"Q3546306$0799A1B9-CE95-4160-84AD-82046385F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac023be66d8cb019e73c23a7f4849aa585b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7081b8e78fa9438cba819f8baf667c809e791083","datavalue":{"value":{"amount":"+0.8435751795768738","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":"Q3546306$9B100707-FC64-4812-B48A-CC5AC22A3E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546306"}}}}}