{"entities":{"Q5957915":{"pageid":8134717,"ns":120,"title":"Item:Q5957915","lastrevid":47759482,"modified":"2026-01-02T15:09:44Z","type":"item","id":"Q5957915","labels":{"en":{"language":"en","value":"Interpolation theorems for intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719230"}},"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":"Q5957915$4041D2F3-2336-4424-9393-C11500EC669A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d46ecc3c186d21f56092a95594e9b6b76d68aa81","datavalue":{"value":{"text":"Interpolation theorems for intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957915$D772EE09-566B-4EE4-A2B0-23814A17B4D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d85bfce194f7b7de2f95f16d4dd4032900cc6409","datavalue":{"value":"1001.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$1222E98A-805B-4158-A031-ED0218EC5B01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb1d55f0498740745c773fc648e886f0571b646","datavalue":{"value":"10.1016/S0168-0072(01)00060-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$15644D3F-F3FA-4767-98CC-2BE98BE4C90A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$4910583E-BE44-4C0C-A91A-930EF69D1547","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$FEADC057-8702-48BC-B1A6-8114B727F8B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be09b22ebf282a12e4d91853e68f0716c1e693c","datavalue":{"value":{"time":"+2002-12-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":"Q5957915$4978D334-133B-4A4A-BD6B-3E3B07929FF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e0a62e8b3472d33a932de39438b473b55a3ec6e","datavalue":{"value":"For the classical first-order logic the Craig interpolation theorem may be extended to partitions \\(\\Gamma;\\Gamma^\\prime\\vdash\\Delta;\\Delta^\\prime\\) of the sequent \\(\\Gamma,\\Gamma^\\prime\\vdash\\Delta,\\Delta^\\prime\\) meaning that, for each partition, there is an interpolant \\(I\\) such that both sequents \\(\\Gamma\\vdash\\Delta,I\\) and \\(I,\\Gamma^\\prime\\vdash\\Delta^\\prime\\) are provable. The same extension of the Craig interpolation theorem to the case of intuitionistic predicate logic is not possible. However, in this paper the author presents a version of such an extension true for intuitionistic propositional calculus and a more complicated version for the predicate language case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957915$9E3EDEA0-2B60-4C23-9E8D-08BC42A8153F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$89F0BE8D-B550-46FE-879A-225CC9819C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$427E0409-0002-4375-B6B2-0BED2E8B5C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$9C1A43D0-8342-4EE3-BC8F-352E4771FD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$BBC699A6-706D-4A7B-8A9B-3C5FC448A72E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"643695076bc93de29f11e5021b0e5c78a1b0d5eb","datavalue":{"value":"1719230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$BDD2CD21-3D80-4090-B895-724F86F58D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957915$3CF3FBB7-CE78-42D5-A6C4-26B451346D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957915$C0F72AA9-8004-4C0A-A226-79580001E3C7","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":"Q5957915$54BFF161-4A24-490B-B4FA-E4A6D3344AF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3b26bbc347177febdc087523e54fb6577af510","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$A1217D78-13DA-4D11-AC1C-AEAC94FD606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$6D69882F-60E2-4AA0-9546-DE112844FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38a7f272ec095e22c1dc4c999d36df9824f1802","datavalue":{"value":{"entity-type":"item","numeric-id":5053007,"id":"Q5053007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$1115CB87-C587-4389-AB48-142B4ED1CECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$4E6E9380-9392-4CBE-9BB9-BFD1B153DA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91445531e38627bc5ff539b12b28e2ea9323a119","datavalue":{"value":{"entity-type":"item","numeric-id":5813180,"id":"Q5813180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$D9A59FE2-F790-412C-AAB7-BDE8B6927A8B","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":"Q5957915$5927AEDB-D2B8-4696-9C03-923E9E3DAB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$7BD265E4-E8D0-409C-811B-0AF4242488A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$3CD48F7B-712A-44E1-97F2-B52F595CA489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$48EF8E4C-7AF1-4018-9FA1-CB686BBE9AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38d4c3a31c644b59fd181547b89b34bbdd23e41","datavalue":{"value":{"entity-type":"item","numeric-id":1274448,"id":"Q1274448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$FEC3C5B8-9146-46A7-9E8A-40921784EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957915$8A3AA278-A571-4088-88FD-6EB509625D74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc26de2544ff599c1dfe5401f4b041e5dc931fce","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00060-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957915$5DFC18BB-F18D-4DCE-A7A2-ADE279835DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5e7528cae9eab711cfe9d0ca4163e1b71e52371","datavalue":{"value":"W2085625417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957915$13C4499D-F1CB-4F6B-A253-6CBB21F8AD97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee5995a8d18938cd4f7f91e17c063036b95f598","datavalue":{"value":{"entity-type":"item","numeric-id":1821770,"id":"Q1821770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f2f02e9c4321a99959bf1517eacd4185353a6a","datavalue":{"value":{"amount":"+0.8582115769386292","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":"Q5957915$85BEF5F1-CB97-4681-9DFC-801CECC8DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7831872d208bee061f436ff757a77e2205876192","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12aa17df9074e32bf0ef11712efc0d70f0185bbb","datavalue":{"value":{"amount":"+0.8542863726615906","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":"Q5957915$5DAC2E0D-1BAE-43A0-B25E-41FA5982D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4191d41e7d7188d706b94e2f92ecf04f6616bb8","datavalue":{"value":{"amount":"+0.8331779837608337","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":"Q5957915$2B557DC1-FD55-4B76-9343-1CDDE9A9EEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec8fc0b629f05a314b45af4bcea0863f48ef8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2709301,"id":"Q2709301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4afa195cef64e2baa705224e6beffa531c729b7","datavalue":{"value":{"amount":"+0.8068273067474365","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":"Q5957915$F9C98556-A52E-452A-B01D-42FC0ECC7033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0116a3712e4edfd92c17bbadc8d80c8f341b52e","datavalue":{"value":{"amount":"+0.8058439493179321","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":"Q5957915$7186207F-D117-4158-811D-9AB26F0E3C1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957915"}}}}}