{"entities":{"Q1167158":{"pageid":1177907,"ns":120,"title":"Item:Q1167158","lastrevid":66421434,"modified":"2026-04-12T09:57:31Z","type":"item","id":"Q1167158","labels":{"en":{"language":"en","value":"Generalized Banach-Mazur functionals in the topos of recursive sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3771585"}},"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":"Q1167158$3B09FE8A-D1C7-4E8E-A3F6-D576A52962D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e6068576247c2b5d30250e965475ee3837998b5","datavalue":{"value":{"text":"Generalized Banach-Mazur functionals in the topos of recursive sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167158$0AD27CE7-9116-4217-B7D7-32700B74E391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2d6dbc7e588ce0a36aebea08c1406dd130669bc","datavalue":{"value":"0491.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$B92017E5-2A37-4D8E-A767-3F10E55C45E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7565649b72329b93f45f4152d7cf671ab8a41b7","datavalue":{"value":"10.1016/0022-4049(82)90030-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$4E3FF095-443C-4541-BBE9-7685B2E58593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843372140793d9d5527f1f4336e74b5f117ec778","datavalue":{"value":{"entity-type":"item","numeric-id":581395,"id":"Q581395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$249FF3A0-D281-496D-B8F5-9D9B4A666AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$F502AFD6-7E93-4DBD-8E51-589EB09B43BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1167158$54F61DEC-44E4-43E5-BF0D-4903F12AD126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$6E39A79D-1C1E-4C86-9CDA-779AEBC48941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$CDB824B8-EB0F-4737-A8FB-F1A73E1DE39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$4E6E81D5-C902-4ED3-9545-3B1B4232942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$9AB0F5B3-B6B2-40F5-AED6-13F19202EC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$7455BFB5-10F3-4C11-A6A1-84EBED5500AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6211af513f7b123483ea1c2a548a993ad045be06","datavalue":{"value":"3771585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$4258D126-4E24-47C4-8B5A-53E5D08AD439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d1b7a2c28e77906da4104fb636290a5dcfcc3d","datavalue":{"value":"recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$8DCBADD8-2953-4A1B-9CD2-08C8CA92B1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$DF55997A-9502-4F45-B27C-D776DAA5FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3650d95f30daf648fd64fb0fc27ac89b42f7ba4","datavalue":{"value":"enumerated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$BBBFD266-C146-4794-8E87-DC7ABD40365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed1ae8f9edd616c1c3d27bdbb15076c0eb95009","datavalue":{"value":"recursive reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$FACCC00B-490B-4CE0-9C2F-F1230AE5D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a867b4528b484cce7544228c4309f1b0c755780","datavalue":{"value":"subobject classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$F0435CDA-A477-42C3-B5D5-BD42B1E99301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154be83ba0fabd585e606b21b1e544f5b2678048","datavalue":{"value":"double negation topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$AE9FA8FD-E3B1-46D0-8276-F4662EDC5CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4268596d9d26d2291e39472e23dbd26d984c4f99","datavalue":{"value":"global sections functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$ADD783AD-4F7E-4E65-B44A-2CAA651A3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8ee74c54af32272ba4512aad2087055e0dd2c0","datavalue":{"value":"Dedekind real number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$AB6E4B6E-FA7C-4644-9146-B0173976855F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27dd1280b337570c8db43189bbfc782a584d252c","datavalue":{"value":"Banach-Mazur computable real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$E22ABB41-05EE-4D9C-81E7-71C63E2A843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d06588ab62ccd60a5b566919bd9f84f70b8548c","datavalue":{"value":"sheaf of Banach-Mazur recursive sequences of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167158$400B2B06-370D-4526-A425-553735986495","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":"Q1167158$BB7393CA-06D2-4605-BAEB-11CB6B1FDD09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a806907ec4c3bc1ebacab003e81f3806034fbe","datavalue":{"value":"https://doi.org/10.1016/0022-4049(82)90030-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167158$9A82B32E-0FE3-4F76-9AE6-56764AC5DE37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d89fcdd364fac38509bdb67503573787f3968c57","datavalue":{"value":"W2079028772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167158$BD27B29B-4013-4D83-8BBA-D75CA2EB0DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac19a1011204e80b47aab53956c4a56827f7643b","datavalue":{"value":{"entity-type":"item","numeric-id":4168604,"id":"Q4168604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$E2340703-6B5D-4AEC-8221-6EED647820F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60935375874d1184ed7f3aad84447945d17487","datavalue":{"value":{"entity-type":"item","numeric-id":1220920,"id":"Q1220920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$2320123D-E94E-4DDF-8D41-7A2D2F4F4943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$5E70ED2A-56A2-45AA-843C-7D6F2E1A6C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$F1221989-5B19-416C-B961-CB0BB46F6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890f1467c3075bef739b51b1391eee5f31c32c75","datavalue":{"value":{"entity-type":"item","numeric-id":5720193,"id":"Q5720193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$BE8E458E-EFF9-4F59-82E5-32E2EDF4EB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f164d97ffc97c1b4d6f5d4fd6394a86a99a1de9","datavalue":{"value":{"entity-type":"item","numeric-id":1605183,"id":"Q1605183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167158$D6013D02-3279-4BBA-867D-8D9C2AE4BBA0","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":"Q1167158$17CB3244-7E44-4976-B699-08B9A190ACF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Banach-Mazur functionals in the topos of recursive sets","badges":[]}}}}}