{"entities":{"Q5111416":{"pageid":7140990,"ns":120,"title":"Item:Q5111416","lastrevid":58423149,"modified":"2026-04-05T04:00:14Z","type":"item","id":"Q5111416","labels":{"en":{"language":"en","value":"Tighter hard instances for PPSZ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204537"}},"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":"Q5111416$3FC219BA-6A2E-41A3-B7AB-7677103070DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eccf443e23694e127fbb88d782d17af8c4bab0bc","datavalue":{"value":"1441.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$33085012-0CAC-4258-9E9E-E2FC481F67E5","rank":"normal"}],"P16":[{"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":"Q5111416$78C2958B-33B6-45E7-85A4-3111CCFA233C","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":"Q5111416$D5F5178F-D0B6-48AE-B1F8-10AF706B5F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111416$2CD5EFE1-F377-49B8-9428-8B3A2D00C413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111416$73A317FA-8318-4A91-A4DD-A603A4F37C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a781d187807089d1d2ad9aa3687b64b654941c8","datavalue":{"value":"https://arxiv.org/abs/1611.01291","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111416$D0106268-9DC4-4856-9738-747D67BD170B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$C1923053-FCB1-4F10-8B41-C85E5F2E070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$BDFF6A9F-027F-404C-BA12-C5C4328DEFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$5AAE6F8F-1AF0-47C6-B8FE-D1DBACC3CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$4B26B913-B563-450B-B7F9-1EEB1D6372F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb108f96d4de1a325450c3e8ae84362170a1f27b","datavalue":{"value":"7204537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$DA31715A-87CD-4ED6-B782-8BA2542A0EBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111416$C389AF49-98FE-4E79-9213-7978D01B0158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6875ec2def16b48a9065ad482b76c42c8d93cde","datavalue":{"value":"strong exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111416$E12E8E8A-9378-4A61-AC48-509CFED43B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e8266623aed20da388d52caf62d3386095f24a","datavalue":{"value":"PPSZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111416$9834EFD3-191D-4FB6-AC95-0C19D2E11086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111416$852F8EE8-75C2-4642-9A95-C5B25AEDF88D","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":"Q5111416$4F494BA8-05F5-4624-B741-1B64E5637D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d8de13daf19f0c20a9489bafe87f474a7b8eb20","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111416$C9D35B43-A0D0-4025-A24F-D3150A2ECE68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6678d2ab83a12e2e89ebbf4a35617db9b7eb3904","datavalue":{"value":{"entity-type":"item","numeric-id":5741800,"id":"Q5741800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5054069d4fa586c3155bc29c94f8c7862fead50","datavalue":{"value":{"amount":"+0.8812782764434814","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":"Q5111416$08B031DD-FD03-45EE-867E-5E97A17ACCF3","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":"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":"Q5111416$316AA23C-617C-4CF6-8E23-B38BCAD0E7DE","rank":"normal"},{"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":"f37ac0c08ee33819733af9ef8927b80fdedd7454","datavalue":{"value":{"amount":"+0.8548401594161987","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":"Q5111416$7C3D72BC-1292-4F37-9CDF-7D74A907AD39","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":"6de688072e83c909bdb733a3cc615d82e0b31526","datavalue":{"value":{"amount":"+0.8436287045478821","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":"Q5111416$6A85A1F1-A493-4776-B7F2-577202C4DDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b843dfd56b2ff096d78ec08546c89bb77c4fba1","datavalue":{"value":{"entity-type":"item","numeric-id":5205821,"id":"Q5205821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39950573fbcfb87c312cdba78d7c5fbc66196179","datavalue":{"value":{"amount":"+0.840030312538147","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":"Q5111416$1DEEF60E-0C0B-4E7F-B49E-ABE8CBBAB994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111416"}}}}}