{"entities":{"Q2144190":{"pageid":2154933,"ns":120,"title":"Item:Q2144190","lastrevid":55411549,"modified":"2026-02-17T15:49:50Z","type":"item","id":"Q2144190","labels":{"en":{"language":"en","value":"On cut-elimination arguments for axiomatic theories of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7535458"}},"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":"Q2144190$91928AFF-876B-4F5D-AC14-B2155A257CAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94e7a061fc4d4b3cb391e105c1603ea280a16c0","datavalue":{"value":{"text":"On cut-elimination arguments for axiomatic theories of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2144190$F3E25DE8-0C7B-4CCD-8846-25917603CE18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2aa5c1513044d26c54ff0780b8d28476970570c","datavalue":{"value":{"entity-type":"item","numeric-id":2144189,"id":"Q2144189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$60BE048F-2CB3-42BF-A340-ACDD93AFF11E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$4624EDA2-A8D6-4C0A-8368-7FB730E94D20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb692f3299cf1c6e4f6dd07056e2a0cdf9e7c22a","datavalue":{"value":{"time":"+2022-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2144190$C986E196-EBCE-4FF1-9544-05E15B529D95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144190$DC81BFCD-740D-4291-92C3-573EE4B970B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c47f9497846c430d841444f1ba4ae872a2dd4ceb","datavalue":{"value":"7535458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144190$93CD2874-8F89-4FCD-B2ED-0F8539626CF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8515e1dfa2fd020a7536794ed60e078fe4b784","datavalue":{"value":"axiomatic theory of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144190$C72A9B24-0D98-4BCF-92BF-6A98D55D635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144190$C7AC968A-16FD-4952-8BDF-64DED7C19084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144190$3C946135-279B-45BD-B729-B2D54074BB6E","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":"Q2144190$705D91D4-BC82-48E5-84D0-802CD313D81C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec6ee30173c13870bb849047a087b83e3ffd9e85","datavalue":{"value":"https://doi.org/10.1007/s11225-021-09978-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2144190$75AD90C5-C40A-4409-878D-08807685F8AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63b6f089955978937e8e2ac86c61638d2b7d4043","datavalue":{"value":"W4210616676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144190$D10F3ED4-C3D7-4502-8409-DB8B482D01AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"010bedd06f6c1909a61b361a03b810c0c5d9e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$98091987-80CD-415A-95E8-FEF5607301E4","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":"Q2144190$C1B487ED-7613-4ABC-8098-FC937416B453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$CA92E5CE-3E7A-4680-B94D-E15672943A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$69545061-AAC0-400C-A7FD-D1F887DA80F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa2695297ddd451560d955d0bd25c9940e2815f","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$9ACC5EA8-ECAB-4385-A078-C701CAB7A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea5d5cc618b0409672a22a4ad1d322501dfd252","datavalue":{"value":{"entity-type":"item","numeric-id":1893134,"id":"Q1893134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$EAACA490-4F50-43EE-A80D-FD74A4547171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$CB055BE3-DBAB-4F2B-B10E-6795E8C7E0B3","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":"Q2144190$748A3F3D-6AF8-43DD-87F3-170F47203EAD","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":"Q2144190$88444CDD-FAD3-40E9-8384-F8110DA299B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c16f673d5703c33c3adf79a7f77df29cb82f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144190$AB1C9E6F-85E8-4D36-A613-3405B3DC3962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e0151f12b6ab7a3dfb038695640b5e371a2401e","datavalue":{"value":"10.1007/S11225-021-09978-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144190$3BC5B251-FF21-4663-80C6-37C8BA8811FA","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":"8474cb26570438bfdbf34c28f2682e6227c416ad","datavalue":{"value":{"amount":"+0.7973140478134155","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":"Q2144190$7D8E036E-7CDB-4875-8F50-77CEB6AC7B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872b85d0d4d24d8e1afd87f78ef3b0b1a39bf421","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f97d204e90fd00a5d724381931f20192469504e","datavalue":{"value":{"amount":"+0.7879464626312256","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":"Q2144190$E2F0A239-3676-46A3-BDB8-9DEDE179BFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9baf1303f1a7420f534b58a314cc52a197b5174a","datavalue":{"value":{"entity-type":"item","numeric-id":2075280,"id":"Q2075280"},"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":"Q2144190$2CEDF28F-BB7A-4D49-9706-017455DEB9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4ba87a87b0a5bac9b795e40ceeb84aef86a181","datavalue":{"value":{"entity-type":"item","numeric-id":5951913,"id":"Q5951913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265b6c897f9c4eb11a73671051ab6d3aa686d960","datavalue":{"value":{"amount":"+0.7692878246307373","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":"Q2144190$8C03184D-F040-4FA7-B4A9-5656D5144300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52127d300f50caad88d6f3a614fa892b5c6db0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2940867,"id":"Q2940867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e13dfcc3cd11fa1ea25f95bd11f476bff81aad8","datavalue":{"value":{"amount":"+0.7548472881317139","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":"Q2144190$08FDFDC2-6E61-43A2-BD02-7C85E4CC2A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2144190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2144190"}}}}}