{"entities":{"Q5111139":{"pageid":7140713,"ns":120,"title":"Item:Q5111139","lastrevid":94289378,"modified":"2026-06-05T06:26:06Z","type":"item","id":"Q5111139","labels":{"en":{"language":"en","value":"PPSZ for general \\(k\\)-SAT -- making Hertli's analysis simpler and 3-SAT faster"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204260"}},"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":"Q5111139$3C1C0875-BD8D-4921-88DD-FE42A9956260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e829a97b1175484312d88709768ea4cafac30039","datavalue":{"value":"1437.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$CAE2EF30-DD97-42A0-A248-1F31B71C1C7E","rank":"normal"}],"P16":[{"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":"Q5111139$7E1B9451-9A01-49D9-AA84-42A587491048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55145c53b2e12dda40116025a969075735313cd1","datavalue":{"value":{"entity-type":"item","numeric-id":927817,"id":"Q927817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111139$86A86050-69EB-44F5-9320-0E60A44CE17F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111139$041CE4AB-D1BA-45A0-B920-BF0969D78861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$40274F1E-EC50-484A-A241-5EAC0D5BB387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$8226AC0B-4042-4E3F-9A89-1DE1BB98532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$CCE47913-1DC8-4971-822E-E7937304647D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6c51f81f78538b358f7e2600ee695ef60058701","datavalue":{"value":"7204260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$05BB5FEA-62A6-41AE-8EC9-AC9513018ED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111139$791BCABD-6F51-4DE7-B64D-491E6DB4D3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e519b65390b383ec83a918cb6818b168116181","datavalue":{"value":"exponential algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111139$9A0EA0BD-1771-4B2F-AA2E-C6E3EC606832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111139$D748BE21-13F9-480B-BF26-8AB6FB81A952","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":"Q5111139$31D14702-8BEF-4AF0-925C-A49E9F253378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5acb7e3d3570b6e14bfb3e634ae3a7ba3771fa88","datavalue":{"value":"10.4230/LIPICS.CCC.2017.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111139$EE93A0C9-ABAD-4254-8B0E-20A47077C1C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b18cb622a4a775c0b99c238803070ba4c4c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5494936,"id":"Q5494936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6792a3d8994a63f0d90fb89899f99c44977743da","datavalue":{"value":{"amount":"+0.9414761066436768","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":"Q5111139$677739BE-DC00-4D43-B0C5-51ADDAC13ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20fdfdc2c368e5297429f50c2b835c9e83caade","datavalue":{"value":{"entity-type":"item","numeric-id":5167776,"id":"Q5167776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b2c68a88859ce2c3e49c0a72dbe707c0b7ab6b","datavalue":{"value":{"amount":"+0.8939762711524963","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":"Q5111139$78D708BB-2DD2-4940-A5EC-FF1EBB17D35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6394bae7d039a9946024a1021329482503113774","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d4fff84d8aa140eb6a35ba7867222333911bef","datavalue":{"value":{"amount":"+0.8798201680183411","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":"Q5111139$8F4F40DA-6F88-41D8-811B-40282AD940CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afd6883ea2bbb41e8bdd68b4a7fde30afcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3162fc9ca24c670dc2da92b9377feee999395d25","datavalue":{"value":{"amount":"+0.8752357959747314","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":"Q5111139$354EC3B9-91D3-41A9-862D-4EED2E33C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d641d50894e8fad4b48a46b3878af74bb22eef48","datavalue":{"value":{"entity-type":"item","numeric-id":5111416,"id":"Q5111416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bc4d7023fdee9aa708674f498415f8aecb2b4b","datavalue":{"value":{"amount":"+0.8568586111068726","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":"Q5111139$E15A422C-5A5F-456E-AC16-F13B3FE27646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PPSZ for general \\(k\\)-SAT -- making Hertli's analysis simpler and 3-SAT faster","badges":[]}}}}}