{"entities":{"Q3177773":{"pageid":3188483,"ns":120,"title":"Item:Q3177773","lastrevid":53157494,"modified":"2026-01-24T08:34:38Z","type":"item","id":"Q3177773","labels":{"en":{"language":"en","value":"A new kind of tradeoffs in propositional proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912612"}},"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":"Q3177773$1838A0D9-4924-4AF0-874F-0EF7009A25FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0e3a3d8716e05d1372d9d8ca9b4c6adf12f96b6","datavalue":{"value":{"text":"A New Kind of Tradeoffs in Propositional Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177773$F78BE8BA-D341-445E-A7D7-0BD8F09156D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfa7b180b03ba70105cfbfd2dc7238e721532e4c","datavalue":{"value":"1394.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$1038B0E8-3E3C-4323-996F-F8CDF12A2DC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da2353c7cddcdf339e44398ed1e718ee53d9c78","datavalue":{"value":"10.1145/2858790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$DAAD2AB0-5777-4909-B528-DCA10F09DCB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177773$118525D4-6672-41C5-94EF-E1893BCF447F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177773$F14C8676-4A0A-4A75-9E28-2A0CC3852018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$7ECF7D4C-7189-4E90-85A0-4A6D83A7449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$C96C44ED-2FEE-4D4D-9516-D6E4CBD9F702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b76013d467a0aef013c41e56a9eb48c688bb928","datavalue":{"value":"6912612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$8523E82F-BE09-4298-B2FE-8A674B655EBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55a5d327c54ad93af74286fde622d3a366ee532","datavalue":{"value":"hardness compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177773$D58AEA6A-0909-438B-989E-2275BA2DBC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177773$67240087-533D-432D-A158-640C052426E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82a4b59d6b847a7e17bc0c19a528f090214a1eb","datavalue":{"value":"tradeoff","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177773$25C49B7C-E4E4-4D53-9328-543B757CC730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177773$7878A92F-684D-4022-909D-B4E9C4C21EA6","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":"Q3177773$43C18299-7E9D-411C-B330-AE524369AA15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"225ff9c3f3492d85ae4b6b50635ec28d84c9f587","datavalue":{"value":"https://doi.org/10.1145/2858790","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177773$0E5E4F6D-C5B0-4EE0-8D9D-21FC9C307F42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbcc75c1613fbc4ffbf2a3d13086f90cacb83db7","datavalue":{"value":"W2322748670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177773$2CBC9D86-FAA2-433C-ABD6-10A03DE51A43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc93200fd5ae2868139b8ab4dcb5ef3779f471b1","datavalue":{"value":{"entity-type":"item","numeric-id":2382288,"id":"Q2382288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5086ce7a754249b5798c3fa1551b7a9e43a701ff","datavalue":{"value":{"amount":"+0.7913108468055725","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":"Q3177773$F27AB518-0DDD-4D8C-B46A-E3469D6D84AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5856dd7dd9ddf199bc9d04e5efadc38ade5f7526","datavalue":{"value":{"entity-type":"item","numeric-id":2816413,"id":"Q2816413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d278757c1cfb590e93706cf1075dab66b04dd4","datavalue":{"value":{"amount":"+0.786586582660675","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":"Q3177773$921F48E0-026B-4A37-B57E-39A8E5B02873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb30c857885d253bf26bca70742f428e38536d","datavalue":{"value":{"entity-type":"item","numeric-id":5898862,"id":"Q5898862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6966d0cb631f48e6bb815f3175c5cdbe3a0f6802","datavalue":{"value":{"amount":"+0.7846370935440063","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":"Q3177773$23283C57-5E6E-41A5-AF14-134B4790562B","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":"883d6afc7534697b5d9ccaef6d842da1ab4b8bd1","datavalue":{"value":{"amount":"+0.7785435318946838","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":"Q3177773$4644ED00-E088-4152-8DDA-C95EECE9558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a99b2168dd8c9604fc3f70ef4a7f9e43cf94ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e1a509fd7ddc7356e252d5b5ae654faa6904d","datavalue":{"value":{"amount":"+0.7700900435447693","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":"Q3177773$79715D72-76A4-4484-8643-C4DD5C2A1121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3177773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3177773"}}}}}