{"entities":{"Q3781073":{"pageid":5810979,"ns":120,"title":"Item:Q3781073","lastrevid":52523882,"modified":"2026-01-22T21:10:22Z","type":"item","id":"Q3781073","labels":{"en":{"language":"en","value":"On the proof theory of the intermediate logic MH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041874"}},"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":"Q3781073$2718984A-8FAF-49F7-8709-490E3AE19FEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea697f86a236c0914023fc90394ab1bb07794ea6","datavalue":{"value":{"text":"On the proof theory of the intermediate logic MH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3781073$917616F2-BF87-4DB7-B0EC-D2AB3E9114F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e82605f4d13589e028f85d6060872bc777179b7","datavalue":{"value":"0639.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$FC7344ED-E50D-4D4A-96BF-B47E40B2BA23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42028ae3c285bbaffe33f2e605a169fa52336f9d","datavalue":{"value":"10.2307/2274019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$F756B25E-C921-469D-82C0-35DEB565D466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781073$841420A7-7A49-46E9-A6BE-BE8CE5913D25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781073$EF8B659B-8C7B-4384-A12D-F1FB8883EE74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3781073$F711927F-E8D9-4581-BBBE-44A360E55597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$B6750462-5845-4671-A96E-DF45F8B213F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$8A5DD759-665C-4F2A-AA71-D32C535F2274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff2601868bb3438ef1846a8b56593635642c05d","datavalue":{"value":"4041874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$5876D4D4-6D71-4CED-9F40-BC733933CAD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$B94B3165-E839-470D-B579-70FA6B55642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b05e535b5c9ad226667372e425ffbbef33e716","datavalue":{"value":"intermediate logic MH","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$657DD476-6EB7-4211-9D1B-987D6F1304B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$2B4CABEE-7B4A-47E2-988E-4EE53D0BB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$90CEE134-8E84-4C2A-B543-4E0B4D47C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36decffc2cca20b9192836d425416364dd2fbf0b","datavalue":{"value":"Craig-Lyndon interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$262603EA-6DB8-4CD3-A625-C7B725F733EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781073$9BEC8E29-E7B7-4AFA-9238-8F405763833E","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":"Q3781073$BEBE0962-A86F-43B5-80B8-23DFE8A9F873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"229c1c2964c49e5089c52eaf027f85aa6d1a4e40","datavalue":{"value":"https://doi.org/10.2307/2274019","type":"string"},"datatype":"url"},"type":"statement","id":"Q3781073$A081A34F-B431-4391-9105-CF891946DB11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fe70ecb83063ad1df30293cc8116fa6f96885c4","datavalue":{"value":"W2085516474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781073$C3F5E0D2-D3ED-415F-B95F-51581EB35E27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781073$AFD1581C-983F-4AD9-BDB7-AB2EBBD9F3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781073$435CDBE9-875A-4D89-9484-8A952C0DC037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eae33eaf2c4ca155a58a521974385515b69fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1117920,"id":"Q1117920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2986f958213b70c41dcda9c1edff2613a1ff35da","datavalue":{"value":{"amount":"+0.7738439440727234","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":"Q3781073$183ADA12-A588-4C97-B6E3-A45236253829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb81b968e4dd2fbb236ef5a1afe4bf59d17214e","datavalue":{"value":{"amount":"+0.7728662490844727","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":"Q3781073$8213EC29-E135-407F-8CF5-2E434546868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30609271599af5d7fa55117c0cb2cd8672445ff","datavalue":{"value":{"amount":"+0.7712681889533997","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":"Q3781073$43B7F3D2-F2B1-488B-8DAC-5F75A735BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72a90cf0b5a28db7b7809cb54b64f2a96617bb0","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7c4d97a6b31379541efd52872e6dab4aa8c57d","datavalue":{"value":{"amount":"+0.7628726363182068","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":"Q3781073$A5193396-A60A-4AFE-9350-5CF7DDD15E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582e026f61bf9973b41773f9fbd1fb29fcc99518","datavalue":{"value":{"entity-type":"item","numeric-id":5224781,"id":"Q5224781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1099c7dd369656f35053a36792cd8bd7eff70db1","datavalue":{"value":{"amount":"+0.7609305381774902","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":"Q3781073$70559490-46E2-4F63-BA5F-BF5743CCAE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781073"}}}}}