{"entities":{"Q2672659":{"pageid":2683402,"ns":120,"title":"Item:Q2672659","lastrevid":57125274,"modified":"2026-03-26T17:19:19Z","type":"item","id":"Q2672659","labels":{"en":{"language":"en","value":"Towards a proof theory for quantifier macros"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540275"}},"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":"Q2672659$83C18E6C-C98F-4FC7-98E5-6CE9AC26B3A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f7b59f6ed2b54825bb0df55713e137e93f087b","datavalue":{"value":{"text":"Towards a proof theory for quantifier macros","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2672659$EAB277A7-8A62-4051-AA16-185F1983B6AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$BEDF2450-A21D-4628-B4FA-30BA1101B68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$2C13B11D-F4A8-419E-926E-C04A2226C9C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$1D4730AD-676F-46EA-BBD6-D19C4FD1FE24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2672659$BB1967A0-C604-43E0-B984-D299131D9A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672659$9DC28844-705D-4C69-872F-FDF3FBF172A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d014d4cab04f1889f7cd6fbc7db391b2ecd58ca0","datavalue":{"value":"7540275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672659$7D954508-AA5D-4ADA-AA32-8BE97A40F87E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672659$68D84154-D37D-41F2-83F9-54693F9B3DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672659$446B6D5A-519A-4DC9-BD95-6A56F0415B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e6e44c32316e3fe7d78f3ca375bdf4400251a9","datavalue":{"value":"quantifier macros","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672659$73976937-09DF-4BC3-8C45-2ED1F38C3050","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d21c407d0caa5be40d9cc3f3744e9bdba5d82f1","datavalue":{"value":"Q113872843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672659$4B7AF0C1-A0B8-407C-9ED8-BA21446DDFF9","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":"Q2672659$C9765BCC-BD4C-4334-A0DA-AE092271FFF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81a2a4071d98ebd074d4fbf0a3891276f1d7fa0a","datavalue":{"value":"https://doi.org/10.1016/j.ic.2021.104753","type":"string"},"datatype":"url"},"type":"statement","id":"Q2672659$6A01B133-3331-45CD-BBE1-5F7B5568EE18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c695e69e3b40df94d2e7d44e65972e944d6713dd","datavalue":{"value":"W3158976078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672659$B5E75F2E-93FA-4AC5-9242-66D5F9D276B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$AC71C7BA-F9FF-4389-98B4-07A28EE31C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$B1DD7A01-0A37-49B9-92CE-099A8F74BD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$A7F740A9-C10E-4F9D-9CA7-D01E764B74C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$5728E929-BEE5-40CE-B186-1FD7479008F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac47e0f2fc5531eb3db02e8b0fa4fb6ac33ffee2","datavalue":{"value":{"entity-type":"item","numeric-id":2177584,"id":"Q2177584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$FF21A50C-75D3-4D5C-BC08-D1E3B18E0E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ca2b3a8c993e095afbbedb64d0aa4c7a5d7eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3964564,"id":"Q3964564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$6DEAB708-97B6-4A35-B809-F6C833811ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$DA4EB3CF-6AF3-49DE-B707-27B369992B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"659eb2178495f5d3942bbd3845008b570eb5928b","datavalue":{"value":"10.1016/J.IC.2021.104753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672659$3C00B814-55B4-43F7-A0B3-300A25F63F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a787d854aabdde116f7609f005bb2d23f89854d2","datavalue":{"value":{"entity-type":"item","numeric-id":2303611,"id":"Q2303611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897a0e34fe02002f74a9d20312594479a27ea791","datavalue":{"value":{"amount":"+0.872990071773529","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":"Q2672659$462A78BF-2A01-4128-BD64-F92B41EABDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb16c56b01b547484be486ea212678e509d907","datavalue":{"value":{"entity-type":"item","numeric-id":5028310,"id":"Q5028310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d3b752b3da4fde3e335e6fb715269d8322b058","datavalue":{"value":{"amount":"+0.7757282853126526","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":"Q2672659$2FBCE45C-5A07-4337-B5C8-BE496D6FCFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d9685fd65e509364a8de2bff465a6a5a684cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2177584,"id":"Q2177584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79767bbfefd9b08ab5e78f1b120345e6fac7c45","datavalue":{"value":{"amount":"+0.7561032176017761","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":"Q2672659$A695A233-5182-460C-A01E-2EA36BAA0861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdc93c60d0aa7badb9d49920f67ee623666f82a","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106a389092c64019bdf7a7a27d9ccecfc47f9d7e","datavalue":{"value":{"amount":"+0.7252365946769714","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":"Q2672659$0CC0019D-635F-429F-A399-14A378565351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cf489e60eadfa2b0a29993c47d7489a07bca08","datavalue":{"value":{"entity-type":"item","numeric-id":5216971,"id":"Q5216971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217034f79b6d9309a0cf9ed7d70d9e67c24b2efc","datavalue":{"value":{"amount":"+0.7138929963111877","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":"Q2672659$93C55B92-3F53-4DB4-952A-B9C2D544D3D8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672659$1782913E-2A98-4282-BDEE-C6AD96BCF161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2672659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2672659"}}}}}