{"entities":{"Q4976395":{"pageid":7005974,"ns":120,"title":"Item:Q4976395","lastrevid":98340539,"modified":"2026-06-05T17:16:14Z","type":"item","id":"Q4976395","labels":{"en":{"language":"en","value":"Tight lower bounds on the resolution complexity of perfect matching principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6754660"}},"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":"Q4976395$FDE596E7-32EB-4F4F-B644-E6CD9A949D60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47af09502f3450c7215199d5aaacb6dd340951da","datavalue":{"value":{"text":"Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4976395$3CDD7A33-7BFD-470B-A42B-451D8445DA1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb3d8531715824bbb568672eb8cd54e24e104f5a","datavalue":{"value":"1432.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976395$E9D50A4F-C022-4A4B-94F1-8F14F767C187","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bf81f8781795ba975b015095d2e3a8c9381ce61","datavalue":{"value":"10.3233/FI-2016-1358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976395$462CCBEF-CEB1-435F-843F-60E524BF72ED","rank":"normal"}],"P16":[{"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":"Q4976395$AF06F863-043C-4081-B6B5-EA509880AED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7addca70f9ebb482d1b911999acae90ed61060","datavalue":{"value":{"entity-type":"item","numeric-id":2818002,"id":"Q2818002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976395$1D8FB767-E8DC-4583-B610-E1BE8F219591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a40fe35a8dc7c8a478c290b947cd627ffe26ef","datavalue":{"value":{"entity-type":"item","numeric-id":3194718,"id":"Q3194718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976395$1BC432CD-0AAB-4682-B7DA-EF45EC4BE5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976395$A5917F8F-D98F-4BF3-BF52-F0F1F0238F63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976395$ACF729CB-59B0-4F0F-BC8D-D0829C5EFBCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c75f36686ff101691de5da09ae7135abb2a012b9","datavalue":{"value":{"time":"+2017-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4976395$1689A57C-50D3-4256-A618-92A834A9E593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976395$F714F438-BCE2-4D92-8F4D-9377A03A7043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976395$CF70E72E-58F4-4366-A3EB-7C464B07C897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f51087f8714262667e917828c381988c49c2cd4e","datavalue":{"value":"6754660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976395$FA928246-15AA-4EF2-A79C-8432EF635CB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976395$AA66029E-08D3-49FD-9167-2176861775C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527fd9bb73202f3ccbc2e98a6043eb9ea7b5dd2e","datavalue":{"value":"expander","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976395$8C329AA1-FF29-4739-B59A-400E758447BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ec132a1ede33f50fb04fa222303f9cda249a50","datavalue":{"value":"perfect matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976395$4CC89B6C-EDEA-4A28-9C2E-0EB37A764485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976395$856E6805-6033-41F1-953C-34BA4C55E65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976395$AA5C5A5A-4DA7-4702-B0F3-505035EAFC19","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":"Q4976395$9CD8D6C4-2D34-453B-8EF6-DEF6760A4155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960e1850994548bb32fef2717e1f7cdd3feed471","datavalue":{"value":{"entity-type":"item","numeric-id":3194719,"id":"Q3194719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863392fe283cf819d15ae614e2d8332db92ad43d","datavalue":{"value":{"amount":"+0.9841170907020568","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":"Q4976395$F1EBF468-9470-4A97-9FC6-1D6C8D109CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ebda57c6bf797431b710aa527978a97a6319e9","datavalue":{"value":{"entity-type":"item","numeric-id":1881260,"id":"Q1881260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d6efb24662678096c7985683c07e1e27029d86","datavalue":{"value":{"amount":"+0.920742392539978","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":"Q4976395$5E8B2816-C1B1-45E4-B4B2-64FF19A44126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912a939e92de378a73d8d1ec3fa814460af9ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":1861903,"id":"Q1861903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566ded742543890cb9b9703978d88e08dc17b0d2","datavalue":{"value":{"amount":"+0.8493375182151794","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":"Q4976395$49A16B00-1BF9-4328-84AD-D00F362B13EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30444dbe4c4ae7564a131ee357fd53d149121247","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3270c70e1196f8571715e840bd022c677f50d22f","datavalue":{"value":{"amount":"+0.7823445200920105","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":"Q4976395$B6E4509F-9661-4639-B560-00127139E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33796a6906fd66794fcaa18e20c9ae9d4a4cf4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4699289,"id":"Q4699289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3270c70e1196f8571715e840bd022c677f50d22f","datavalue":{"value":{"amount":"+0.7823445200920105","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":"Q4976395$670ECF25-71B5-4435-A9D9-9A3269D1BC9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tight lower bounds on the resolution complexity of perfect matching principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tight_lower_bounds_on_the_resolution_complexity_of_perfect_matching_principles"}}}}}