{"entities":{"Q5212800":{"pageid":7242371,"ns":120,"title":"Item:Q5212800","lastrevid":53650673,"modified":"2026-01-25T12:14:26Z","type":"item","id":"Q5212800","labels":{"en":{"language":"en","value":"Faster \\(k\\)-SAT algorithms using biased-PPSZ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7160536"}},"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":"Q5212800$962F499B-DA01-454F-A2CE-DF92AD71E620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1982397a0d32f3784f8d5af6379e5d1ffc593a0e","datavalue":{"value":{"text":"Faster             <i>k</i>             -SAT algorithms using biased-PPSZ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212800$B9586607-957E-490C-B7AA-9B57E7DD2733","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aec0c95b2d8faf437bf1da521caa5a26db3b1e0b","datavalue":{"value":"1433.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$CFCCBEDB-7AC0-4C8B-8A2F-110D1EBDB920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec23aaad59ac5edd6fabfb0e494fd953dc3880d","datavalue":{"value":"10.1145/3313276.3316359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$C5917C9C-8C41-432C-99E5-41E629C61EE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af8eeae38864a18d9524ebd3b8523aa6691c068","datavalue":{"value":{"entity-type":"item","numeric-id":708337,"id":"Q708337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212800$66E39CA1-87D1-4625-92F0-68EF25E45678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c7fbfd079fb2a9e74d6da5c3a5f8beebbc136bc","datavalue":{"value":{"entity-type":"item","numeric-id":243604,"id":"Q243604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212800$12194BCF-FD87-4DE7-9578-D041196F399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b90dadf80c03650a50ff58bdc19f53ad48f740","datavalue":{"value":{"entity-type":"item","numeric-id":4554354,"id":"Q4554354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212800$AE953303-F030-4F91-A1E5-6385C7EB1749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da68626a0a4efbe01f8daa4dbbed98fdea696571","datavalue":{"value":{"entity-type":"item","numeric-id":233001,"id":"Q233001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212800$E15A57B8-0B3B-4130-B2D6-24211714B745","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec30071785b97eb964fee27a72d549b6933f168","datavalue":{"value":{"entity-type":"item","numeric-id":5212741,"id":"Q5212741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212800$9E694663-7062-4B74-9D5F-9E802130E9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d2fff2838771d2e0e512e8ba6e71ab0bdd7329b","datavalue":{"value":{"time":"+2020-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212800$3B9EC85D-CA59-4A75-B17C-47D4B1C6D49A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$16FD0E06-5CAB-4F90-8CA9-99A200717600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$B7B7EECA-5543-449B-B880-06D2E4892547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e3a756a16d5403236adfba3c31c857ee4f9716","datavalue":{"value":"7160536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$B0B91F67-1B3A-47F1-853E-33E090B373BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212800$F7B3289F-DAC7-4285-9406-FFC00ED25D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212800$11DBA687-CF74-4953-8C27-D706BCA087F5","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":"Q5212800$90D7C13B-FEAD-4AB5-B556-3E3D05CBA31E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a200c24a910822e230003a176061d1f426af0268","datavalue":{"value":"https://doi.org/10.1145/3313276.3316359","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212800$CF3349C4-70FF-47AE-839C-DADDCCC8868D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff093380b1fb1ee266d2ad25d3f17602ef53742","datavalue":{"value":"W2952270385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212800$8F9FEF18-33DE-4B94-B4DB-586FA7C002B1","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":"1f6f77f4cf379e4d551fbb6cc779123bcdd64459","datavalue":{"value":{"amount":"+0.8847832083702087","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":"Q5212800$303F3DF2-91C5-4E5F-859F-C2A18677F424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8835c75a3353a41a8a8393df3e88f7e8a3d44e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5111139,"id":"Q5111139"},"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":"Q5212800$D584F550-814C-405B-A50F-84CC8FFB697F","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":"8e8bfe89ed9f2f80306547d61c3ef9f3e04edc08","datavalue":{"value":{"amount":"+0.8673702478408813","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":"Q5212800$C226B845-E2AB-4650-B792-180B878737AC","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":"3e67f5ec36d9c5894d590dc0fda3b4e1c206299d","datavalue":{"value":{"amount":"+0.8462278246879578","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":"Q5212800$5FE9D9A3-2B02-4A38-B766-F9F1168C6E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893838ad0db80a0a204da65a7202d41c163e47b2","datavalue":{"value":{"entity-type":"item","numeric-id":5915639,"id":"Q5915639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884b24e5609a3f266c0fa0f66e3d327f0bc916b8","datavalue":{"value":{"amount":"+0.8210833072662354","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":"Q5212800$C0DC2FB3-B0DD-43A9-856D-265931793536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212800"}}}}}