{"entities":{"Q2505132":{"pageid":2515875,"ns":120,"title":"Item:Q2505132","lastrevid":73436517,"modified":"2026-04-14T15:58:36Z","type":"item","id":"Q2505132","labels":{"en":{"language":"en","value":"Constructive logic and the Medvedev lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5059460"}},"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":"Q2505132$550AAE8D-CFDC-4A33-9121-FB63E7A8FEE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03325c055f6e211c52ac2ce9d53b9e1f8b9361df","datavalue":{"value":{"text":"Constructive logic and the Medvedev lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505132$A2A79A05-3954-40E5-BE49-5B224C251EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"793b5cc19c3dca88dc10e20e2c878b3f36e4f565","datavalue":{"value":"1107.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$69DE9437-7CFC-4385-94A4-6254977CC5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$848F7E51-81C6-49B4-8BFA-BD473BB1D371","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$58669463-B748-495E-95F3-F4C6623CAA60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9022dfc459f559856a162bb29019f955ec43ea2e","datavalue":{"value":{"time":"+2006-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505132$FE4F7D89-AC34-4258-BD4B-642382A84104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$F7883BA5-362F-416A-8C09-DFEFC02561EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$D7F570C1-15C4-4BE1-956F-D4C39994BC5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"534584b68ae81b958ff7bf76a4e3922d6566c35d","datavalue":{"value":"5059460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$307E2A4C-64D5-4894-B1D8-D9F013425834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a92495392bed52e1f223f3d58a2e579dc55ffbc","datavalue":{"value":"Medvedev degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$AF2814DA-7A18-422D-AA65-B8E6328DC620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6736ba1867d3d06256160d994aac4383b26f8f93","datavalue":{"value":"Muchnik degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$7C5291CF-ECB2-4C7A-95E9-8B2EFD8B7236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$A511FAE4-E786-4294-8801-98E42AF1CB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d95d707d5db837f37141d9c8391b2fb562e1eb","datavalue":{"value":"Medvedev lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$348D5102-2495-402C-A3F9-FE08563E14E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$1062F8D9-0442-4D87-A475-F01274C2BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$B1156B62-E7BB-4E60-97B6-125E4A14388A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f8f7d0592fad9dd293fe7b03eb7a7db1cbcf1d","datavalue":{"value":"weak law of the excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$3868390A-0FE4-408C-AE47-2BBC59F436B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911eace153f4355f065d4bbe764e2f64bb00c573","datavalue":{"value":"join-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$2D1F5086-AAFB-4B67-8645-8A5E34916344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01eea52122bef858e6a8ceceef52ad306585dcea","datavalue":{"value":"autoreducible degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505132$80B3B7FB-BC90-47EF-B48F-092FF4C52E0D","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":"Q2505132$5D840EE7-3819-4EE5-BFC1-750011AFBA58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"895ccf492e3698f369e8db4df58fa4007bdc9893","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1143468312","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505132$4ACB0637-6CC3-4BAD-AE65-1B5A5D8DD3D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b318e47a7a250aa09bd67b67334bd10f7e1de6f","datavalue":{"value":"W2088351660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$841F75CE-0341-48A0-9AFA-855CD643C8E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$B3762F99-CA7D-416A-8124-5140B2E43CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbc57db5aa26066df26cb2fe61fbf08ae0c741b","datavalue":{"value":{"entity-type":"item","numeric-id":4161309,"id":"Q4161309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$462E9C04-B0CC-465F-AD4B-8010C53FB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58bcd6186558a372ee5a60748dadd758d337f40","datavalue":{"value":{"entity-type":"item","numeric-id":5579000,"id":"Q5579000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$5CCAAE94-4665-413D-9890-9FC18F84E950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e38e628ddb781910f51a2811f22e3999925bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4163202,"id":"Q4163202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$E7EFE6A8-DA12-4FF4-80F5-A90D0E00E45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$7F546175-A0B0-4422-8F76-DA2D5E0C6400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae22f59a9d8b372dac8852ad5d55e32ad5b3521","datavalue":{"value":{"entity-type":"item","numeric-id":4133961,"id":"Q4133961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$E6CE2E99-467E-4E70-A999-DE03AE1A5E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$1A2FD45E-5F0B-482F-A42B-CCA08F1960DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e83d58408432b2faa8b3a69e5e6f4b630c4531","datavalue":{"value":{"entity-type":"item","numeric-id":5848894,"id":"Q5848894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$4B321DCA-5509-4967-ACA7-0C491E5D261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc402bbc51bd315bef710e420652177c7efecbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4774021,"id":"Q4774021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$73CCC388-8CC8-461D-AB93-0EED44DF0B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$EE8CBE13-B668-4F1E-BA91-7E9BF62DC953","rank":"normal"},{"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":"Q2505132$409A1349-67CB-4ECF-AE2A-63FA63BF136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1a5917b9e867c9b2d607cb138052b5c1ec1ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5958286,"id":"Q5958286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$88C0C551-FC6D-4103-AAA8-76A8623A2E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e0256a9c9c90841750d6097c75aecaba49bd2","datavalue":{"value":{"entity-type":"item","numeric-id":1112802,"id":"Q1112802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$D48283CA-178E-40A6-ADC7-F71849D47A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdf38218d2fe682a7987d3693144c71ac5ae3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$237FC0A5-48F9-420B-BCDE-363FCB92240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164423293cb6a7e75f2cbad09671c93bbf045011","datavalue":{"value":{"entity-type":"item","numeric-id":1812988,"id":"Q1812988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$E2B76CF9-1360-471A-9D6E-250268539EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998be4425e6a6a1694b08cc8325272a445716ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3480025,"id":"Q3480025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$F931DBDC-17A9-45DD-B90D-1C41D9C5E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ff3ee344aec79594763bc8e30b4387c6e576b5","datavalue":{"value":{"entity-type":"item","numeric-id":4863250,"id":"Q4863250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$6282B654-72EC-476D-857D-8C2AD1DDC344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5030ce0dec8b952b1f920f03a2d7a8346535490f","datavalue":{"value":{"entity-type":"item","numeric-id":818514,"id":"Q818514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505132$91FC4249-FB98-4ED4-9B05-FD03606F839F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5673c876b67be6e3acf93caccfb489d3bf4d54a","datavalue":{"value":"10.1305/NDJFL/1143468312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505132$DDFDBC96-D359-45F4-8550-ADE710301C3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1a9d6be4795a4600d688c3cd68e23baf57ebf","datavalue":{"value":{"entity-type":"item","numeric-id":952483,"id":"Q952483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51e7f80355f0e818eb5271598811bd7a7aa744e","datavalue":{"value":{"amount":"+0.8493803143501282","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":"Q2505132$6EB6E495-BE69-42F8-9A0B-7EF537E013ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de6c1ba7ab56c8c451030268a48037454c5cb19","datavalue":{"value":{"entity-type":"item","numeric-id":481874,"id":"Q481874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c100dfb44b4efbad19850d122721c40d2ed864","datavalue":{"value":{"amount":"+0.8176051378250122","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":"Q2505132$D6D598B7-E839-4EE3-8ED3-FABDD9EA01B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f59056aa46b6846bc3a7b0db5d94442593a995","datavalue":{"value":{"entity-type":"item","numeric-id":5717080,"id":"Q5717080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2795703bb2c756a0cd7268f9fcee505771c4f1de","datavalue":{"value":{"amount":"+0.8137272000312805","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":"Q2505132$FE4BA4A1-387F-480F-A074-181E913DE178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723ef59a653a803258a6fc03ee43f8760e561795","datavalue":{"value":{"entity-type":"item","numeric-id":995672,"id":"Q995672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220afbd667233416d4b82b4f3e5345c31bef541e","datavalue":{"value":{"amount":"+0.7987545728683472","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":"Q2505132$E993DA51-F1A5-4951-ACA4-59CD13E79EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef69660ab2eb5a1a898109aa4b21cd8cd04ec9b","datavalue":{"value":{"entity-type":"item","numeric-id":818514,"id":"Q818514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7175ac9c86f216a7e7a19a217e4159756fb89748","datavalue":{"value":{"amount":"+0.7944430112838745","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":"Q2505132$5982096C-0531-4549-9194-3D77F8F7A15A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive logic and the Medvedev lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_logic_and_the_Medvedev_lattice"}}}}}