{"entities":{"Q5092398":{"pageid":7121974,"ns":120,"title":"Item:Q5092398","lastrevid":94333136,"modified":"2026-06-05T06:32:33Z","type":"item","id":"Q5092398","labels":{"en":{"language":"en","value":"Resolution lower bounds for refutation statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561681"}},"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":"Q5092398$201BDE83-8B2E-46CA-B0B1-B9614CFAE61F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1e78f24de2e0af3b81e99cbfe00a1cf71bfac5","datavalue":{"value":{"entity-type":"item","numeric-id":506953,"id":"Q506953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$F436AA01-D8BC-45DF-8EBC-9B19CEA042A1","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":"Q5092398$46E519E6-9019-4B23-8A31-9B0837FC0B58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00eb962596310db85c13b64f6e481a16d6b43025","datavalue":{"value":"https://arxiv.org/abs/1905.12372","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092398$FE229027-FA99-49DD-BD98-2F922D61192D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092398$79816981-AEEA-41A9-BF04-107BE83C52FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f76aa13d6ee6ad7cfd878eeb3bb2b40275c41930","datavalue":{"value":"7561681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092398$DCBEF7A6-E273-45DF-BDBF-50548EF36E9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092398$FE48B78E-62E3-40E9-B035-3433FA1B63EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023750e5dead883fc8777b01fc7abd6792b05e60","datavalue":{"value":"refutation statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092398$B7E0FC25-5D14-4F33-94BF-BA9C9D648179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092398$61EDACD7-113D-4753-A700-A6CB6C1DAA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092398$B89E535A-71C4-40AB-B494-6F3D1CBF1213","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":"Q5092398$A2CEE66F-8945-4B54-BD6D-2DFD7BD93B7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9074ee3d5efbd83e8d8f04ba3e757924dfd642e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$32F07792-71CB-4AC4-BF9F-8130EC63CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$248FB2D8-6514-4086-97C6-0CA07EE269E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$F612A25B-22C9-4690-86C8-6AEE088ED42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$DD1FFF66-1DFD-49D5-926B-837FA242EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b3f42e6c054135450cfd1bfab079b29b703868","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$CE1F9D0A-9FD6-4D74-B97F-2C355807EBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$25C9BE9F-2BF2-480E-84D4-CF23D59E57A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$E5560814-39D3-4360-BC1E-245E775508F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$A6382AF7-E4CA-444C-8F76-D1034D5DE05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba427c17b6eefa38c74275a121a1245ad47acdca","datavalue":{"value":{"entity-type":"item","numeric-id":2816413,"id":"Q2816413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092398$8A1F09E7-C24A-4E89-8014-C0D8372FCB45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2940c39ddcbac310638e5510ce7c69a1736632c","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092398$DFA73F41-28E1-4DF1-B1C2-543F50F71D41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e5cf6a11b9e84f6c8c2b28920dd1310b8c74b4","datavalue":{"value":{"entity-type":"item","numeric-id":5111131,"id":"Q5111131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad42d0e3eaccaee507112d82e6e79d7a1fd0e54","datavalue":{"value":{"amount":"+0.822343111038208","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":"Q5092398$6F770F8C-90C4-4A30-95FB-64127F7847E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d998764a4fd38cbff6a8e48ee89368fb40f15b72","datavalue":{"value":{"amount":"+0.8160764575004578","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":"Q5092398$D3D38174-AD5E-4576-970C-76F9B64722FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dbb18769caf5d61536c0850f31f8ff99f5ef29","datavalue":{"value":{"entity-type":"item","numeric-id":2311546,"id":"Q2311546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaeaa5f07dc1d0a57ddd6d7e310ecbd46a346a1","datavalue":{"value":{"amount":"+0.8152590394020081","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":"Q5092398$F9323266-FAA3-43E2-9AF8-9EDB1E6D11EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838093b358757a675c899cee37dc288026749fc2","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d21a1f3de41416f64b99bb58792ceaa33464dfe","datavalue":{"value":{"amount":"+0.8066377639770508","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":"Q5092398$815227F9-14D3-46B7-835E-081119B30F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78201d52a3f3cab848022f18dc228640f3e9197","datavalue":{"value":{"entity-type":"item","numeric-id":430840,"id":"Q430840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1380fee09b8e10a4f49ffb646d44ab9d9414de9","datavalue":{"value":{"amount":"+0.8061047196388245","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":"Q5092398$1B2D80FD-7CCC-4510-80FA-62301E0E5F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution lower bounds for refutation statements","badges":[]}}}}}