{"entities":{"Q6086997":{"pageid":13221304,"ns":120,"title":"Item:Q6086997","lastrevid":98657582,"modified":"2026-06-05T18:10:35Z","type":"item","id":"Q6086997","labels":{"en":{"language":"en","value":"Iterated lower bound formulas: a diagonalization-based approach to proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7765167"}},"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":"Q6086997$0926815C-BF50-44EE-BBCE-8C12B808E61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c621aa5a330d3f160b26fcf619faa2515027e113","datavalue":{"value":{"text":"Iterated lower bound formulas: a diagonalization-based approach to proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6086997$27EA4A56-818D-4D92-81D5-76466AD01C5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b12981fbd7db67b41886053f75135be455e90484","datavalue":{"value":"10.1145/3406325.3451010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086997$177EC42B-CD97-4133-A0F3-6544F8DF4365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086997$EFB050BB-5A42-46DB-A1AF-987AB6D0DD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086997$E47310BE-E239-4F86-B777-81F85D2E4BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1daac321441bd98d8a8a605c8e52de8430f356b","datavalue":{"value":{"entity-type":"item","numeric-id":6065162,"id":"Q6065162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6086997$F34A33C4-DEAC-42E1-9484-90C564458772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57f772c7334dce3f7920e528999b803f662d580","datavalue":{"value":{"time":"+2023-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6086997$CCE6464F-3C31-4125-84B7-AECECA7BC2EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"155adf0b72529fe63f47535e2de0193b0943912c","datavalue":{"value":"http://hdl.handle.net/10044/1/93966","type":"string"},"datatype":"url"},"type":"statement","id":"Q6086997$8DAA03B2-657E-4281-BE29-D04853EF6D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086997$2CBF28CC-3A2D-491F-A55C-76297DF1B91A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6cc612c4f21fbbf27f8aa6650f2baeb83bf9268","datavalue":{"value":"7765167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086997$A8F7FDD2-F6FD-498B-B025-626921B3B7F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69cfd341a7d55df7894079e6d97240f886311089","datavalue":{"value":"ideal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$EB5DACAD-7636-441D-B7A9-08F9A9982448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$822B2B51-576B-4DC6-AEA8-5AD1FDA21986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2cbb919da3f848775117f39f3dbcdd2f9d9362","datavalue":{"value":"circuit complexity lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$4018733C-9943-4CB4-8AC4-DB9CADAB215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe482273e305293356e93ecadbd9b1e669ce0e52","datavalue":{"value":"diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$CC1CDD96-1A9E-4842-9B06-51DEC1A5B2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c673b77c4ee391ba3a99a90f163a6eed65ad9fa","datavalue":{"value":"iterated lower bound formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$EF2D7D98-FA2F-4CB3-B675-BB49833A7077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae1ad246f702998e2f288860e5e50fbdd1c2346","datavalue":{"value":"proof complexity lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6086997$9B04A031-69D8-47DF-8F9E-45ED4C9AABAB","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":"Q6086997$0987927E-3ECB-475B-8D2A-3C68FC029A31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bce10c7f63f7416b77c90995bf23b231c998584","datavalue":{"value":"W3172953073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6086997$06ABEA1E-983D-4193-83A5-5D245187759E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d692eed67ec9a8284703b082979a07df62940240","datavalue":{"value":{"entity-type":"item","numeric-id":3087953,"id":"Q3087953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29a144219145eb97ac3451831eb52bc72d6933b","datavalue":{"value":{"amount":"+0.8899739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$0AFB3A23-A515-4331-A1E8-BC188EDFC885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188d8cfa75abf564be9291830821175c9f03836","datavalue":{"value":{"entity-type":"item","numeric-id":4829363,"id":"Q4829363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820efab359b3d0729d56170e0a02ef6abc5592e4","datavalue":{"value":{"amount":"+0.8849415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$06DE8C40-6087-4906-A644-3E564497B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b3c91221efc4dafbc859381177261577da2ea4","datavalue":{"value":{"amount":"+0.8793274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$06C6FAFF-4CD1-4663-9699-7973B96A6957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc67d555ee09feda8744fd93f609934b963dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5028363,"id":"Q5028363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b3c91221efc4dafbc859381177261577da2ea4","datavalue":{"value":{"amount":"+0.8793274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$CCE606D4-5C88-4A80-86A7-E93032ED9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3996081a52ac3816892908c45f93edf284bfe84","datavalue":{"value":{"entity-type":"item","numeric-id":1978032,"id":"Q1978032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97daada0c9513e6c3ea442ca27fc9311ebb68bb","datavalue":{"value":{"amount":"+0.8747516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$61D7064B-995B-4886-A6A5-907E872A1BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f433ed4f5a03936fe6500e98220ac95fe452e8df","datavalue":{"value":{"entity-type":"item","numeric-id":3794170,"id":"Q3794170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab0648da3c58dfacff0ad5de912e74b73114ee6","datavalue":{"value":{"amount":"+0.8736884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$B4B02F25-8E0C-4149-ABFF-AEE5629F240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3138693bd546f6c905d99f782356754d782129","datavalue":{"value":{"amount":"+0.8734529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$2AC40299-22A0-4FFC-9A15-72318ACEBE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd342851f82092c36d356a3c8af859406901c2","datavalue":{"value":{"entity-type":"item","numeric-id":1374208,"id":"Q1374208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce920d71b5171988bbc17ba894e6485c9a93b44","datavalue":{"value":{"amount":"+0.87158036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$8CE0EF62-B33E-4072-915A-B4E09C7F350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b43ff2e102640a9c10ce0f715786f844affb1e","datavalue":{"value":{"entity-type":"item","numeric-id":856413,"id":"Q856413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa8705845e5c282ba94ba9dcc7c9fa4fb3f3cc9","datavalue":{"value":{"amount":"+0.8712112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$0FBC986A-5CAD-4226-AC49-ED8357CE8F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18bb5a76255820fb51f6fd9fc3d6b6d68b1f4951","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbde56610b43150127bc834184bc5f8511b0f1b9","datavalue":{"value":{"amount":"+0.87094235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6086997$EC79698B-2EA3-4A7C-A174-6B2D9860FB40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated lower bound formulas: a diagonalization-based approach to proof complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_lower_bound_formulas:_a_diagonalization-based_approach_to_proof_complexity"}}}}}