{"entities":{"Q1166518":{"pageid":1177267,"ns":120,"title":"Item:Q1166518","lastrevid":42928001,"modified":"2025-07-16T02:54:52Z","type":"item","id":"Q1166518","labels":{"en":{"language":"en","value":"A uniformly continuous function on [0,1] that is everywhere different from its infimum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3769621"}},"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":"Q1166518$A5B452D9-F428-4521-9C89-9F17F3A16041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"630ef1063c39a8007aade4d9519326b49c6393fa","datavalue":{"value":{"text":"A uniformly continuous function on [0,1] that is everywhere different from its infimum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166518$4DFF6812-1CCD-4373-B7E0-2DD366DE0EE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2087ca9353c4d0e3274738822369d58dfc0d0af","datavalue":{"value":"0489.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166518$73E7A664-7A0E-47D5-8F24-DBCE2B1E611F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166518$65284286-6B47-4D9B-8DD0-EFC9A53E3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52219f245984c68b0868c2e95250683bc6199f83","datavalue":{"value":{"entity-type":"item","numeric-id":1107306,"id":"Q1107306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166518$6BF84125-E790-46F9-B9A4-F0F32DA1688C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166518$7D148283-CC53-4439-A52B-E248CCDA48C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1166518$ABBC957D-C13D-4D10-AF27-BD7F5A4BDFA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166518$7944F94C-5297-414F-980E-387819589E30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24cf739712bb2c9ee78ac6d03d767c829c0696c","datavalue":{"value":"3769621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166518$0A234A85-D9F1-4E4F-97E5-DEC0A7B92615","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166518$71220193-EB70-43F3-82A6-FD83C4F5D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166518$309D243F-C48B-485C-8DC1-7EAA436E80B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf3ece01f5c238f1e0d5774a9250a6e3e60a8ba","datavalue":{"value":"constructive denial of Koenig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166518$F5ECB11C-375C-4D8E-831F-78FAA73DFCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d05938f40945df900e651d49a67c376ab1c840c2","datavalue":{"value":"positive uniformly continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166518$181E7C37-42EA-483C-85D5-FE53E09C0FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71700bae701024b7efd244ef877082b0017202e1","datavalue":{"value":"positive infimum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166518$D9F58C41-C209-45DF-BF01-FBFA71CF5C06","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":"Q1166518$781E2A24-DE01-4C57-B9A7-BE29B7C1E254","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c0fc6c22b04668dd8b64a926703ef02064525a","datavalue":{"value":"https://doi.org/10.2140/pjm.1984.111.333","type":"string"},"datatype":"url"},"type":"statement","id":"Q1166518$FE635E75-8DB8-46FF-A23A-171CB477DDA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a800b438e7e33de232454c5650aefa972449c0a","datavalue":{"value":"W2026246736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166518$3AC1AFF8-E0A4-415E-85AE-6D422E1B8856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b98c2654fef5c4a271be35d1da479f34d221476","datavalue":{"value":"10.2140/PJM.1984.111.333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166518$6F14D8A7-0F24-49FA-9AC6-12606DAD7FAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1166518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1166518"}}}}}