{"entities":{"Q3389498":{"pageid":3400201,"ns":120,"title":"Item:Q3389498","lastrevid":88097189,"modified":"2026-06-04T13:37:59Z","type":"item","id":"Q3389498","labels":{"en":{"language":"en","value":"A note on the cut-elimination proof in ``Truth without contra(di)ction''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347065"}},"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":"Q3389498$96303CA0-77C2-4946-B6EF-09949F1D7AEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8c861e700fd2ba4c8e7f36c2fe2b89d0af40af","datavalue":{"value":{"text":"A NOTE ON THE CUT-ELIMINATION PROOF IN \u201cTRUTH WITHOUT CONTRA(DI)CTION\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3389498$0CF4B30D-179E-4429-B59B-117C25A00AF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab1f4188de0768e5c89939a755f5a8ea9baadc3d","datavalue":{"value":"1473.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$E3C34DA1-1356-40EA-80D3-B2AE2A0C2EBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"916b31946fc42b453c06530025c06a1fdef394c0","datavalue":{"value":"10.1017/S1755020319000571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$997D39B3-6514-4A5C-9CFD-7A56EBDEA0CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6d7202a795b5638cab7f961b9f9135faccef26","datavalue":{"value":{"entity-type":"item","numeric-id":263085,"id":"Q263085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389498$DC634715-5F6C-4AFA-BAAE-F7AD93BE9AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389498$4F623583-BA23-40E6-B242-41D3B781727F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3389498$079CD394-0FD7-4A4A-93F4-87BA54BAF993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$F3C88A50-76E7-405B-B71F-3A175A1961EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$3434E58D-5422-4942-8E3E-39F66F4DE21A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec36100319acb38b1328ac6a5b64e132ff00865","datavalue":{"value":"7347065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$56ECDD8A-E3AE-49B5-B539-6D8310CB2D71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85225f77eba3fcc7afc55624281d1e9409d85a96","datavalue":{"value":"noncontractive theory of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389498$D1A350B2-9788-4898-BFF0-93FD507871A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389498$A7FD6890-26A5-41B3-AF31-5C61DAEEAD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389498$1838A15F-F15A-496E-8BA7-3E7E26571E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9271b576e6724ec428d069568bfbfa9b42307d","datavalue":{"value":"infinitary sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389498$FF600D61-FE20-47EF-9E23-2E276D6C923B","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":"Q3389498$3C9FF3A1-6EAB-457C-94AE-E3B3BD567116","rank":"normal"}],"P223":[{"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":"Q3389498$B9ADB779-BBB9-40DA-9401-EA4DE30B1E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389498$4FF91CAD-39B5-431B-92E2-6377FDBACA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9499b74cad2e7c8521b6aecef201fabfd5c6b2be","datavalue":{"value":{"entity-type":"item","numeric-id":1577364,"id":"Q1577364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389498$54CC5CF2-39D2-4091-AFC0-31AAE27E464C","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":"Q3389498$E45B699A-3157-4697-8F23-8127EAD83CA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c330700b8024134e413d5c03a3b44c1d7e92a66","datavalue":{"value":"https://doi.org/10.1017/s1755020319000571","type":"string"},"datatype":"url"},"type":"statement","id":"Q3389498$062DE9EF-AA78-46D2-8E9A-613E120E2724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc8dd82f0ed64d7a38dd328b39a0027e8b73d87f","datavalue":{"value":"W2980259917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389498$76D3BEF8-D780-4BA5-946E-DB71EF2F00DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc833c0de071a9374a09b3209df6f501c8bc0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4487267,"id":"Q4487267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f23ae037405bd65a3e78cf46382c70c7033b8e","datavalue":{"value":{"amount":"+0.7382761836051941","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":"Q3389498$06F59652-3B3C-430D-8F6F-D88233FD02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68102d318200d312283b0cde06a35f855dd6cda","datavalue":{"value":{"amount":"+0.7289788722991943","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":"Q3389498$07650A8B-EF13-4276-80B9-E430D41B6E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dcf98c9b3409f5e23b65c378ab6d2a201e22b9","datavalue":{"value":{"amount":"+0.7278996706008911","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":"Q3389498$8DF678F8-334D-4CAF-9C6E-3AC8068237D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499e4ebe117759bdf3fb6744689870db9b973ac1","datavalue":{"value":{"amount":"+0.7274410724639893","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":"Q3389498$F92735A9-5469-4F1F-BB3C-A2E9278B5EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb99763c68b356cd7d75311ca1128ac8823180d","datavalue":{"value":{"amount":"+0.7272481918334961","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":"Q3389498$589B08C6-6BF6-4AF3-924D-18ECE0DF1784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the cut-elimination proof in ``Truth without contra(di)ction''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_cut-elimination_proof_in_%60%60Truth_without_contra(di)ction%27%27"}}}}}