{"entities":{"Q5419094":{"pageid":7448668,"ns":120,"title":"Item:Q5419094","lastrevid":58559694,"modified":"2026-04-05T18:20:28Z","type":"item","id":"Q5419094","labels":{"en":{"language":"en","value":"A full derandomization of Sch\u00f6ning's \\(k\\)-\\textsc{SAT} algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301148"}},"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":"Q5419094$79589B9F-EBD7-41A1-A0B9-16BF1832F99C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"409be882c194af939704242fd4941cb26249cf84","datavalue":{"value":{"text":"A full derandomization of sch\u00f6ning's k-SAT algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419094$66D0E74B-B956-4848-93FE-ED44BE85D37B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8b5fbfbd5d9dadbfaa4130d3fa7b7e35aeecca3","datavalue":{"value":"1288.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$BC44D4BA-949C-4492-8AF3-A9B2595820CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f5fd35147277ded3cf51a3d11391fe74110b478","datavalue":{"value":"10.1145/1993636.1993670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$9545B6F2-9CC2-4ED4-9043-EEA7790BDECE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a3723e55170041f513474a3619d0e76af9c553","datavalue":{"value":{"entity-type":"item","numeric-id":715079,"id":"Q715079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419094$7FCF375D-3A65-450A-94D8-7B093369C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419094$CBF8CB3D-3DF2-47CD-9FBF-83BD40B8A433","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1820b3623dbd92be99361367bcd78fc5ae1d96e","datavalue":{"value":{"entity-type":"item","numeric-id":5419068,"id":"Q5419068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419094$8E17C77F-ADB9-4101-B63B-77830A21ABC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419094$376D93B6-3692-44F1-ADFE-39F835E5D323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b1739b8dac1084addc0aa95195660781c613925","datavalue":{"value":"https://arxiv.org/abs/1008.4067","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419094$3F8A05CC-8908-4AEF-8C86-B73215C27129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$AB9B8E56-1203-4462-84FA-98892C7D8B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$BFD4DC8A-AE18-462A-85BE-3D3394B419F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$79E09643-36DB-4A92-9E60-F743AA37FDB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd29142f89d0a7d3b424d0b2536b0eaf2b17f2a","datavalue":{"value":"6301148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$BA910481-7591-4AE9-AD48-B10FE22BA2E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fdce5d96645e7412e3930f93a572c0cf1b78710","datavalue":{"value":"\\textsc{SAT}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419094$901BE405-BA53-400E-8521-60906F85484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102da17dd95f3e3a5ef49bad33d902f26a2804ed","datavalue":{"value":"Sch\u00f6ning's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419094$9FA714DF-B3C0-4040-B4FC-A521B0A56B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b780876d6cd571fe1e41341c135a10b0acf751","datavalue":{"value":"derandomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419094$8743C549-44FD-40E8-BA7C-28F579FD476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4372fba8f125874a6a22d99ff9afac3a67ea2e2","datavalue":{"value":"deterministic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419094$49049168-E489-4CB9-BE83-62B4E7C8F44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f43cd149c8db8f65c1540f995cfc683bbd5b718","datavalue":{"value":"\\(k\\)-\\textsc{SAT}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419094$9D3D6FCB-9B33-410C-B7BE-D3DDF8D2163E","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":"Q5419094$EC7E52C7-5008-4788-9878-F457177F09CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e954f5428653990713fc449d8da7b4baf4a4245a","datavalue":{"value":"W2168704151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419094$28B7CB0D-0DC5-4C48-8765-942D4A7CEEC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541151ac26e9d8891b56677c481a45bd38475259","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d2027b184e8c70957c970f8826d394ff7c46c4","datavalue":{"value":{"amount":"+0.8681361079216003","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":"Q5419094$3B0DD0C1-0DC7-421D-88D0-4F868BC034DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3622608b55a92f960e835e00363d1035d678deb","datavalue":{"value":{"entity-type":"item","numeric-id":5714775,"id":"Q5714775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eb9bdc7acdd74f02ae7df05e846ef8bc537572","datavalue":{"value":{"amount":"+0.8636181354522705","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":"Q5419094$47ED0189-E092-498F-AC27-259F330D4180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3810864a35b6a3d35bb1a54e7cca55dcfc978562","datavalue":{"value":{"amount":"+0.8477160334587097","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":"Q5419094$FF1E585D-502E-491F-A17C-9ADDC0D20189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f3ee7f8002e0274b38f40061c23c8461fc871e","datavalue":{"value":{"entity-type":"item","numeric-id":5713712,"id":"Q5713712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121552ec46325c82afc6a9256e3a235ede93b261","datavalue":{"value":{"amount":"+0.8423169851303101","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":"Q5419094$4E3E4523-3A76-4226-A27F-1A23AE80AF6D","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":"26dc906b82ec578dec05511d285e77083c239bcc","datavalue":{"value":{"amount":"+0.8400794267654419","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":"Q5419094$AA690335-6E33-4A50-9E8C-E482B2970249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419094"}}}}}