{"entities":{"Q6939714":{"pageid":21141894,"ns":120,"title":"Item:Q6939714","lastrevid":75894252,"modified":"2026-04-21T12:19:00Z","type":"item","id":"Q6939714","labels":{"en":{"language":"en","value":"Lower bounds for regular resolution over parities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8083316"}},"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":"Q6939714$E030BBBD-4275-4ABD-8029-A109234C138E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5606e74f8ff2441235784959ff3c837cdcf0652e","datavalue":{"value":{"text":"Lower bounds for regular resolution over parities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6939714$3B2A527B-F89A-4643-A565-2FA0C1154D76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85ae18c903546558a6cd4d3f2f9a147498f179a1","datavalue":{"value":"10.1137/24M1696640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939714$34DCB960-3E07-47C7-BCE3-91BCC33696CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b78134abea4f6bd916f2f7df8f5f83e6fff650","datavalue":{"value":{"entity-type":"item","numeric-id":418195,"id":"Q418195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$7D2FE3D5-5791-4F84-833A-17421FE5A328","rank":"normal"},{"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":"Q6939714$EA776B9B-7864-47C0-9F0D-44701D511703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$E582A784-AB34-4688-B21C-89D71D94EAEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$D91D7CC5-AD20-468B-8258-F1916CA44929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"200766c653243c19625e80ec8515435fd870d2bb","datavalue":{"value":{"time":"+2025-08-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":"Q6939714$D570D013-D190-4F9E-BD0D-A5ECEB952F9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939714$252F1253-0950-4F63-AAA5-4C0F1723CF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939714$392C01CC-BA7E-415F-9FCC-3A96CA7F562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939714$237A7DE1-9233-4EBF-9ACF-3D794DF564BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f5ee0e0ff58ed186bf042233ab82c76a8fe2cf","datavalue":{"value":"8083316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939714$D553C8E0-9B84-400C-80B1-C41DFAB0FDB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0ff891179facf693263f3e3fdceb3a36e7bea4","datavalue":{"value":"binary pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939714$F6C8D3CD-C173-4759-B462-5C7EDF193CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939714$C5CDFDC5-8CC6-4A1F-8060-53ECBEA68A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939714$04162B94-EB25-4588-9374-81FF9526B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa0aa3e56a2fb8f018d6f99b03057d4943d4f2e","datavalue":{"value":"regular resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939714$3121CF40-DB12-4F51-8A42-C9715B617E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920ceed758dd640c6bd74a8cb2d4589e82186ec5","datavalue":{"value":"resolution over linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939714$403BC0FB-2096-47C2-93E8-C22D8276AECB","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":"Q6939714$4553E09C-219D-4C8C-BBA3-5546CBD7B116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for regular resolution over parities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_regular_resolution_over_parities"}}}}}