{"entities":{"Q6939714":{"pageid":21141894,"ns":120,"title":"Item:Q6939714","lastrevid":84104129,"modified":"2026-05-10T04:14:25Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$614F40B6-CFF8-4FEA-AE66-96D28E2B5F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$33B009AA-2609-4F2A-86A6-96F7662839BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50621bbf1c084d93515abb8fb9d0b9bcc1e49ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$5D75BC9A-3A8A-4D82-B8BC-E928ED7764BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903cfb127485280b18c88c71ebe9ff101a703258","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$E6BFA62D-0E03-4649-B72E-A2812DD9B69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed649d2c385bac115f092b65543ccd87d6cd2968","datavalue":{"value":{"entity-type":"item","numeric-id":6115377,"id":"Q6115377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$F61A0EC3-9D1D-4FA1-8EC7-65EEACCC5D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$B3E79D11-87B2-41B8-B897-057CE9741073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9ff7b98f27b2858e7e1ac02061aeac863907a7","datavalue":{"value":{"entity-type":"item","numeric-id":6610276,"id":"Q6610276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$A1A2BE94-3643-457F-B0F5-496A199BA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff96a8af0b3826c1c1a241367cd86785226e25","datavalue":{"value":{"entity-type":"item","numeric-id":3507523,"id":"Q3507523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$D906D149-50E3-4B5E-A04A-2AF050E41299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdad075f15d224e1bd8dd6e43bff9a5e4930851","datavalue":{"value":{"entity-type":"item","numeric-id":6866472,"id":"Q6866472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$7533E238-F9F9-46BB-BF24-A99FA4B557D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72458654242a6291d13afce541720636d9ec23a","datavalue":{"value":{"entity-type":"item","numeric-id":6610296,"id":"Q6610296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$A2FDAE11-105E-4E07-BF8D-9DA810E23744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d05e6678d19eb1a32e49555402c193916f0232c","datavalue":{"value":{"entity-type":"item","numeric-id":6640344,"id":"Q6640344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$6A45D196-5D6A-4C5F-A369-2A0E960F8374","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":"Q6939714$88CCBD8A-FCA3-42C5-A4E9-2FF32E4ECF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$4BE16A77-BC88-4100-BFFC-FFB1F827E06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$49B43F1C-1D53-4BBB-BB28-7574AE738570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baee9771963145efca5af6f86557ebcb92b31d84","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$9E2A924B-85BF-4228-929C-55B4E28E6E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b6d60417fa55c5e4603f497a41f70667fe0b6","datavalue":{"value":{"entity-type":"item","numeric-id":6591869,"id":"Q6591869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$991BD6AE-C373-43F5-AFE6-FABC72A85E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb54321e21d9218519a6e43c2917ccec65444a4","datavalue":{"value":{"entity-type":"item","numeric-id":4554052,"id":"Q4554052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$653203D6-5EB6-4773-9248-46F751E83F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7dfb76bf9f2a13f6136f5d7f84829315edb9c","datavalue":{"value":{"entity-type":"item","numeric-id":2330559,"id":"Q2330559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$55430BBD-31A4-40E4-8035-D497C2A5CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41ee1c7d36034c93fe000c790cc80cc2699e8ca","datavalue":{"value":{"entity-type":"item","numeric-id":6568343,"id":"Q6568343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$0E3135D1-F26E-4DFF-B2D5-675613C7063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d185feafbe17c7f4015ee208c31bd202651a36","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$7AE1FEF6-06B4-4F8E-81B8-A388E93BA382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d4194f98ec33822cf618fc70759f09da5ebf1f","datavalue":{"value":{"entity-type":"item","numeric-id":1680241,"id":"Q1680241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$10342BF7-B556-45B2-9152-829221E81677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae710656b0fa978e13bd222adbd9107b4577d8f2","datavalue":{"value":{"entity-type":"item","numeric-id":6115354,"id":"Q6115354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$B3D0AC8B-0215-451F-B011-8071A99185FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0979eecb630299a33c1374ab84fbe0a322448ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3104641,"id":"Q3104641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$210A2BFB-D249-4003-A7AC-FE22F1DFB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e11ac847b7676bcbb71630d393a3b93c1d2f6","datavalue":{"value":{"entity-type":"item","numeric-id":2922623,"id":"Q2922623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$1D3B99F9-288B-4D3A-92DF-669599B70964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4c593f68907b092d3ca7ad8f8e5e6d1cf5bac","datavalue":{"value":{"entity-type":"item","numeric-id":2334112,"id":"Q2334112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$8ED1EDF4-AF9A-4A53-972D-FC1828CD3D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$5FA000D3-C967-48CD-A2BF-4A33A7E36087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9132b9be5a7dafb4681cd87537c645faaa8519","datavalue":{"value":{"entity-type":"item","numeric-id":4562441,"id":"Q4562441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$CEA4E6B0-350E-423E-9090-195B0566FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e215b697f5de642e2cf303b388a6ea8d14941b","datavalue":{"value":{"entity-type":"item","numeric-id":1641156,"id":"Q1641156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$9A2766EE-1768-40E6-898B-2313EF9C0DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988db0dc599bbac8b1a546858473736d9790554f","datavalue":{"value":{"entity-type":"item","numeric-id":6942895,"id":"Q6942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$F933CEF3-AFD3-455A-8A0E-4BE90DDBA597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5473687f51b7b5be98a21aba6adae34231b709e9","datavalue":{"value":{"entity-type":"item","numeric-id":6866487,"id":"Q6866487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$9715A530-4FC9-4CC7-98BC-90EE85A8AED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a4c0d4361a04eca282f8ad573b7549b9d8d21e","datavalue":{"value":{"entity-type":"item","numeric-id":4601843,"id":"Q4601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$A0E5F749-9859-4B37-820D-F98CF0798D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb1c98cea670697bd122c943250b422355282ea","datavalue":{"value":{"entity-type":"item","numeric-id":2029775,"id":"Q2029775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$B7AC2986-5C69-4BAF-AC02-94D6611E223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$3FBDC4EC-DEBF-4C76-A6D0-2D74CA2CE531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c9b92d72030c1a3bcf2681465ffd6f2c8f3566","datavalue":{"value":{"entity-type":"item","numeric-id":952492,"id":"Q952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$A9C8A5A8-F0CE-40A6-8E90-0D5207F71677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$E09C1BF8-538B-4E27-A41E-BCA2BF6F54AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04be479db7f2d10aa3d588e61c7cd4bae54f91ab","datavalue":{"value":{"entity-type":"item","numeric-id":5144899,"id":"Q5144899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$968EA2B1-20BC-4443-AA92-78389C56FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$F075C662-EBD6-4026-BB2C-0F9B551E0792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ee48280c3b631d656d9997c1ccfd90f7e6b44f","datavalue":{"value":{"entity-type":"item","numeric-id":2550391,"id":"Q2550391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939714$1A195325-DC5B-46ED-8408-316A9ACB6AD8","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"}}}}}