{"entities":{"Q2443327":{"pageid":2454070,"ns":120,"title":"Item:Q2443327","lastrevid":51966896,"modified":"2026-01-20T15:54:54Z","type":"item","id":"Q2443327","labels":{"en":{"language":"en","value":"The Church-Fitch knowability paradox in the light of structural proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6280231"}},"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":"Q2443327$B55DA0B8-988C-4F81-B71C-E3954893264F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc716b52dc930c13b0847c52382dfe18fed1a40","datavalue":{"value":{"text":"The Church-Fitch knowability paradox in the light of structural proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443327$45CED72A-A45F-4171-8551-AFCE3EA26422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c95ee637738d7a5154957340086bf4ed05ee083f","datavalue":{"value":"1284.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$B183B4AE-35C9-4B9B-A0FA-7C3B2F76D435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18934a2357b48007aec9f076002503991f9ce9c","datavalue":{"value":{"entity-type":"item","numeric-id":300556,"id":"Q300556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$8372CD6D-4901-4860-AB02-87082B0F1DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed963368ddce1f37d4db97cd23b32dbfa80fbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2443326,"id":"Q2443326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$D54E1907-21D6-4BE1-9298-9F51A6FFFBAC","rank":"normal"},{"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":"Q2443327$6C8499E4-14B6-49A2-863F-6B545E57642D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$A53A58B1-EBE2-4C90-841C-194C222EBC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c459544f55badfcac81b919de82b6be0ce417799","datavalue":{"value":{"time":"+2014-04-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":"Q2443327$620EBB35-60DB-496E-8E78-66628412BDE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$CCE820B6-2922-4737-B578-3E11BA1027B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$E3C83859-459D-4260-9BE7-4E0BFAF52B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$55D2E7A0-4A30-4698-A8E2-C6060FE869C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43b72aae1aae2e144bdb662ace34e22623f5ce0f","datavalue":{"value":"6280231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$D288D7B2-E614-412E-8641-3269A481CD15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c5e46c3399aae967c469603feb5f556eb22a5d","datavalue":{"value":"Church-Fitch's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$F4ADBC52-76A5-491E-A7EB-1A80E7D2860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3d17d62c56e22cf268b4f80c1109ca458e7073","datavalue":{"value":"knowability principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$1F262F95-9DFC-440F-84FE-DFB743C6BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$8D31DAB9-512E-475A-BBDE-323DA51AC625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42b78dbb6564c3024267b7d2634512fa5c2d9","datavalue":{"value":"proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$02EDBDBA-EAF0-486A-96D8-BDE95538C14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4fa057ba0120557b053d7d9b7b1f878942e4538","datavalue":{"value":"intuitionistic bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$3565A73F-6FA1-4E4A-9D12-7744224F9AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443327$3F368289-3F94-4F2C-9EF3-CB5516BB6A7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$B60AF0DA-82D1-49F2-BAF0-C7545E3A1777","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":"Q2443327$102230E9-3086-474F-9C04-AF6DD4E4ADBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1de8efae2bcc2e68a33f05f14ff4c6a784ace10a","datavalue":{"value":"https://doi.org/10.1007/s11229-012-0061-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443327$B2D96E21-1E8E-44D1-9FE2-8DA82CBB3E1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1ae80a8d9ceb3298b0c9855d0808d0f4d38ee42","datavalue":{"value":"W1988047824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$7D15E0DF-3379-4D9E-B1EF-C604197B4AF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$6B89871C-CACC-448F-8B90-5EED974AD19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4183773dfc9d0daf4ae5f59f461d74c5c46eedae","datavalue":{"value":{"entity-type":"item","numeric-id":4710122,"id":"Q4710122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$A7660F67-304C-4D32-B3DE-5FA12ACE9D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b373024ea1fef3155c6edd5e957bdf330aa4b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449311,"id":"Q4449311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$9D694DD3-3BF7-4895-B5D6-1FCC88B3DCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$9DA56813-05E6-4872-BC51-32D3FC5311A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7e3e8e126011212e70107285b6ea1712f0265","datavalue":{"value":{"entity-type":"item","numeric-id":4496833,"id":"Q4496833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$5804328C-600F-485B-A0BF-E800F9563AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$3CC3C486-E22E-43E7-8FC1-ABB0B3DC06F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$FD674ABC-875C-48E2-B09F-AA62AF2A8B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$563275F1-21DA-4251-A4B7-5D3C50495F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4c6d9ba83c8d7d076cf23fbde61713704c7a35","datavalue":{"value":{"entity-type":"item","numeric-id":4247025,"id":"Q4247025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$9E71D0C5-470F-4A95-9985-4B6F9619091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$08E8BD09-ACF4-43D7-BE94-2F62ECAA63F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$96963DA9-C832-4BBC-9395-033C22CE67BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7642d147ccb2e67467d8f1ff4b16b4809bdf4a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$7DC9DC11-9124-4657-A803-0E63231D9737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$5DD75896-8C94-41F8-8A24-2BA0A60A05EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$7C7F1725-6BE7-4267-B6F7-BA9574B74CDA","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":"Q2443327$B6869F0F-D051-4782-B26E-23B90A4AE4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75a3cd0c0a8635f20f77cebe927fbdb0ab17843","datavalue":{"value":{"entity-type":"item","numeric-id":692189,"id":"Q692189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$8CAD203A-1A09-4F4B-B913-0A7F1F973904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f90bcae20260c94cebd6b7ce98bf0c6a6b0cefb","datavalue":{"value":{"entity-type":"item","numeric-id":987456,"id":"Q987456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$8C38B890-DDE1-4AD8-B7CF-6CA79F31A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ae50638ce92b1a108e070c6e8c405cde71e5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2895603,"id":"Q2895603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$6BDA1D9E-A0FA-4321-83E1-95B0DA29DF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c61e8272fd4b45835067b583a5eba2aeb0b92","datavalue":{"value":{"entity-type":"item","numeric-id":3958456,"id":"Q3958456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$AFAD18FB-70F4-4AEC-99BA-317ACD90E02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$08A99DD4-25A0-4511-BD40-EFFDD52FC27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$38C9639E-95CB-4FCF-A475-25F767508932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd07efc98c882b8ccb41bc213df73f38f346976","datavalue":{"value":{"entity-type":"item","numeric-id":1868338,"id":"Q1868338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443327$4F76A39D-50D7-44CD-A439-F16E7C70EED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe7b8409c1b71b7be96aa9367a1c8e887b9fcb10","datavalue":{"value":"10.1007/S11229-012-0061-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443327$35871FBA-C155-4FF1-A2C9-8D630AB63A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0d8ea63ac0eafe7f025b7d9e1cc2511ad8c234","datavalue":{"value":{"entity-type":"item","numeric-id":4648485,"id":"Q4648485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc6545697787b413d90a2c1d93ba44665ae64da","datavalue":{"value":{"amount":"+0.8216604590415955","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":"Q2443327$E3C02EF5-0864-419D-9395-01795B285B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a76eb46b2c268224503acebc11832d973b189d","datavalue":{"value":{"entity-type":"item","numeric-id":2895603,"id":"Q2895603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e067262717fd160a6f43d2a5b70a65d05a83fc","datavalue":{"value":{"amount":"+0.8152883648872375","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":"Q2443327$72E0F7C5-5A3D-4C6B-8667-E9A0A00FE927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab04021f9d78f5b66437daf8912679f249e9930a","datavalue":{"value":{"entity-type":"item","numeric-id":5175647,"id":"Q5175647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f366388678cf6b8d45c0fe7e3f59588048d138","datavalue":{"value":{"amount":"+0.807708740234375","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":"Q2443327$DAE28EEA-AAA3-4742-8AC4-429446BFE392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00f3283934d9aac59279a463ef5bf0a0b5209af","datavalue":{"value":{"entity-type":"item","numeric-id":5354829,"id":"Q5354829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ac1e609fc16e4a5be93a88c7c8802c5852b075","datavalue":{"value":{"amount":"+0.8060940504074097","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":"Q2443327$39F7DFB7-8CF9-4580-BA7A-3BA2996A2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe189f7222e104ddc57494fbedcd26416bd4c459","datavalue":{"value":{"entity-type":"item","numeric-id":4648467,"id":"Q4648467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745855f6276d414c0b262a44200dafe6b1a9ccf9","datavalue":{"value":{"amount":"+0.8047654628753662","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":"Q2443327$9E3A9B61-4501-4820-939E-8DFFE8BD7EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2443327"}}}}}