{"entities":{"Q2565988":{"pageid":2576731,"ns":120,"title":"Item:Q2565988","lastrevid":72794670,"modified":"2026-04-14T07:53:06Z","type":"item","id":"Q2565988","labels":{"en":{"language":"en","value":"The role of quantifier alternations in cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210068"}},"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":"Q2565988$4E70344F-C38C-4A81-901D-E1708468B180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c900dbea31e2f40d6767d1b0f7ff68d8e99ebaa8","datavalue":{"value":{"text":"The role of quantifier alternations in cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565988$3C8B082F-05DC-497A-8EE8-64EBB40AA210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18a476fd78a95fa511d2912878f28d41c90f1b44","datavalue":{"value":"1078.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$666A4AF9-5C7A-4A05-8734-B2FA1BF62228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b72ed3f0645b45bfaac00358ab147f29f3539249","datavalue":{"value":{"entity-type":"item","numeric-id":819710,"id":"Q819710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$B6114CDC-BC5C-4AC0-AD6F-8EC7BECDC7F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$3A69CC44-3124-460B-98A6-D5664C4CF170","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-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":"Q2565988$C87EEBCB-1B2C-4A46-8349-F8EF35CEF2CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$55B50B45-61ED-471E-B79C-F99F95E09DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$74AC51A4-8CF0-4D8C-B1BB-8B9291C15831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96bbb0bcc3c93628391cb68712e7c4b1191c2c5c","datavalue":{"value":"2210068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$8AC39A16-B540-4353-9212-6A0E1C2BF6AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565988$BB85AEDD-64F3-4979-8FBC-9148ED2BD99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565988$58DE67D5-E412-4388-A2DC-60EBCE96CCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d0ebd1bb16f84fd51249ac1b90b1bbe2a57d0f","datavalue":{"value":"quantifier alternations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565988$ADEADBA8-56C8-4D2A-B333-C2424809095E","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":"Q2565988$185BC31A-DE38-4BB8-A0DC-B9E7321145CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3bf2781587d69d308d847c370da4a500d1758d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755147","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565988$5B82133A-7DE5-43ED-BD16-C68A82F0F4AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c108e58748b930c8f93ed0b0b192a916cf6613e","datavalue":{"value":"W2078269136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$CB58D35A-817D-4842-AFF2-493ACE8E7071","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$CDF457F9-8A35-4388-9BD5-2B27EF73F559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdfe8673c5379ab5fd3f0d37bf8efc00370630","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$7EA9986F-D22B-4FB6-8892-BC703C9335C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$FEB78202-56E6-4498-8A2C-2B653E13C7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d00aab1326d4e92125bfdd3af6e80e218d54c4","datavalue":{"value":{"entity-type":"item","numeric-id":1329747,"id":"Q1329747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565988$D19DA4E3-E693-46F4-B23F-B8C740514758","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bea05186f45e6a6ef234f787fb86312ae1fd261","datavalue":{"value":"10.1305/NDJFL/1117755147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565988$D63C66A9-B44B-4587-8E2D-87AC37AE1B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a03b82fa18111f7f043489b71fd32ab33840af0","datavalue":{"value":{"entity-type":"item","numeric-id":650922,"id":"Q650922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33b16b819e40ba66d9dc35a961df022a94ec5e1","datavalue":{"value":{"amount":"+0.9037338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$81D5ECB5-D20F-4CFE-B57D-AD39AB3CC9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e591e8f1661a0a691b909d13ac0d3c3b0cb3082","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f612efb21ec96a23c037664cd8edf631713f33f","datavalue":{"value":{"amount":"+0.8852637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$46BC248A-3D7C-4D16-BC1B-188A70EA24D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7910f50ae5a96092eb3bdfb8702ba88ad922a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ce847cac6a7099ff506c7cb38d709a9ced5784","datavalue":{"value":{"amount":"+0.8792873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$EC2FA7ED-A2BF-4BAA-ADDA-A0B6E5B7CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ee07b29d77878bb65a0ec03b213370205494b5","datavalue":{"value":{"amount":"+0.8777044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$2E4DFE9B-4458-4B08-9A82-277745B59744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8260cc9c085f069914242d34cb814dea0d9e1182","datavalue":{"value":{"entity-type":"item","numeric-id":479823,"id":"Q479823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460b67f42b622f37311048301283c86f30ae337d","datavalue":{"value":{"amount":"+0.87681484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$043A34CB-100A-47C0-9680-3EDDD18D0501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abede1ff1a0be2900336d947290c1b6d50095efc","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ac7e262f4193989c913081b25798aa6c9ea675","datavalue":{"value":{"amount":"+0.87028587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$2602106F-04F4-4850-879E-53F79AE80901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282ae6e1712810c2f0e00324b3d92a6eb3b51e97","datavalue":{"value":{"entity-type":"item","numeric-id":3140550,"id":"Q3140550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c28dbef4881b0a13b5bae0a9681789be6bc4349","datavalue":{"value":{"amount":"+0.8701284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$67A21321-2441-444B-A2B3-81C49CC694B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4222cf47cdeff379be292ad010834daf7cbb2e","datavalue":{"value":{"entity-type":"item","numeric-id":420753,"id":"Q420753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10122a8863eccba9298dfbfe005a3cb76390eefc","datavalue":{"value":{"amount":"+0.8616246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$1CD92821-A2D7-41A4-8A85-40E7D95E2C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44baaf42c67111d7698a41b61b0bd5a433aaf48b","datavalue":{"value":{"amount":"+0.8587494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$0BCFB180-B48E-491F-9D19-E346C829C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd51efe569759d2e72a0c824752e6829a4649347","datavalue":{"value":{"entity-type":"item","numeric-id":3153288,"id":"Q3153288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af670caf4032e927a0f110f991723c4034bafcd4","datavalue":{"value":{"amount":"+0.856035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565988$8382FEC7-DC4A-4B40-91C0-C79815571369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The role of quantifier alternations in cut elimination","badges":[]}}}}}