{"entities":{"Q2075280":{"pageid":2086022,"ns":120,"title":"Item:Q2075280","lastrevid":55400629,"modified":"2026-02-17T15:38:36Z","type":"item","id":"Q2075280","labels":{"en":{"language":"en","value":"Cut elimination for systems of transparent truth with restricted initial sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7473062"}},"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":"Q2075280$53039E63-D3B0-464A-BD68-34AB349B531A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df75f823bed775cf5ff5f0e0d9f356f7510a1922","datavalue":{"value":{"text":"Cut elimination for systems of transparent truth with restricted initial sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075280$E3539995-C18E-4A25-A31C-D3A7419B7051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c4d4bda313764b70d44146665b6a70d6e3fe3e","datavalue":{"value":"10.1215/00294527-2021-0032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075280$9ED12520-2E89-4B71-8F1F-261EF0F41CB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59ad45494dd85fefbb15302b0c846e27be280b27","datavalue":{"value":{"entity-type":"item","numeric-id":263088,"id":"Q263088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$EB69651F-4B98-44E6-B447-F34106F56896","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":"Q2075280$CA49AE20-E90F-4A7A-9923-94A9CF777D22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44a4e856a85631fb651bf9ad5803d8b27e9b05d7","datavalue":{"value":{"time":"+2022-02-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":"Q2075280$7692FC56-7764-4A75-AD55-9C3E34242FF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbd4e0e55c91a3b0ab7730f816ca8bc2423e13c6","datavalue":{"value":"https://arxiv.org/abs/2006.07940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075280$CBD811FE-31FA-484C-800B-2910554D0EEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075280$844E98B9-EF91-4BCE-9D6D-CC577AD9BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33f385b1d210bd01cec38c387318069604e5ba7b","datavalue":{"value":"03A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075280$EFEB21FE-E4CB-495A-ADE4-74A3E1E2B3CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ebafe3834e18ae497f239050fd0bdbea6f53b5","datavalue":{"value":"7473062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075280$61272F9A-8FC7-4B2F-8FF6-2DC8FBF0C8AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075280$5D847FD1-A431-40C9-90C3-FC0827BB0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faee82381b3d65915729219dff0882ce846c2b1f","datavalue":{"value":"formal theories of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075280$BF748AF0-D31B-431B-9D79-8B60718F5364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075280$58646475-A7DB-4C39-A5D1-F9C517477DC0","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":"Q2075280$6D95148C-5CBE-4F17-A16B-E06BDA9C6871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"460a2a7bcae01ffeda33ce385eeee5d94609aa2b","datavalue":{"value":"W3034995351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075280$66B96823-6F99-4F1C-9C15-603B125457F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aa2e0a706aa54bd437b818c446f9fdf252a068","datavalue":{"value":{"entity-type":"item","numeric-id":3772173,"id":"Q3772173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$B867C956-9BD6-40EE-91E0-C80D9F4F85D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869ac6d8df6733056730b8ca498f2fa774bb403b","datavalue":{"value":{"entity-type":"item","numeric-id":3197819,"id":"Q3197819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$6A89DF45-6B03-41EB-94BD-70E11D35F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384a2cfe464c1263b799b28baecc650ec7a77dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402586,"id":"Q1402586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$F4F95ECD-10D6-4DE5-87C3-6D9A38293E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$0A467EEC-F278-4825-9AB7-A03792D4D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f913d5244557c4c05d048527a7b749c1b33c23","datavalue":{"value":{"entity-type":"item","numeric-id":1670488,"id":"Q1670488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$ED78940D-3DD3-45CF-A777-7E868843749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$C486CE6D-24A6-4873-A653-5A107A2ADD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f639aa105e006bd0b0fe80122c705cf98b346","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$A8768053-8405-4DA0-9921-F2819A4DB6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdadde0d8785507a6f0101f58d4e22d559be50d","datavalue":{"value":{"entity-type":"item","numeric-id":3389498,"id":"Q3389498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$0330ABA2-2CC6-4441-B692-0CC0FCFCBDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$11777138-1865-4338-A35D-209873F73B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f94f4532b6e7f70845dc6c67c4ff91c44814be","datavalue":{"value":{"entity-type":"item","numeric-id":1300008,"id":"Q1300008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$2D1C0820-E297-4AF7-BCFD-BA8EF506DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27733ec2c2f7fc26856cb55b2429e5576d599689","datavalue":{"value":{"entity-type":"item","numeric-id":5480633,"id":"Q5480633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$C5E8E550-B251-48A7-9CC2-4A59D9BA6BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$5DD97F92-6BE9-46DF-8EBA-930FE4451FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ba07ddf96d4136edf426d5956a034b4e08b535","datavalue":{"value":{"entity-type":"item","numeric-id":1107507,"id":"Q1107507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$E42C5A74-28E6-48FA-B8D3-DF1A69A27FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$B0752AFD-BF79-486A-B816-0AA957BCA6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbe761ae08f93ee4eec33760284b7fcf9bcb766","datavalue":{"value":{"entity-type":"item","numeric-id":3450806,"id":"Q3450806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$E6F82C87-E7DA-46C3-8C19-51DBD60ADA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd93c5ce05c7430c1532ea82986d7965269fb27","datavalue":{"value":{"entity-type":"item","numeric-id":815014,"id":"Q815014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$5E0DA1B1-5CAC-4091-B166-DC9ECCF8A401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$4FA3561A-91BE-48D6-AFD8-709A08C45F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59476ce0433e8ff58ab4281db457896894c66a11","datavalue":{"value":{"entity-type":"item","numeric-id":722029,"id":"Q722029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$02136921-7F35-41F4-8BE4-EBD34A6330ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$82E0EDD3-EACB-4DF1-A121-12895BEDAAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dff60391c96483608c5f67c369e50646c57cab5","datavalue":{"value":{"entity-type":"item","numeric-id":2854363,"id":"Q2854363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$ADC5314A-E73C-42D3-8910-A5D804FF502C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$FADFC02E-79D2-4239-A8EF-5E7522E1F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98952f6128cef4b40adf90193d9dc7db0215b8fd","datavalue":{"value":{"entity-type":"item","numeric-id":3305560,"id":"Q3305560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$E1D4E5DF-785F-44E3-8ECE-7A602BAAC297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$F1EFD981-19E6-4F28-86ED-C4F4C30F7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf4ce1fd620477a1ea088b49f7eb44bb0a34e70","datavalue":{"value":{"entity-type":"item","numeric-id":3224045,"id":"Q3224045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075280$24A7A1AE-4130-4409-AF8A-16D5D2AED731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0e3b4f8e9c78190134cf06428ba002627cc8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3450806,"id":"Q3450806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3be05781ec14f448a52eb1cef401943937d6bc","datavalue":{"value":{"amount":"+0.7728152275085449","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":"Q2075280$7A220B16-5A03-4CCF-A384-4C0FBE751BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098ed464b9176512a79921a38e4cc48e651ffeed","datavalue":{"value":{"entity-type":"item","numeric-id":2144190,"id":"Q2144190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dda186fd97eb3264fed501c33f91c93d94eb288","datavalue":{"value":{"amount":"+0.7720203399658203","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":"Q2075280$87C9D2AD-725E-4F45-97BA-F26250FC1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c290d9f54128bed99df0438d85fb37cbc5ce6f0","datavalue":{"value":{"entity-type":"item","numeric-id":3389498,"id":"Q3389498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7f6032595c6290109bcf33bffe44bc7373fbca","datavalue":{"value":{"amount":"+0.7295569181442261","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":"Q2075280$43D0B688-4026-4FAE-A1C3-E98721BC3382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4874711864e7ac0ebbdeb0eb689ea26a8804e77","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f211bacc3873a54be5c98d15aa9a3d24df2e8ca2","datavalue":{"value":{"amount":"+0.7225890159606934","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":"Q2075280$23E1A21B-6B63-4BC0-ADFB-6753CB01DA1F","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":"a5f2e99e6ac7bc559fd44cbb442b2d0dee6d4862","datavalue":{"value":{"amount":"+0.7224533557891846","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":"Q2075280$E2483A4F-9E6E-42D4-A523-77D471A5E3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2075280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2075280"}}}}}