{"entities":{"Q3382818":{"pageid":3393521,"ns":120,"title":"Item:Q3382818","lastrevid":55388488,"modified":"2026-02-17T15:17:28Z","type":"item","id":"Q3382818","labels":{"en":{"language":"en","value":"\u210b-Colouring Dichotomy in Proof Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398781"}},"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":"Q3382818$9F182A0A-BA4F-4A89-81C3-45033AB01B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1681437cd5d63e8bd7ad1faaaa5fccac2c64bd1d","datavalue":{"value":{"text":"\u210b-Colouring Dichotomy in Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382818$9A966D2E-0DEF-446A-A322-AB23AD3E71E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21e29a73f493f70b6b6c3ffc393736ea9e8e24b2","datavalue":{"value":{"entity-type":"item","numeric-id":3382817,"id":"Q3382817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382818$E19799E2-437B-45A8-BDEB-4FDE14724777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382818$BF6D2413-D09D-4D6E-BCE9-8027816C6372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf08303169ad5a3ca2230dff35f9b88b1f825434","datavalue":{"value":"https://arxiv.org/abs/2004.13149","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382818$E921C676-05D3-46C0-849F-01A06924D1CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382818$8DEAB732-B42E-41E2-A7ED-6DB660F1B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382818$3161C81B-CC81-4A94-BA6F-C93F79447F5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7883e51c99f737104d2c2ac1406c7f31b8350dc7","datavalue":{"value":"7398781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382818$D1431B42-D555-447A-874E-51E6C0FEE99E","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":"Q3382818$7CD17697-862A-45C9-BA79-94BB4E243FB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6395e4ade909dedaead1d13c70429e51bd1317a5","datavalue":{"value":"W3177600251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382818$C717C103-7C54-4A62-B332-6D489ABCB281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95cadfb58a0f38ba1ecb30b082434277f0b6a7fe","datavalue":{"value":"10.1093/LOGCOM/EXAB028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382818$ED181E33-11D9-4891-9FBA-911F8A2A255C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382818$0ECA0F06-8E02-46C6-9C68-75A8B0CE8A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283438025d4756d0556c12227e1afc28cd29f13c","datavalue":{"value":{"entity-type":"item","numeric-id":817769,"id":"Q817769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f961e5016abfeb6f9c795ba041eda56a03d6510d","datavalue":{"value":{"amount":"+0.8652143478393555","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":"Q3382818$498103A0-4B63-458F-9C85-600598AD43B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909d85dfbaa3149a578478b867f676cf7b408ce0","datavalue":{"value":{"entity-type":"item","numeric-id":1003659,"id":"Q1003659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7bb4fae92d4a7a8a0481c10dd275a236b74a88e","datavalue":{"value":{"amount":"+0.813543975353241","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":"Q3382818$208F5185-20E3-4072-8253-679231CE3EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e8f66284d843f2e34b0f7da453c51af4b10a59","datavalue":{"value":{"entity-type":"item","numeric-id":3058556,"id":"Q3058556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73303017162a6bec01eeb6f12337d5e1522e3c65","datavalue":{"value":{"amount":"+0.8089424967765808","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":"Q3382818$28749CDC-7D3F-422B-9752-8FE5635CC4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae131b8b2ba59cb8f9fe6f97ab17a8d0c89046e","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a82247c7a93b8a6e75947c80f83b10b78a5b68","datavalue":{"value":{"amount":"+0.7895393371582031","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":"Q3382818$B91BEA98-D84C-48BB-AAD2-292600E79EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ad7f8ab15c3a67abc21f5348a58198c125f8a9","datavalue":{"value":{"entity-type":"item","numeric-id":458466,"id":"Q458466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e575e55f93cc63405ef1cfedde5c1f3a30d6f417","datavalue":{"value":{"amount":"+0.7862011790275574","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":"Q3382818$CD801F69-24CE-455C-97F1-BF229F60F82F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3382818"}}}}}