{"entities":{"Q2418778":{"pageid":2429521,"ns":120,"title":"Item:Q2418778","lastrevid":55375444,"modified":"2026-02-17T14:44:09Z","type":"item","id":"Q2418778","labels":{"en":{"language":"en","value":"\\({\\Pi}_1^0\\)-encodability and omniscient reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7060305"}},"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":"Q2418778$A250383F-C6BD-4E7F-B2ED-5D24CE63A8B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc95403ba48b438e48c41e7572a30d1b24a7cd84","datavalue":{"value":{"text":"\\({\\Pi}_1^0\\)-encodability and omniscient reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2418778$5B42600D-8318-4534-8143-D306DA4366C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b16417dc8da4e09a711b8329a56ec0b7181a19a","datavalue":{"value":"10.1215/00294527-2018-0020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418778$7AB1FEB6-35C8-4705-99BF-283D31EA8D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca1eb710782bea5c0b078aa7b9c63a74e1f27829","datavalue":{"value":{"entity-type":"item","numeric-id":1747491,"id":"Q1747491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418778$E03F3544-C6A1-47E4-9733-773969A43475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418778$A349BC78-7405-4C58-BAB5-C8F6AB05A5AA","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":"Q2418778$C8E62493-7261-404A-A376-C72B39E67FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6120eae74d684c2ead20d43fdd3e39763954793c","datavalue":{"value":{"time":"+2019-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2418778$8892DB01-0E64-4A18-945F-F1C0644B1FB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60d0d33c21b0056666b805c3b9125de2f31a5adb","datavalue":{"value":"https://arxiv.org/abs/1603.01086","type":"string"},"datatype":"url"},"type":"statement","id":"Q2418778$AE2A9E74-EE54-4D03-81F1-C4DE9164760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"470e0946c6d72beba8e4e1ded64cac263a8ef87c","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1547802298","type":"string"},"datatype":"url"},"type":"statement","id":"Q2418778$EC24D1FE-A56A-453A-9EF7-9579BA16F23A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418778$FE6F7722-16AA-4D2A-8099-6B5F8115DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418778$6D43A2E1-C601-46D9-A1EA-ECD2B6970C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e845a194c0def1fa62341146e739b024657e607","datavalue":{"value":"7060305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418778$B20E287A-72DB-4FAA-BDC4-DC53937333B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418778$D771BC0C-06C9-40FD-95E0-C360656170A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c5c3a5a33b1a2d3a6349d823e0fc6630509bab","datavalue":{"value":"computable encodability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418778$AD9C0883-0700-421D-83C0-9114CBA9A6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c689706f9420c0de1103e21d1568d16da9a7aa67","datavalue":{"value":"Ramsey's theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418778$6377ABC3-99E0-4EBC-AC3B-645A70D6701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddd27a79bd514166f42d303186737b60c33589c","datavalue":{"value":"computable reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418778$295493A3-1322-4EE6-8364-57D4A29DC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae295ed33013bd8377de5559531ec965348333ec","datavalue":{"value":"higher recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418778$763457EE-9FAD-49BB-A3E0-E5ABACC88214","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":"Q2418778$F7E1A1C8-039B-4ECC-A460-532D81D0BC72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd979bafe739b61a224f87dd4e1899e99fe49b9f","datavalue":{"value":"W3098284102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418778$027F8652-F967-4016-877B-9DC31487CCEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d54a2ab5ba353bac63519ce2425c7930bbd271","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1e145346a5abf660502a3262261ed7386b212c","datavalue":{"value":{"amount":"+0.7395601868629456","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":"Q2418778$9AD8E6E5-7989-4CBF-826C-015A07489F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24068a71d5b028c5d360eb7d490add663f7223c9","datavalue":{"value":{"entity-type":"item","numeric-id":2951171,"id":"Q2951171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9def96295826fb847a25afb83053304998ded439","datavalue":{"value":{"amount":"+0.7330613136291504","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":"Q2418778$FCBB7B2F-CAB6-494E-8C83-04C3112C4B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6e76ef962b4445b17ef65f7c73d02d6a2f3c43","datavalue":{"value":{"entity-type":"item","numeric-id":5218249,"id":"Q5218249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83ae25e932e707968668f739660be3fe7d4e82a","datavalue":{"value":{"amount":"+0.7322911024093628","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":"Q2418778$9A49B7E3-E3EB-4E17-A35F-43DEB5DDA9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce7fc7d3326313a79361f0f0c4e3dd77d394b30","datavalue":{"value":{"entity-type":"item","numeric-id":2747723,"id":"Q2747723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2558a26a215da66d243dcccc579802ee5a85a9","datavalue":{"value":{"amount":"+0.7311005592346191","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":"Q2418778$9EC37971-C623-4640-BAD9-6A3EB0F58372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4020f227551d3c2817e85f1106eecce6d38a6970","datavalue":{"value":{"entity-type":"item","numeric-id":5163163,"id":"Q5163163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8771a0596e93ceb7d22c617b87f10043ac933c00","datavalue":{"value":{"amount":"+0.7143077850341797","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":"Q2418778$FA01BCF6-56D5-485E-98B8-B2D49D0C28B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2418778","badges":[]}}}}}