{"entities":{"Q2869908":{"pageid":2880628,"ns":120,"title":"Item:Q2869908","lastrevid":83597687,"modified":"2026-05-07T09:16:18Z","type":"item","id":"Q2869908","labels":{"en":{"language":"en","value":"Failure of interpolation in constant domain intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243233"}},"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":"Q2869908$849A433C-5D01-4FA3-BF81-71E40524C462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c3bf1311f56fd61eed432e8f9105facb8c9efa","datavalue":{"value":"1327.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$22E89674-5F6E-4ADB-ACA4-DE503F6444B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$D9174ED6-B881-414B-9080-233A236737BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$CED8EDB5-881A-40B4-A0A8-36D3710032AD","rank":"normal"},{"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":"Q2869908$EAFCF51C-99DB-44F8-A668-1E5EC7912493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b62054087ecfdb4f075fe42226b4bf080bcbce33","datavalue":{"value":{"time":"+2014-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869908$0C6A5A04-7003-4450-86E9-4F45F526322F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"536c5ec6adcbb49b25d93b2614a8d865ea62ccd7","datavalue":{"value":"https://arxiv.org/abs/1202.3519","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869908$06AAA158-2ABC-4C0A-AEFD-AF6432CBE3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c977462c8e79e9cebe8f787a3fd85fe39302133","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1389032282","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869908$516A92EB-A3DB-4830-B8C5-05B9B7CFBB46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$5ACBAEAE-CC65-4D35-A35B-F0DE19EFB8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$2363CAA4-2942-4584-8EFA-780A27E969A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e062197a2c3b56a4e6b003031ddb8d56dd8a1c","datavalue":{"value":"6243233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$BD779EA3-AF18-4038-9443-54FE5EC82A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$67CDB0A6-B88A-419C-8210-A900D4BA8C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$EE1C7CA1-912D-42A3-AD71-C68ACF522287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c1c9df255b53ebe2c0738cde7247f431acf256","datavalue":{"value":"constant domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$3821B10A-1124-4EE2-B1CF-497DE2F99F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1932ba1cc476272c67b286adee4fecdb5bb0304","datavalue":{"value":"Grzegorczyk model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$791A0FF4-608B-408D-82D6-8D90A9E7F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$77FD7806-AF81-4636-BE85-E26301759BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4ed4d14b14ee0927a71f2185cb04a52af3c4c3","datavalue":{"value":"G\u00f6del-Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$F7A3E10E-C993-41F4-9DF4-F64BA758E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$F09F7CAD-F208-40F4-9C77-F822104A5448","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":"Q2869908$2D18EE29-D525-4F65-AC56-2BF63869FAFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf242efd99d2e5b7f8ed7c20ecd42357df4b1b0e","datavalue":{"value":"W3104265051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$44B16056-CEB0-45FC-9617-F290B99E5D61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40483ba02e8378994b9c71f887d21ca469537df","datavalue":{"value":{"entity-type":"item","numeric-id":4149744,"id":"Q4149744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$9AD8B509-BC47-434B-8038-0DB4C6E9779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$6C784EA6-0E71-4592-8267-B8850CF985B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$82E0B3A0-8AFC-4D10-B0B5-A8CF14C7347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45ccf04aee3cf96190acc366fa9be3a490a31f2","datavalue":{"value":{"entity-type":"item","numeric-id":3060322,"id":"Q3060322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$1430D8EE-E86E-4A66-B366-2018E17E4B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$D6E8063E-788B-4209-ABA8-AE6173D6EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c2e8699a2ad81b65f5eab643e84d4784db3ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5641136,"id":"Q5641136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$9E88B496-DCBC-490E-9E38-C7EDD2301F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$7E6FD47B-6F8F-4BD8-95E2-7F5F63E8030E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$A2B7D3BF-0B96-4371-9D26-5CE0DF74ECE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792a275ad9af4f6791d2fe9954ea955e9f4523a9","datavalue":{"value":"10.2178/JSL.7803120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869908$AB0B09F3-5E20-45B8-B1E1-CAEAFB023B23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b686c6b77baf29fee9c9836e47806069e7d3e98","datavalue":{"value":{"entity-type":"item","numeric-id":689074,"id":"Q689074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f52f597a3cac1b7fb082f8c0a721199298b952","datavalue":{"value":{"amount":"+0.9298887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$7A9D7462-3FD6-4A0F-98E3-7AFA434B90D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4a5cb7bd3b7df1fb4b3d43170dd6538b4c996b","datavalue":{"value":{"entity-type":"item","numeric-id":5937819,"id":"Q5937819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06987625e9c86b5804e32aae074c7e6b26b9dcf5","datavalue":{"value":{"amount":"+0.9161894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$CBBCA98B-856B-4FAC-8C94-30A08F1413FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592d681e7e80ddd5484a31b52ecd968633013cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1073010,"id":"Q1073010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ad4242c4681fbc30797609264aa0286dfa83c2","datavalue":{"value":{"amount":"+0.9018357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$F2353FBF-2CD9-4789-8F5E-A2FCA3626DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400353f5617700af7e80bb787a2a6dcbb0cbb746","datavalue":{"value":{"entity-type":"item","numeric-id":3688380,"id":"Q3688380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e01be44173de395e781bc91e371dd3904cc4272","datavalue":{"value":{"amount":"+0.88770866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$7C183E4F-83DB-4F54-AF48-A1D0697A870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc9da6f00b7ae5288d19cb428ebc2f5b4e36b76","datavalue":{"value":{"amount":"+0.8763579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$BF00060A-9AA7-48D9-B367-9194DDF1AB76","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":"825b3d1e507fb13e81c9cd093120224679535820","datavalue":{"value":{"amount":"+0.87612146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$AFF20581-BD72-480D-8A74-9A6ECDB7BB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6feb5d2451a1e793f49a55c153bfe3f53f1010","datavalue":{"value":{"amount":"+0.87093854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$B222E5A9-39A1-43F9-B585-84CFEADBFD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4801c8844072bfd281c5ec9e74454b77267614","datavalue":{"value":{"amount":"+0.86953366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$757C510D-2976-4F7B-BF73-A66326063320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fda515df108299e64087c7d65192e21c2c5c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3534985,"id":"Q3534985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994b2669222dc7e78213ec1930bd9ab8468e69bb","datavalue":{"value":{"amount":"+0.8686575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$945B15D1-2D75-4526-968B-EFDF0C21C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f89b535f861ae50dd992023025b885cfdcca1d","datavalue":{"value":{"entity-type":"item","numeric-id":584241,"id":"Q584241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a9104ae8edc82e23382353824b5f86f442ae1b","datavalue":{"value":{"amount":"+0.8679614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2869908$6C872CFE-1457-46B6-9C24-1BC5DFBF380F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"703deed0bd89ed6f2ba360a0712611caeae59725","datavalue":{"value":{"text":"Failure of interpolation in constant domain intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869908$0FED2E3C-C74D-412B-BCED-325FE5CECD2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$A8542A23-7DF2-4FC8-980A-A5CDAE9E4087","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83f6eb912468232ccdd8712e9cf92ea3e4b43e57","datavalue":{"value":"The intuitionistic logic of constant domains CD is obtained from intuitionistic predicate logic by adding the scheme \\(\\forall x\\,(A\\lor B)\\to(A\\lor\\forall x\\,B)\\). Its modal counterpart under the G\u00f6del-Tarski translation is the system S4+BF obtained by adding the Barcan formula to S4. NEWLINENEWLINENEWLINEThere are two published proofs that CD has the interpolation property. A model-theoretic proof was given by \\textit{D. M. Gabbay} [J. Symb. Log. 42, 269--271 (1977; Zbl 0372.02016)], but that proof contained gaps. A proof-theoretic proof was proposed by \\textit{E. G. K. Lopez-Escobar} [J. Symb. Log. 46, 87--88 (1981; Zbl 0469.03015)], but in a later article of the same author [J. Symb. Log. 48, 595--599 (1983; Zbl 0547.03022)] it was admitted that the earlier proof was incorrect. NEWLINENEWLINENEWLINEIn the present paper, a counterexample to the interpolation property for CD is given. Namely, the implication \\(\\Gamma\\to\\Delta\\), where \\(\\Gamma\\) is \\(\\forall x\\exists y\\,(Py\\land(Qy\\to Rx))\\land\\neg\\forall x\\,Rx)\\) and \\(\\Delta\\) is \\(\\forall x\\,(Px\\to(Qx\\lor S))\\to S\\), is deducible in CD but has no interpolant in CD. Nevertheless, its modal translation has an interpolant in S4+BF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869908$82D602CD-B299-4AED-B21C-C0448F5B5FA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869908$85A4715A-42F5-42C2-8D9E-1A0DDBB08A85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Failure of interpolation in constant domain intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Failure_of_interpolation_in_constant_domain_intuitionistic_logic"}}}}}