{"entities":{"Q5739973":{"pageid":7769525,"ns":120,"title":"Item:Q5739973","lastrevid":52572308,"modified":"2026-01-23T00:18:30Z","type":"item","id":"Q5739973","labels":{"en":{"language":"en","value":"Proof analysis beyond geometric theories: from rule systems to systems of rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601619"}},"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":"Q5739973$C9D5C52B-94FD-4C90-AFA4-C184B27359AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66db87f09da06d1676c43c8892dde484359a0ddd","datavalue":{"value":{"text":"Proof analysis beyond geometric theories: from rule systems to systems of rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739973$CC03D8DE-1898-4D31-A629-738FD1727BD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87bb33757b4c8c251023c11bb7306050526914aa","datavalue":{"value":"1403.03116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$8900BB41-2150-4368-8F18-3599EFDDBF8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739973$27B563D0-6966-411B-8EEF-3265627FE4B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739973$B03C051C-4805-42A5-A8D0-625A1CAD2739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$87B15953-079D-41B8-95B8-34D217B90044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$24A50EDD-35EC-44AC-89D3-63B517F99519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$8AF0DF2A-5101-44D3-8258-695E2E0A79F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$79636C9C-51CF-4C27-9383-E79ACAA3DF62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afb8329b23ae3a5bd6b8f86fcfa0bf4d91abf86a","datavalue":{"value":"6601619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$1FD4B5BF-0D91-4119-87E9-3DC393F91477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$9E86F98F-56B0-4554-8820-FA4044A974D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$4EF423DE-AFD7-45D0-9D48-91EE15CC0330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"014e77d41a03ef3b7a98d549457fbe81992f5b35","datavalue":{"value":"generalized geometric implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$B5DE395E-4C1F-46C0-8800-0118C49214CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9302b11e024572bcddd76740f52fe0acfd13d82","datavalue":{"value":"Glivenko classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$E78AA91B-9A22-41FA-A7D7-96A42DE082FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$DEDF9BD8-83B1-4219-BE4B-5D5F4235FFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef281f282680565421e8d21d962d18c0605f23","datavalue":{"value":"Sahlqvist fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739973$2FFE2260-8E0C-422D-915F-6BACE5402DDE","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":"Q5739973$04C3CB21-BB48-4B20-8871-44A6157D6039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6de50116db21f421b560acf42ad8fb2d86cced6","datavalue":{"value":"https://doi.org/10.1093/logcom/exu037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739973$FBF54D2B-2E5A-4893-A798-B23387B7EFC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4321fff45f18437b149c9ad599fcd8aec750674e","datavalue":{"value":"W2115895996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$590FE4B9-474D-47D6-9E1F-1E48F9B166E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4befff40fa9e1a26a82096232d123a1b57dd3c","datavalue":{"value":"10.1093/LOGCOM/EXU037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739973$500F86AE-4579-4C95-AE18-22BEDFA51BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739973$A9D5F2FA-64CE-4AF7-ADCA-F630B748EAA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0f951fb5219809d45b6088b362251528f8af05","datavalue":{"value":{"amount":"+0.7767266631126404","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":"Q5739973$109BBA2F-E243-4BE2-B84F-0FA8D65D6A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5435b59aaf89f1ddaaa4f4feb7f3a5256330c0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381de1bcd444b3e8c694d08544ffc4b6156e9bfb","datavalue":{"value":{"amount":"+0.7736188173294067","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":"Q5739973$4C53D896-7A39-48DF-B10B-10901A3EECE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa89d0b822d97171d989fe098bb312bb2b14663","datavalue":{"value":{"amount":"+0.7517706751823425","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":"Q5739973$BE8481C0-D7AB-42B5-ADEF-F8679A57797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60ff8f6c96e105d39b8f379918a11a6940b07c1","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29aaf40c5a4e7abdd66e2cad4931f941704029a","datavalue":{"value":{"amount":"+0.7363362312316895","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":"Q5739973$5BD2A1C2-4DBB-4FCE-957E-AEDABC01C859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7848240873a9eeaabd5ae7c15e283569f053d493","datavalue":{"value":{"amount":"+0.7363359928131104","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":"Q5739973$FEFF5EC7-F4B1-4B99-B67A-42325E07031D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739973"}}}}}