{"entities":{"Q1112802":{"pageid":1123551,"ns":120,"title":"Item:Q1112802","lastrevid":66151749,"modified":"2026-04-12T07:53:32Z","type":"item","id":"Q1112802","labels":{"en":{"language":"en","value":"A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079372"}},"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":"Q1112802$5569E50B-B29B-47C9-84B0-E9AE05C5CB1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74febf784197d2b6e399c46b39abf29e97cb0d98","datavalue":{"value":{"text":"A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112802$DF64941D-0354-49ED-9188-E43EA403809A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78adc106f17b63168a3faa292481effc000569a","datavalue":{"value":"0661.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112802$EAC7CE8B-98E0-43F3-AC32-D68BFCD3C5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76680ec74fedc1b86f368a99525f23cc66223fb1","datavalue":{"value":"10.1007/BF00975025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112802$9A529EA3-A148-4836-9CA7-2C1544EA4CDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24e91cae68390473ec07d0ad23d72726f1a060c8","datavalue":{"value":{"entity-type":"item","numeric-id":1112801,"id":"Q1112801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$4500D383-E3AD-4F55-83BC-1E6D707E4699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$F2FDA7F2-D8C9-46A4-AE15-E4D2F338510B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1112802$265F6CAD-DABF-4596-9944-5407C13BDB18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a04f89d37af19e132ddd7ca35205f5e46239c013","datavalue":{"value":"See the review in Zbl 0649.03007.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$F7B34E69-746F-45C4-B72E-3428AE4F0707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112802$E4FFD480-AA44-4160-B263-F3367D957986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112802$8015C181-7B93-47CE-95EF-FBC14C269E5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d178a0ad5565f6dda955a4d7e98ea49322467a5","datavalue":{"value":"4079372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112802$A9793172-8551-4BA9-9854-4A4DC5C61011","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31593d3819c5633c802063f4a92da254644d49a","datavalue":{"value":"implicative lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$0C88F0C6-C443-47C8-846B-02F91F1EA8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c558ffbe053f7fd1d905cb6a4673d4235ea512a3","datavalue":{"value":"difficulty degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$649A36BF-6B13-4ED0-B280-CE5E5CAA94FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0e3ba3d06e44f4aec8441aac2149306a4a02a4","datavalue":{"value":"initial segments of Medvedev's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$15A750ED-B01E-49F2-82DF-AEABD77D3DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca92db9d315a3056fa79f960c04af98fa0003f3","datavalue":{"value":"Brouwer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$E3A4458E-E87E-4EFD-91E3-3E730BA8AE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112802$11821AE1-0158-4290-B640-72CDCAEF50C9","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":"Q1112802$E4E65FFA-5237-4A3A-9524-F1AD693DBB98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$FA017007-6647-40DA-A42F-9C64E9D99872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$02A0F759-25E4-4EE7-9DC5-2F75BBC71D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db972d0965e3cfda04ab994238f75aa115b721b2","datavalue":{"value":{"entity-type":"item","numeric-id":3880811,"id":"Q3880811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$4E94E1C5-9479-4A47-AB5F-890A7862709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdc477ea51711f0cface25143923945c4f939c6","datavalue":{"value":{"entity-type":"item","numeric-id":5566515,"id":"Q5566515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112802$98623D82-4F5F-4E5D-A768-B6A3DC698ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd2a9cc7afb2427baa828a682b4aaeb499651a3","datavalue":{"value":{"entity-type":"item","numeric-id":3794148,"id":"Q3794148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7884f2eeefeba224e4ec4c2123b2ed74577aaa44","datavalue":{"value":{"amount":"+0.9779444","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":"Q1112802$38387E67-913F-4515-B801-9EB3F1AF1E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c59160a019d408db72e2c660f24e234c95b3d1","datavalue":{"value":{"amount":"+0.899719","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":"Q1112802$76B945E0-1459-42B9-A210-E6419168FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ba9169ace06835115ccd0aaea50ee08ccdfd33","datavalue":{"value":{"entity-type":"item","numeric-id":4795515,"id":"Q4795515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce2a8de92384d1b83e1363b44cdc0a0ef2c9079","datavalue":{"value":{"amount":"+0.8914537","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":"Q1112802$70DA9701-0FF3-4352-BBFD-60C71FF4357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e78a7c3fe734185da24430fb9620664a57d6be","datavalue":{"value":{"amount":"+0.8872349","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":"Q1112802$55F6F5C1-9219-45D3-8C47-0A2AE71B6B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc03029eb86cdba684b715bfe1c416575f3807d2","datavalue":{"value":{"entity-type":"item","numeric-id":5416148,"id":"Q5416148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3aed2326905fba584931ff738ee03d2288f5bd","datavalue":{"value":{"amount":"+0.8864859","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":"Q1112802$BEAE6012-D2AA-4BC9-BF32-CB03CC567A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f55894194e6ce911d6de78c54f09c364659c184","datavalue":{"value":{"entity-type":"item","numeric-id":332086,"id":"Q332086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267d9ad42513bfd9cb60b9f0bd3ed58f4bc5b040","datavalue":{"value":{"amount":"+0.883033","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":"Q1112802$1132DB9B-4755-4842-94F2-55E3898DD6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8b234d93ce72aeca9e1a91270720d568d86ff","datavalue":{"value":{"entity-type":"item","numeric-id":5553255,"id":"Q5553255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86da0279c7eb7b8921ba0056dc25ad7c6c9f858","datavalue":{"value":{"amount":"+0.88060594","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":"Q1112802$A01ED72C-4B2F-463C-A4BE-353A3802614A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc5bc2c10736442265cd9379a24a927fb31c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268404,"id":"Q4268404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5be4c3cb7c4be5b1f688c2a817d706c10de253","datavalue":{"value":{"amount":"+0.87987536","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":"Q1112802$052B4512-9579-439C-B5EE-4D905D9FCB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8601f2c220e4bfc2451ac1f63f2c6d2e366e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2811589,"id":"Q2811589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f97d49256c4887d4c7255dc987c614acc6c293","datavalue":{"value":{"amount":"+0.87670195","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":"Q1112802$7A73F2EA-1357-4524-AC8A-3FDF355F05B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa5d34bb0276b28c45c5aa5f4ba9916d38706ff","datavalue":{"value":{"entity-type":"item","numeric-id":3807177,"id":"Q3807177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9989f3cc55d739f4e2f2d74a0120c0d0c81231ce","datavalue":{"value":{"amount":"+0.87657636","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":"Q1112802$3F001FBB-FF5B-4F8D-9BCA-07A41157CF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_faithful_interpretation_of_the_intuitionistic_propositional_calculus_by_means_of_an_initial_segment_of_the_Medvedev_lattice"}}}}}