{"entities":{"Q4995601":{"pageid":7025178,"ns":120,"title":"Item:Q4995601","lastrevid":55386856,"modified":"2026-02-17T15:16:28Z","type":"item","id":"Q4995601","labels":{"en":{"language":"en","value":"Weihrauch and constructive reducibility between existence statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363323"}},"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":"Q4995601$5CF63AE7-A23A-49BF-A105-2452080D3511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea58204ec300c914cc732c76418821954631210","datavalue":{"value":{"text":"Weihrauch and constructive reducibility between existence statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4995601$76C34E79-BCF6-4598-BD0E-9992B71C9EC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e79fca9e71cbdb60fef243032c42af27972a2c69","datavalue":{"value":"10.3233/COM-190278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995601$AFD4F8FC-152A-48EE-A089-F9FCCC7D94D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed802a6d9a5c89df6324bfbe3e28c722497db55c","datavalue":{"value":{"entity-type":"item","numeric-id":892138,"id":"Q892138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$FFDEF3FF-CF71-47C1-BA69-512EB635BBB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$78E92631-296F-4D62-A40A-4A79D43DFBE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995601$EF96556B-60AA-47CD-B3B7-CF82BEFB53A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995601$B7F5E434-9C72-4168-A0BF-39665576BF58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d790f90730d260213284817f089dab26c8c91638","datavalue":{"value":"7363323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995601$0C3B24B6-295F-4B90-A77D-3BC36231115C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$4E74C932-6F41-4250-87B4-B7FF823F8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb19bc887fc5c555d3d129dbb5591935a8f26af7","datavalue":{"value":"Weihrauch reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$49F441C3-4FBD-4B18-AFB3-337D735294D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$43363AF3-3785-43E2-80D6-997178A8DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$7EA93649-DF30-421A-B8A5-6253EF598750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b975afa7af301f998a3dea4bb813fc899ee182f7","datavalue":{"value":"finite-type arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$222438FA-25EA-4757-96DF-4028E54DB37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5129d87c45f510acee54cf6690f68168000caa8f","datavalue":{"value":"existence statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995601$017F4826-A39D-4DA8-8B6B-9EAE5A5E5DE7","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":"Q4995601$B57C3C10-37D0-4900-9BAE-30EC7E8034BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11662185749ff73fb2de863d1b32e50de90a3327","datavalue":{"value":{"entity-type":"item","numeric-id":1712938,"id":"Q1712938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$B4B2B48A-2C53-4063-9AF1-90CD0A28B26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$5B6C7045-F2B1-4A27-AE28-B25DDC033997","rank":"normal"},{"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":"Q4995601$D9FEEB80-DA4D-4D69-9A08-D96FBAFC8733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1059ccd1a53029f0e8e04e996afb9ac67390f9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3083466,"id":"Q3083466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$574C50A2-43C7-45D2-BDA0-2585CE27A9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930645c96e1485c1eb1b70138fa2dd1e92e6b873","datavalue":{"value":{"entity-type":"item","numeric-id":2970958,"id":"Q2970958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$5E3B36CA-091C-4720-8363-19429AD9EED6","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":"Q4995601$B5C67E0C-E79E-49F3-95D1-32E6E47F2F0A","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":"Q4995601$9AA936B9-9C85-4A17-834F-F8E75D3DECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c3f2571b36d5242affc253cfba7d6cb40aed90","datavalue":{"value":{"entity-type":"item","numeric-id":3145982,"id":"Q3145982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$40A64E28-0CAC-4307-9109-0CB65AFC0D0B","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":"Q4995601$C9879AFA-7BF1-4FA2-B7FF-A747750BFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6dc37e034e84fc18a174e7209699d228a31509","datavalue":{"value":{"entity-type":"item","numeric-id":1276269,"id":"Q1276269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$0304F8B3-F86D-4877-8A03-7B41EF762056","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":"Q4995601$C22B35F1-F668-4616-9765-984FD9D0FB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59297d4e0c622c4450bb2a96fa7a1f921fd1b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5258475,"id":"Q5258475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$3E785210-B48B-4328-ACD2-392AC5996B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a68a8373035bb968db1363fda70188ab669ef46","datavalue":{"value":{"entity-type":"item","numeric-id":4692078,"id":"Q4692078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$05F21E11-77FC-41F1-ACEC-93ACBDB5CCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f821670709e882ba31b880fc6d88299e0b75f2","datavalue":{"value":{"entity-type":"item","numeric-id":5326367,"id":"Q5326367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$C9071827-42BB-4343-86C8-845CC5497B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c89702d8fb705ac6c6a0bf8e894346d7d15cdaf","datavalue":{"value":{"entity-type":"item","numeric-id":3478406,"id":"Q3478406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$58B36FC6-65D5-41C8-A802-76F9E44F3EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5184f2726889d0dec63985cbab635df3236dc256","datavalue":{"value":{"entity-type":"item","numeric-id":5440172,"id":"Q5440172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$89BAE352-ADBD-4885-B072-4E3A32638718","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":"Q4995601$9F421E4E-1505-423E-8847-B864D184EF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$0AD0A41C-D129-4ED7-947F-649EA465D6E4","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":"Q4995601$2886183C-E9C0-4F33-8FA7-E7EE6ED32512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$AD478EC5-3799-466A-BCAB-870F63AC7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de29eed033479d0e6af0494b3e99f1851f05f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4600462,"id":"Q4600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$3836F08A-E19A-4450-8CCC-0540BD3A8361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$AA6676E7-0E3C-4856-AF00-5AEC5412196C","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":"Q4995601$B2325CDF-4FBB-49A9-A2F2-7AB50EDAF1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995601$27E7DE56-F9E8-4E39-B54A-5243227228B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de0b0fbf597b397124df6a1008e474728eb46932","datavalue":{"value":"https://doi.org/10.3233/com-190278","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995601$0B763469-389B-4509-99BE-29B868688FE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66e4b7063fc39a18c7816b6f74d1ca7faea86ed9","datavalue":{"value":"W3009810602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995601$A1756A20-9E28-489E-878E-69B269CF7687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d27efb7db4facf29df8efbb82cbb57669b502bf","datavalue":{"value":{"entity-type":"item","numeric-id":2106590,"id":"Q2106590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00b4989d071c0f6f2e3e89e544df44957627de2","datavalue":{"value":{"amount":"+0.8632206916809082","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":"Q4995601$791DF12F-9D54-49A9-9962-9E0150E8A1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60aeaa7d0c82e1767b4fecb28dfffc3f1b01a251","datavalue":{"value":{"entity-type":"item","numeric-id":4600462,"id":"Q4600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5423e00c2e760c80b3cfd7af8c687c6444ee5da9","datavalue":{"value":{"amount":"+0.8371124267578125","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":"Q4995601$E88B4208-3D9D-4B92-9B4F-66B8AE9ACBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288b7834f6df79ce0196009b12e472e48cb20572","datavalue":{"value":{"entity-type":"item","numeric-id":5101353,"id":"Q5101353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e559fcd4ffe9563810f130bd85e42743806bb1d3","datavalue":{"value":{"amount":"+0.7826417088508606","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":"Q4995601$3AB9E438-AE56-4E1E-99F9-F950039D527D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8771973fbe6268dcf08fb723b320a4e0391fccb0","datavalue":{"value":{"entity-type":"item","numeric-id":5000259,"id":"Q5000259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96e21a3031ff0220c269f82fc90b7916640555d","datavalue":{"value":{"amount":"+0.766571581363678","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":"Q4995601$32BD40A1-3768-4936-9AA3-E18D4D98511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5f169a30c8cc132dfbc48c7b79ce43e4398483","datavalue":{"value":{"entity-type":"item","numeric-id":5037213,"id":"Q5037213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53337b092e58f5348ec9f65f767b62c288dbe0e5","datavalue":{"value":{"amount":"+0.747630774974823","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":"Q4995601$AA8EB28C-6576-4C17-939E-8CE6B9A29B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4995601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4995601"}}}}}