{"entities":{"Q409326":{"pageid":411093,"ns":120,"title":"Item:Q409326","lastrevid":61640937,"modified":"2026-04-11T00:39:35Z","type":"item","id":"Q409326","labels":{"en":{"language":"en","value":"Coding true arithmetic in the Medvedev degrees of \\(\\Pi^0_1\\) classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023581"}},"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":"Q409326$A33F78E2-92E8-40F3-87FC-859CDDDA8B78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ea0ce1e219169cb2b7c14baac6980653a2e56f","datavalue":{"value":{"text":"Coding true arithmetic in the Medvedev degrees of \\(\\Pi^0_1\\) classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409326$4C7767F3-AAA8-43E2-9AF1-C8E39834F3D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e4c72e085e27afd36c3256a683a0b7107e62ad","datavalue":{"value":"1243.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$465F845A-BE60-4EAB-869D-D7D04E0BEE2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e534880849b93db09a5c4bf78c5b4ca1b817f6f","datavalue":{"value":{"entity-type":"item","numeric-id":283111,"id":"Q283111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$74639D8B-599F-4F3A-B3E8-FD3398BF7436","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":"Q409326$420B3565-EABA-4F4D-A811-976DA7F64764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409326$862B4507-D715-4101-9526-94FE2AA083A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21ec16ebb0a273b94a9b13e8b6bb6aadca55bc05","datavalue":{"value":"Let \\({\\mathcal E}_{s}\\) and \\({\\mathcal E}_{w}\\) denote, respectively, the lattice of Medvedev degrees and the lattice of Muchnik degrees of non-empty \\(\\Pi^{0}_{1}\\) subsets of \\(2^{\\omega}\\). It is shown in the paper that (1) the first-order theory of \\({\\mathcal E}_{s}\\) as a partial order is recursively isomorphic to the first-order theory of true arithmetic; (2) the \\(\\Sigma^{0}_{3}\\)-theory of \\({\\mathcal E}_{s}\\) as a lattice and the \\(\\Sigma^{0}_{4}\\)-theory of \\({\\mathcal E}_{s}\\) as a partial order are undecidable; (3) the degree of \\({\\mathcal E}_{s}\\) as a lattice is \\({\\mathbf 0}'''\\) in the sense that \\({\\mathbf 0}'''\\) computes a presentation of \\({\\mathcal E}_{s}\\) and that every presentation of \\({\\mathcal E}_{s}\\) computes \\({\\mathbf 0}'''\\); (4) the \\(\\Sigma^{0}_{3}\\)-theory of \\({\\mathcal E}_{w}\\) as a lattice and the \\(\\Sigma^{0}_{4}\\)-theory of \\({\\mathcal E}_{w}\\) as a partial order are undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q409326$0E712EF8-5F20-4702-A659-779714781A54","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$AEBADB52-A53A-445E-B339-A103666C0D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$620C6685-B67D-4160-9CCC-E484162C792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$1A752B9A-1C50-44B6-800D-EF9FBB4D4990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$D95CE145-E50C-44F0-85E8-9993C4F9C84B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44f24813f83fa48c5fae83fe00783d6f3a526722","datavalue":{"value":"6023581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$409913BC-52AC-415A-9EB2-789F31682BBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a92495392bed52e1f223f3d58a2e579dc55ffbc","datavalue":{"value":"Medvedev degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q409326$D58E5066-570A-4215-968D-E3E6833E63D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6736ba1867d3d06256160d994aac4383b26f8f93","datavalue":{"value":"Muchnik degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q409326$635F024E-7B31-4408-9E8F-20579D941D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d44d38f8cd81f8c94933093e991199878bb7e","datavalue":{"value":"true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409326$FBEA3E2B-6473-46C1-9CD3-651FAD58F36B","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":"Q409326$CE8EB16B-11DA-40D5-B238-4D2332DC14F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd6c75019365e9621fca43a7df3774d4286c379","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q409326$19497503-CF85-4AA0-9942-C25370CE5432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4199fd6126042b2971765952c69ac60174f785c","datavalue":{"value":"W2071777661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$2A8F0D1A-1EB3-4FE1-8F03-068DAA4B6437","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40e4ba8e2166dc851117d7df6c98d211bcc6300","datavalue":{"value":{"entity-type":"item","numeric-id":3426564,"id":"Q3426564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$0D3E9180-4796-49AD-8859-DDB60D47BE26","rank":"normal"},{"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":"Q409326$5D40AC18-333F-4F43-A000-E2AB36D64F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4ccc4b600cc01134054e66274a65c10f9e734","datavalue":{"value":{"entity-type":"item","numeric-id":4868246,"id":"Q4868246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$7D4D3C5A-7E08-409E-9ADD-CBA54286D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedddb6f293e27acd2bd482492b17ada9c7c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":4419261,"id":"Q4419261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$6A27F02B-15FC-4624-892E-E460A78FBEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c4b7dc773f2cab6f4a09074f0a20e9496c47e","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$97067660-B8C7-4AE6-8F35-0E3BB4CEC953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a20f12a74f14830dc0b5eb24b309dd30cff81b","datavalue":{"value":{"entity-type":"item","numeric-id":4934277,"id":"Q4934277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$90E40F4D-FC21-45D1-8336-FB5790A640A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79fad86482c3e0239b0aa56ae74cd34945d945b","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$F60CB61C-A4A2-4E1F-907C-E1A76F772132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75aa1af297d479f9392ade5ff5a91565369009c7","datavalue":{"value":{"entity-type":"item","numeric-id":4249723,"id":"Q4249723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$60CC4D74-E804-4C32-8C4A-8707D62EB94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c7e489d8c1ff499128c847201bf24c8cda3b0d","datavalue":{"value":{"entity-type":"item","numeric-id":926187,"id":"Q926187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$5D09358F-9508-4AF4-9AA7-BE8D275E1713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ea8faf57b33c763b71e86b2f51a580a5670682","datavalue":{"value":{"entity-type":"item","numeric-id":2655138,"id":"Q2655138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$DC73AABA-48FD-44DD-A85A-A7B2D18337D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c611f2fa49c6701f1e973c2036c0a3e1cbfe3c","datavalue":{"value":{"entity-type":"item","numeric-id":3521596,"id":"Q3521596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$C79D9B7B-5A32-4A86-ACD6-06C5B28291AD","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":"Q409326$EBAF7304-B83C-4133-BBC6-69EC263D2837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85136318287216a6374a1d9792165181f857b718","datavalue":{"value":{"entity-type":"item","numeric-id":408163,"id":"Q408163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$B8A92586-96B5-43AF-AA15-C46487F68BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e72b18c6587c63a6b70ac6ef2177809c684380","datavalue":{"value":{"entity-type":"item","numeric-id":2893281,"id":"Q2893281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$F890E027-2329-44D8-AFA2-F0CC644A4EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$A671499F-A50D-4669-9B4B-82CB5F4D8D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe38fe19cf97f81a630bbeb3a96a5b65d421db0","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$A3F80C33-4E9F-4800-BEAC-304EA808174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$2A4E6B0A-D83D-48B4-8785-32EFDC11C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$F948B5AA-7551-4E94-A151-D860A2AFEF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb76afcdf8831554ff0c35c02ea2b59bc9b7d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4211072,"id":"Q4211072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$53F0E82D-85D9-44BE-AB88-41AA3A32332F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d4a38d40768136b5da14eec51923820ee16867","datavalue":{"value":{"entity-type":"item","numeric-id":2538529,"id":"Q2538529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$DDDE3369-16AC-43CD-9317-411E508DCB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe05732c00d4be1ea80da931a07a408756a2f57","datavalue":{"value":{"entity-type":"item","numeric-id":3576064,"id":"Q3576064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$F45C5419-DD8C-4DD6-A748-46BD8B77C6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0e1d2bb7987735abb056d2081b04334b9251fd","datavalue":{"value":{"entity-type":"item","numeric-id":535142,"id":"Q535142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$908A93C0-E29D-4FB1-A2E0-0E211676C604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$566274D6-3BAB-40E5-956E-30C96C65468D","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":"Q409326$CEF58646-E0B0-4CAC-BFEB-AEAC6A202BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c06ed2d4c54c93563567397765c4dc78666499d","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$86646B5E-3D0E-4FD7-9DAC-0200F41C2884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826e2e3dfda176b80fbe8f0e8dcea4996f52c647","datavalue":{"value":{"entity-type":"item","numeric-id":5537381,"id":"Q5537381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$9C121357-D335-42D4-B541-A444E7EB1A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc749d216d7ef73d2e4f1819d8a2b21835f381f","datavalue":{"value":{"entity-type":"item","numeric-id":3839947,"id":"Q3839947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$293BCACB-027C-48C1-AB50-CB0F2D8EF599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$C3C67C0C-6524-4DFA-BDE2-3C92DE10CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3a853401c0a338f3c6d9ef11af48e72f68c40","datavalue":{"value":{"entity-type":"item","numeric-id":5729295,"id":"Q5729295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$77A2DEC0-956E-49B9-9B80-ADD954C8E4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$F73F6B4D-BA1B-4EFF-8DFC-01FDE25FEB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d69b0d43ac987bba9242ae06633af8a33f3d64","datavalue":{"value":{"entity-type":"item","numeric-id":628800,"id":"Q628800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$46FC8B1E-07B8-409B-ADAB-707657786A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81207f81968efc10a783ccba07400e70a5e301e0","datavalue":{"value":{"entity-type":"item","numeric-id":3083139,"id":"Q3083139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$AD8CE81B-9BA3-4433-80D1-9562361ECA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced993f36d10a145c00c6bd7090e0e4ebe35bfca","datavalue":{"value":{"entity-type":"item","numeric-id":3922661,"id":"Q3922661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$16C404AA-B956-4853-9BD5-470FD2207568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8448e22f226dbbe4c1db043600eece03aaa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3412461,"id":"Q3412461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$D75A400D-6074-48C8-AA7D-9DCEC7946C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f50469b41c3ab481af5e1d67324db96d3e5dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1234682,"id":"Q1234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$38E92A77-D997-40A3-B926-224EA4A0DA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e379c98571fc60279e8478ff5ef22874fe39c32","datavalue":{"value":{"entity-type":"item","numeric-id":5711896,"id":"Q5711896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$19CE94FC-0CDF-4537-B5EA-61EC1FCCF6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b018eb2f03a14f3d6085865cf8f9a1ae901afe","datavalue":{"value":{"entity-type":"item","numeric-id":5294136,"id":"Q5294136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$B4847690-B6C2-4807-BCFB-CAB20B90A7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4d85cdd8434f81cb112cb7e12729480e909ff9","datavalue":{"value":{"entity-type":"item","numeric-id":765664,"id":"Q765664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$D71DDBC0-81AA-4298-A49F-B29E8F83137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409326$915D3A01-0DCB-499D-BF93-23AE7F4B425A","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":"Q409326$3A2994E3-31FA-4FC6-A1DA-9C8203C3EE90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04bd859ff96258f5fd981c6a64dc5232ee0572a1","datavalue":{"value":"10.1016/J.APAL.2011.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409326$647C01C2-AD38-4A48-8E1D-277BA4E5A01D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5262cbbe9c1286bdf8974f21164ade08905be0e2","datavalue":{"value":{"entity-type":"item","numeric-id":3083139,"id":"Q3083139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84226b9e6fd151508e5de69fa3d8aad55309f858","datavalue":{"value":{"amount":"+0.9630853","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":"Q409326$C2F4DAB6-B45F-4E93-B807-613C337843F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e190699ec6a519f57a84d9a9544d551745211329","datavalue":{"value":{"entity-type":"item","numeric-id":4827948,"id":"Q4827948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356a73216ee8908867088ee9a0224eba6fff40e7","datavalue":{"value":{"amount":"+0.8526927","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":"Q409326$D86F4E6B-8522-4A0F-B92E-BB161EEAEA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd37c36a06e5b950c25e7d6fb54deb8c07e7921","datavalue":{"value":{"entity-type":"item","numeric-id":3582333,"id":"Q3582333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f639c26e7f8842cd15e6f6f4383fa38d77cae96d","datavalue":{"value":{"amount":"+0.84579587","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":"Q409326$F21F1629-2C58-4BFE-B374-B4AF4FAA8096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91cf319a5293ebbacea8812e2d858d65080a2e09","datavalue":{"value":{"entity-type":"item","numeric-id":2965777,"id":"Q2965777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622d449b3d0a6bdb282099668d68fafef10c2067","datavalue":{"value":{"amount":"+0.8453418","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":"Q409326$4C49AAE6-68CE-4806-A46B-2DE09D40C58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b97bd8914d43dc24272ba5e2529f6430b119862","datavalue":{"value":{"entity-type":"item","numeric-id":3570161,"id":"Q3570161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc2dc157d44ab970d97bb07667999159c24f6e1","datavalue":{"value":{"amount":"+0.8450128","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":"Q409326$D2E5EC66-4B95-4BBD-A855-D7CEDAECDFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30d18aecced75b57f489b09bd360dad06c29934","datavalue":{"value":{"entity-type":"item","numeric-id":4899167,"id":"Q4899167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66556976480e4b603e5c62c29335bea63ad2b34f","datavalue":{"value":{"amount":"+0.8431639","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":"Q409326$E9ABF644-DFEC-489D-AEAD-08123B4BFBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2052cc0dbe0b56a073998893f597401127c1c670","datavalue":{"value":{"entity-type":"item","numeric-id":2491288,"id":"Q2491288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b81d270dc09aa9cae70998abffdfd11dc82f78d","datavalue":{"value":{"amount":"+0.8426166","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":"Q409326$1EF8F8DF-62F0-4618-8D94-5B178325192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090172ad335b6c4eb14822dd117833f59493a9f1","datavalue":{"value":{"entity-type":"item","numeric-id":1868374,"id":"Q1868374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0a95703ed0e4dfd89185e1e4ce8c917bf5d647","datavalue":{"value":{"amount":"+0.8405637","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":"Q409326$6FB0D577-4018-4646-B7A0-C42984C712F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01811dd1186c4a87a2510aec55d321f0e79971b1","datavalue":{"value":{"entity-type":"item","numeric-id":1895723,"id":"Q1895723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d229315eba86ae65c1ccfa4b5d477a6cb83fee","datavalue":{"value":{"amount":"+0.84047735","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":"Q409326$ADB0BE8A-094B-448E-8DD7-53E92CB85F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ed8674535d441e14b8604da4ae077f5f9d2ddc","datavalue":{"value":{"entity-type":"item","numeric-id":2556302,"id":"Q2556302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7288932702554adda9641c630d7fbabd173247d4","datavalue":{"value":{"amount":"+0.8394501","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":"Q409326$C229D291-D161-4F4B-A234-4224753E46BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coding true arithmetic in the Medvedev degrees of \\(\\Pi^0 1\\) classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coding_true_arithmetic_in_the_Medvedev_degrees_of_%5C(%5CPi%5E0_1%5C)_classes"}}}}}