{"entities":{"Q2339008":{"pageid":2349751,"ns":120,"title":"Item:Q2339008","lastrevid":52236050,"modified":"2026-01-21T05:34:14Z","type":"item","id":"Q2339008","labels":{"en":{"language":"en","value":"Steps towards a proof-theoretical semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6420817"}},"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":"Q2339008$4B3A4FEF-5100-4993-9289-4C820C42609F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf30863e44def7b82a7104b22bb6a7ce437386e6","datavalue":{"value":{"text":"Steps towards a proof-theoretical semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339008$4BE59F8E-EEC7-4BA4-888C-D0773C4C4A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"079102b99a1de118019c53afdde89927aa842013","datavalue":{"value":"1308.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339008$F2927267-4CA6-4020-A085-7053F3B54C64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ca18aef5f3a0b942f1184e70acb16defb6b036","datavalue":{"value":{"entity-type":"item","numeric-id":2080592,"id":"Q2080592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$6C30D678-58D0-41C5-AE17-885DBECDCAB4","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":"Q2339008$6A1B8D09-E377-4197-88FB-5694799142BC","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":"Q2339008$BC0C5C0B-61D7-4A6C-B5CE-11C160699951","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339008$2C56E4A4-3769-4712-860E-BF41D3532DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87fbd0f83304b556a4f4bf370e1a6ba1d391bba","datavalue":{"value":"6420817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339008$D78093ED-3844-4F1C-8272-F3C8C27B6F38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339008$4D0A9058-B784-4BB8-BBF7-4C013B33570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339008$B9BD5DA5-E1F7-4981-B589-628E25174055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c465b83805351cf31e6c2cd5777113cb8f67e0","datavalue":{"value":"inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339008$4AC176AC-A0D6-497C-B590-B51E2852A4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339008$F2687FF6-1D0F-49F7-9B96-B66AFCC9E01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339008$94CD0F08-3F4F-4C1D-AC46-2E0BF23AAF41","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":"Q2339008$9B20D0FC-D2A1-4FC0-A63A-588A86953575","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962e8017b33dea77bee3c544b3ca21cbc67efa87","datavalue":{"value":"https://doi.org/10.1007/s11245-012-9120-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339008$2A44CD40-BB89-402A-9D2D-B399EEE3C849","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"649bc14fa596eac3df57562e1bd7fed06fec9e2a","datavalue":{"value":"W1964884725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339008$A22D3507-9599-47A7-B2A6-1DCE9AF1F4E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$DA974F25-854E-4F48-AACD-798E1064D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006a98e5be06947129801d771072a450faaf272","datavalue":{"value":{"entity-type":"item","numeric-id":2500811,"id":"Q2500811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$53063CF7-CE90-4E8E-9716-7A8FC0AA8AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d565234c9613ac5220d12876f4a91a0c51a3f53","datavalue":{"value":{"entity-type":"item","numeric-id":3644805,"id":"Q3644805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$13D7D49A-8DC6-4EA7-A53F-1A588FE424AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$BEEC4A60-4029-4B35-AEE9-E8849015D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$D7A062B9-1384-4EE3-BFD1-F5C244D14B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$03E060C9-BAAE-47B7-B8B4-15BEEA660A01","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":"Q2339008$1B8CE35B-A540-4FEE-81FF-7A9E200D5B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661cb603edebb39070083f6ae4e2184d08b28466","datavalue":{"value":{"entity-type":"item","numeric-id":2649022,"id":"Q2649022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$FBAB7BBB-1254-4501-9BA9-22022A329330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594d875116270968f78b59859b738c6ed734d60c","datavalue":{"value":{"entity-type":"item","numeric-id":3229402,"id":"Q3229402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$BF43FEB6-B6DA-4D03-8EB4-62B62E925F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$AEA1171E-3542-48D1-91BD-1D3594FB16EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679422b48af6293fe1af65299b808f109915509b","datavalue":{"value":{"entity-type":"item","numeric-id":3518563,"id":"Q3518563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$79707D10-3553-46B9-B109-9B767555D047","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":"Q2339008$2761DAA7-A998-4C18-B86B-8A19B4AFF4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$053A294D-3D37-40A7-91B6-D6F0E1126BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$42A3359B-47A7-4FBE-BEEA-52C7F2905B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$727EA6B5-FECF-4822-9C76-7028281E68E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5194c8ec77c31e80a5e899e7c781a57067e1669","datavalue":{"value":{"entity-type":"item","numeric-id":2470764,"id":"Q2470764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339008$6AB4335B-1691-4DCC-BB46-48453A8F15F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a24b9b757b36a6f13e2b6d0793c711e4097dd98","datavalue":{"value":"10.1007/S11245-012-9120-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339008$8D7438C3-0BC4-45AB-9695-FF1DA3515DD2","rank":"normal"}],"P1643":[{"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":"33c4e64e18a825e76c0b1a5e0c8b316bbea86161","datavalue":{"value":{"amount":"+0.777347207069397","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":"Q2339008$6BA797B3-4EEA-44D3-B1DD-14F25CBCC51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37277b627d283564f92f54cb915029352a30b141","datavalue":{"value":{"amount":"+0.7757262587547302","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":"Q2339008$25F8AC0F-42F5-46B5-B2E3-064498C9D266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad82f325e4c4b2b04e5a1d652bfb1b9501ad48","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ee73b6eef2f9f9bc4d8126b63c3dbcbf5a8bd6","datavalue":{"value":{"amount":"+0.7751147150993347","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":"Q2339008$672CEB85-CB12-4CB8-8364-CC6E2FE9C5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50557b996a6f469d77390cc2a76ff7c071168b9","datavalue":{"value":{"amount":"+0.7506896257400513","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":"Q2339008$1CF403EC-DB46-4580-BCE2-B117D6D06343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aca3e817b17952bfad6889caea08c136d4ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":3119360,"id":"Q3119360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609be06ae375852ec8a6c9f26b5cdfe3bb410aa3","datavalue":{"value":{"amount":"+0.7492536902427673","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":"Q2339008$645C3E6C-5B19-4CE7-83E2-1C943BF7225D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339008"}}}}}