{"entities":{"Q4600462":{"pageid":6630045,"ns":120,"title":"Item:Q4600462","lastrevid":89781359,"modified":"2026-06-04T18:15:03Z","type":"item","id":"Q4600462","labels":{"en":{"language":"en","value":"On Weihrauch reducibility and intuitionistic reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824525"}},"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":"Q4600462$F6D04916-020F-4F36-8456-8CE6E43408B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2a50ed1f7abd56b9395b17847870a4f35d88678","datavalue":{"value":{"text":"ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4600462$9070C58E-1856-4936-B8D7-C01124CBCD94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b856326ab5e3a9c1ac0b7a1e9ea02888037777d0","datavalue":{"value":"1421.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$4F16F552-DE78-4E5D-A7A0-E7ED18D96DB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d88debce42ef8e4a29754bbee78fa1af5bf088","datavalue":{"value":{"entity-type":"item","numeric-id":385808,"id":"Q385808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$9EAA4FB0-BCAE-4D60-9713-5E6948FD738D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-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":"Q4600462$0A51AF35-F378-4E08-ACEB-AA3EEF4FDB3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1fcbdf07a2fe8b2420b8fc821cbe36d7cb73273","datavalue":{"value":"https://arxiv.org/abs/1511.05189","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600462$F75E4D57-AE58-46C6-A15C-4F5D79FDE631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$4097AA06-26B5-4029-B945-83BC3DA31DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$21074798-2344-4649-BB17-40C6B0EE1A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$48BB7357-BDA6-4990-9C14-D7FDB9DA7624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$ABECB97E-7357-41E5-8986-7278A6AB43AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a93c6cae30d05ee0a3ec5da6f578e94f0065897","datavalue":{"value":"6824525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$C41E585A-B8C2-4D13-BE4D-C49C69AEA659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600462$68B7B961-5CAE-4422-A816-542274828643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb19bc887fc5c555d3d129dbb5591935a8f26af7","datavalue":{"value":"Weihrauch reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600462$6562727D-EFA1-4703-A723-7930E2C4720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600462$1CEF3DF8-DA0A-452A-8AB4-A44FA98B331A","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":"Q4600462$84CBD940-54AB-4DBD-8B9F-9889E6B7CEF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"280e2e1776e98578c9c4895b4dc449385be36518","datavalue":{"value":"W2963034860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$E5087B06-4E81-45EE-B6E4-347317DA85B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d62405a861db13a5d14302c34d80205c6a0586","datavalue":{"value":{"entity-type":"item","numeric-id":3083132,"id":"Q3083132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$B1A228AB-9B56-420F-8317-0A389FFA0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9c89eb0965d65c2b29acb12a3f0c8fcf2f1394","datavalue":{"value":{"entity-type":"item","numeric-id":408156,"id":"Q408156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$2DC8D857-FC14-4CF6-99A5-D5B97F415FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$1F1B29BC-F108-4065-B620-25D3D5B5B916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d410c9bfc2cb2ec49057149c42c8ee51c20366","datavalue":{"value":{"entity-type":"item","numeric-id":2443117,"id":"Q2443117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$629401C8-CD09-4C4A-A76F-9346F01EFD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$A3C96015-B717-49F4-A851-F7B4872D6060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6766101a18afa97939c3aef4538a06b18c58606","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$BDED2EEC-47BE-4050-AE4E-5DD93E4512B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1225945930f9d04115a9a87913b9f4c5a4bb888b","datavalue":{"value":{"entity-type":"item","numeric-id":3195695,"id":"Q3195695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$807CB624-74BE-4599-978E-BB07C15C0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae890d102328ee8a14a47f99cbedb8b8afc8a34","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$11C1499C-6AAD-4DD6-801C-E76FCEAF90FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$1CD61B83-CC25-4028-9958-0E3E74450A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$D41F007B-F009-45C4-810C-57CA3729EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$46935E3F-754E-49A3-AF09-18EE0E4D0EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$13437A58-2B4C-4921-8DA7-DE5B4B602B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$1C28096B-5E5D-4818-80DF-BBB243DA2E10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a38934ea50ce98e49920412b1b3ebed03c57df14","datavalue":{"value":"10.1017/JSL.2016.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600462$A689F089-E241-458A-BCE0-0E3F61D5C22C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600462$EE968667-9ACF-40AB-A87F-AC23F4E70670","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da6d3f7401a57edeadd65f7acf1ac6944d42a8a","datavalue":{"value":{"entity-type":"item","numeric-id":5131652,"id":"Q5131652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a9b8912e6847895c43137fad801452ea4f9f8f","datavalue":{"value":{"amount":"+0.7842568159103394","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":"Q4600462$8BD6A613-EA1D-4896-89C3-36BF31572CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a69ed0aa15e9dd097c030e64ba30ff2ed3a503","datavalue":{"value":{"entity-type":"item","numeric-id":2917341,"id":"Q2917341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b964debb627211756f3cccf981bbc1bd70527e","datavalue":{"value":{"amount":"+0.7735507488250732","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":"Q4600462$7012C06A-B2EE-4224-A1D5-661F18DBF162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4848366b6f9ef671d6a4ca946de3b288a19ad788","datavalue":{"value":{"entity-type":"item","numeric-id":3083132,"id":"Q3083132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd3ecdbdf91b8a7c7cd0440a094a4f6afe944e6","datavalue":{"value":{"amount":"+0.7680521011352539","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":"Q4600462$04BEE376-29A2-42F5-AD84-9FA99D38E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb1606410e789aa34a85f618dd2954e94a12d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3315508,"id":"Q3315508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75aae1c5a633c4e0c0aa78170efe63998497e4cc","datavalue":{"value":{"amount":"+0.763973593711853","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":"Q4600462$247A7B8D-10A1-4F48-8231-72F81CE39EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38c655f1fa325e00e7203aa520a8c2cdb7d8ec7","datavalue":{"value":{"amount":"+0.7603346705436707","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":"Q4600462$744E1F32-FF83-4EFA-886C-394764A6A39F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Weihrauch reducibility and intuitionistic reverse mathematics","badges":[]}}}}}