{"entities":{"Q5092450":{"pageid":7122026,"ns":120,"title":"Item:Q5092450","lastrevid":100189181,"modified":"2026-06-05T21:34:44Z","type":"item","id":"Q5092450","labels":{"en":{"language":"en","value":"Super strong ETH is true for PPSZ with small resolution width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561731"}},"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":"Q5092450$255A10C8-20A7-43FD-A0E6-64D6C30487ED","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":"Q5092450$6DBCA9F3-B01B-406E-B309-788E0EE5DDBD","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":"Q5092450$12481258-6C94-4E07-8B1E-DE9004031727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-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":"Q5092450$48C217EF-F20B-4B7E-8547-67946ECA42B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092450$6DF31ADD-9791-496D-BFC0-EC8751F89D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fe597b48cb22e83d96bee8ec29f2769ad50ac4","datavalue":{"value":"7561731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092450$BAA56965-7B37-4605-9609-5BF07B676763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092450$1AE1AF72-5C1C-4FB2-81AE-4909CB816C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e8266623aed20da388d52caf62d3386095f24a","datavalue":{"value":"PPSZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092450$1A1C28EA-2504-4F14-ABE4-6894D8C0AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092450$C2ABCD12-A7C5-4F2B-8F89-2AEFB3711961","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":"Q5092450$BB167F96-1CEF-4191-9785-ADDBB47DBE87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1314d75bdb6e36b43bc5d0e3c017df566a8ab0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1135865,"id":"Q1135865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$8152B011-103B-42A7-9A93-5FB900EBAD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$B559DF87-8F6C-4C20-B420-E93356A9012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964933a5306ce7f04f07b5387ca8d25c89eced61","datavalue":{"value":{"entity-type":"item","numeric-id":5741800,"id":"Q5741800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$897E82F3-8DE7-4E03-AA99-71CAE446D5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce1b86400443e0ae20d58e94201235ac6cd7626","datavalue":{"value":{"entity-type":"item","numeric-id":5725269,"id":"Q5725269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$781F7DE5-8CE3-4B74-BD89-D3FDA2FFC352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc280474ee3ea32ff3408d45b2ca6ec8f4fd670","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$61D36A43-C0F8-47BE-89AE-D5A5977741DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fe66741ca0469a69ca1972085b25c76ed3ea79","datavalue":{"value":{"entity-type":"item","numeric-id":5494936,"id":"Q5494936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$D70A873E-F517-4A7E-8EC3-15C2871008B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$2024190E-8623-4773-B3A6-1345AD0CEEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$C36CF289-3830-4A2C-985D-8F47A10053AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c8e3789483495953a5f9f1800cb444723c7543","datavalue":{"value":{"entity-type":"item","numeric-id":5111416,"id":"Q5111416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$0CEC424E-5BA6-4A6D-B372-1A1F9D84086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bd85ccc81eb03621f0b8df90a02bf3419b6711","datavalue":{"value":{"entity-type":"item","numeric-id":5205821,"id":"Q5205821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$1E17CB26-70E9-4E20-946C-826E299FF583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be71e10144448c252c924b5cce7cf0092781f66","datavalue":{"value":{"entity-type":"item","numeric-id":2181948,"id":"Q2181948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092450$BD83A08C-888F-44A9-AB31-6E400BE00DEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"230816176c5dad18e679ae428ea3da7e9643c57c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/12555/pdf/LIPIcs-CCC-2020-3.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092450$85C6D40F-0679-4EB0-A1B6-34F1852A9D14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b19450f163cdcfa4f55518243b35e5109ab65d89","datavalue":{"value":"W3046491176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092450$7B8CEFCD-A35B-42E5-9769-AC2FFB76104C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a8cd21e8bf0ce59746abdaac8bae0c2bfc73b1","datavalue":{"value":{"text":"Super strong ETH is true for PPSZ with small resolution width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092450$1F89E7C7-B32B-4AA2-9B4B-0B3B0142B9D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9cdb517a309fb6208f308a165b73034972cf87d","datavalue":{"value":"10.4230/LIPICS.CCC.2020.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092450$F22BB26A-CE9E-463D-AA93-8ECF013D5936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597f93b982dd40ad57917793764e512ffe6f06bb","datavalue":{"value":{"entity-type":"item","numeric-id":5856463,"id":"Q5856463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e00cf61bb5294c7b50752dc596c8ca40a5f87c0","datavalue":{"value":{"amount":"+0.7731463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$03F6C1CE-5060-4771-B048-16BFA6E14AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadfc2bf0c1332f16b87ef570b7e74d123c06c56","datavalue":{"value":{"entity-type":"item","numeric-id":2181948,"id":"Q2181948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55270a8ad8cd9d53df57b49e32f98b2f104567a","datavalue":{"value":{"amount":"+0.77314615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$90002C83-E805-42FE-BBD6-4679F625C3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d639964292ac619a23609ae5651f4c7eb5b53d13","datavalue":{"value":{"entity-type":"item","numeric-id":5495819,"id":"Q5495819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a520fe422ea0192ba1d2cc6768816cb621321153","datavalue":{"value":{"amount":"+0.766309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$9058C9D3-7600-4CE1-B2B9-9DE40F389B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89507547789d3705392b76db22928c3289098964","datavalue":{"value":{"entity-type":"item","numeric-id":4298783,"id":"Q4298783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0146dfd7cfa348b02976009bee796d11bc55db64","datavalue":{"value":{"amount":"+0.7148859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$A4993DE5-C108-4962-A3A7-A55672A07BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3633ad0f84ad98f6562ad3456a4c1f05a5aac7","datavalue":{"value":{"entity-type":"item","numeric-id":5215515,"id":"Q5215515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36f476a82cc22880982e7bfd1dd16f60f28bc90","datavalue":{"value":{"amount":"+0.7106975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$1DC1BC33-8347-4B0E-B85F-D9670B1D84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7401c2396678df9562b830016a74a99eb6540cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4598196,"id":"Q4598196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36f476a82cc22880982e7bfd1dd16f60f28bc90","datavalue":{"value":{"amount":"+0.7106975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$C16CF87E-ED4D-46BA-83BB-B3D2483732BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141528bf200c5129707bb450ed9a24d680a238cd","datavalue":{"value":{"entity-type":"item","numeric-id":5124450,"id":"Q5124450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22df7d2b65094f22fa18a6b6b4c8b681d46457e6","datavalue":{"value":{"amount":"+0.6897329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$B10393EA-8DDB-4E25-8891-910C399DFB36","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":"dcc4e7c2a8dd51a09a1af2ab89d54263c6d22ec3","datavalue":{"value":{"amount":"+0.6805539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$CA52C80B-9D66-41E5-B0DB-104834150829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6f573508b552e0a207ff919618e2d666d048d2","datavalue":{"value":{"entity-type":"item","numeric-id":2408195,"id":"Q2408195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69967681e3bdf81fc37846bea5f4a25c313db8f","datavalue":{"value":{"amount":"+0.6799767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$40C3E9B0-15E3-4DD2-A4F5-52E9B857ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34161b1ae4d7985da4feca81773ad17b1c527344","datavalue":{"value":{"entity-type":"item","numeric-id":5363779,"id":"Q5363779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f309efe0c6cedb92eff313f10a516336fd3ab2b","datavalue":{"value":{"amount":"+0.6799766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5092450$D529A492-B81D-48D2-9F9E-70708C6D138F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Super strong ETH is true for PPSZ with small resolution width","badges":[]}}}}}