{"entities":{"Q2339009":{"pageid":2349752,"ns":120,"title":"Item:Q2339009","lastrevid":56662725,"modified":"2026-03-18T12:38:29Z","type":"item","id":"Q2339009","labels":{"en":{"language":"en","value":"Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6420818"}},"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":"Q2339009$C8D66409-C754-422D-B8FC-4C4F0D4432E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce5e20704e4379531182e3846c5db13e98b4e08d","datavalue":{"value":{"text":"Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339009$C8DD1A7F-A1F3-404F-A201-4B806936C463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7d104faed893753374861d6fc8ec5806885b7b1","datavalue":{"value":"1308.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$481AA94D-BA7B-4341-87BB-49321C2C452F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$13E2B760-5319-4A67-8DF6-C298E7E4D8A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$FE0AABE9-EC9A-425A-A783-D24C94146D43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c98c36fe1f6e81ab82799ba989379e345e9a561f","datavalue":{"value":{"time":"+2015-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339009$48503F28-B4DE-41F3-A290-803FA1F4EFB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$E679BD8B-AADA-4F28-BDD0-C85A767F3E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$240DB2A5-8AC9-4DCE-B763-3DECB6473731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fa12f2e9950e64cd626937b424a340c3aa4a6a0","datavalue":{"value":"6420818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$E05DC90A-BC82-45DB-93E7-D69E3C6D346C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339009$6681D0CC-62F3-496F-96B5-7B9025462EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c9368b168941d70d7f2b0e0f6335db79a23e0e","datavalue":{"value":"paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339009$3D21814D-4776-4F61-9184-B4D0C3FC12BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339009$F8B4ABCC-07A6-464A-A0F0-D9E2464DA1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339009$7AB6729D-0331-4FD4-BDD6-E0EBA74E1960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339009$FD397F2F-1AA2-4668-9DA9-110485C519E0","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":"Q2339009$DDB58678-C82B-4A36-97E9-59DEDE038512","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2d1bff3093a5f5cf79f63983d3b994ffbf7aa01","datavalue":{"value":"https://doi.org/10.1007/s11245-012-9119-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339009$2C664639-0DCB-4CBE-BA5C-2588694A216E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ff366b3d62f9ddfadd87a7a9306ea705cabaa8","datavalue":{"value":"W2007078003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$5FC15FC9-B2ED-4ADF-8A43-A27974C2DF1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$0D092998-E09C-4B82-B5F1-11605F2E37F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f878da03d4ea7e8bad7ca6efaab2ea96ac53ece5","datavalue":{"value":{"entity-type":"item","numeric-id":5738920,"id":"Q5738920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$B707A92F-0E82-49D4-9277-C8F539AFF29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2a992adcc2d02095858ec0cbbd72defdfeaf72","datavalue":{"value":{"entity-type":"item","numeric-id":4379628,"id":"Q4379628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$87B75191-3CB3-4B7B-B8C9-495F73976F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$D745585C-2F01-446A-A691-D4C1662E7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b75e8e5f3287653865c7d35fcd79b5d604b8531","datavalue":{"value":{"entity-type":"item","numeric-id":2500816,"id":"Q2500816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$346F4998-8FB6-457A-90FF-78BEC01AFFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$385F99B4-68C2-4066-84B2-9C2CE62CE0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$A9F4767A-D1F8-4C08-803C-F8106565BE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$7873FEC3-A7C9-4903-B624-3017DB21198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef99ce0422f6ffe01f7826651bb5796d62b92de","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$CC26DD9D-BDBA-45F8-AA26-A07DDC877E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9997d38a41b35b8dd05ad93d7539770d5644e8","datavalue":{"value":{"entity-type":"item","numeric-id":626494,"id":"Q626494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$00DAD5E2-E78E-4120-8A09-582F515EA179","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":"Q2339009$BCC7C90B-13C1-411A-89E2-4694F705D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a406e086e1f9a6620270b8ea6107ee488883c73","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$B8D07175-2560-48D8-B7F1-A2BF0C3B4A63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b13bc8c05273354e7792ae09fced838367a08485","datavalue":{"value":"10.1007/S11245-012-9119-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339009$0C8BA661-528B-49DF-8205-7B209368DF0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb840e493a31e9e70894062df7a2e55b4029a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a05c8c1f391d7c67cdc39b24b67f7a2939b4a0","datavalue":{"value":{"amount":"+0.8092583417892456","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":"Q2339009$6CD0CAC2-9BB5-469C-B702-EB9951F6E47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eda87278d89af66a50920b8668918d4a226459","datavalue":{"value":{"entity-type":"item","numeric-id":2690170,"id":"Q2690170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f86b93061dfeb76fd99eee9cee2b85c0a727f9","datavalue":{"value":{"amount":"+0.7333109378814697","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":"Q2339009$EFC71AD7-47E4-4F7F-B11A-1D4BF95015F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5196bba3b82bbeb66b4d76414bae6123e489aaf4","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea730eecc4ba7c6e668cda08c6dbd6c172fcc9b","datavalue":{"value":{"amount":"+0.7301331162452698","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":"Q2339009$FECC3A24-3CB5-491B-B48F-9A062AF3203E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbe971b978d012b35228ed2c814bbd392eddbd4","datavalue":{"value":{"amount":"+0.7211098074913025","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":"Q2339009$89F2EDC9-FB7F-4A0B-AB78-901C2DDE9B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6420f152250539da614ae33443bc16a239de6bc","datavalue":{"value":{"amount":"+0.7162097692489624","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":"Q2339009$5BBBA96C-5C12-44ED-AC57-4DB780896CA3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339009$CC3EA2A1-51BD-42C4-B215-52A1F70BF257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339009"}}}}}