{"entities":{"Q5935882":{"pageid":8112684,"ns":120,"title":"Item:Q5935882","lastrevid":101991332,"modified":"2026-06-06T03:16:00Z","type":"item","id":"Q5935882","labels":{"en":{"language":"en","value":"Converses of Bishop's lemma on located sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611965"}},"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":"Q5935882$102D8181-B6FD-49B6-BB20-5CCE865E9521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c4b57135dadec342a2c59cc7279a3421f787216","datavalue":{"value":{"text":"Converses of Bishop's lemma on located sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935882$B9F2DE91-A6E5-40B1-9E64-668032E17F9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5167603779ee7311d53e292d5b30b453696845dd","datavalue":{"value":"0976.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$EBC64B62-E728-41C6-A141-492244812275","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1637c9eccb004ca063e23882eff23e6c09f86553","datavalue":{"value":"10.1016/S0019-3577(00)88570-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$53D821DE-A939-4AB5-A5A8-D645DC5A7FDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$615C96AA-F39E-4FE2-B8E0-636FED9CDDBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$AF9EFF2A-4559-4E9F-B785-AC4588DF94EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb40d11281955feb9c83549c13a27c60db3daa79","datavalue":{"value":{"time":"+2001-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935882$B52760C5-99BD-45DD-83E7-01F0B2806FD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcc883533ac44bfdfa53811a7570ec0b1d9311dc","datavalue":{"value":"The paper proves partial converses of Bishop's Lemma on complete located subsets of a metric space. The proof is carried out within the frame of Bishop's constructive mathematics. The constructive notions of uniformly almost located and continuously reflective are introduced and used. A Brouwerian example is provided to show that one cannot remove the hypothesis of local total boundedness from Theorem 1 and the hypothesis of finite-dimensionality from Proposition 5.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935882$5F81DB42-07BD-4CE5-A24A-1D5567C6C45E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$036477C8-56BD-47F0-BE7E-057D79F5F95D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$2F6A3F41-E75F-473A-9766-11C08B39E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$7BD830E5-90EC-4F8F-933B-D8D309F8788A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85fce189c869cc0be1d73ad095cb0a6422366d82","datavalue":{"value":"1611965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$AD7DE6C0-E607-4C2F-B043-3025FB85D487","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9336dc4ee2bb267d897e9de42363f7d25d1dcce4","datavalue":{"value":"complete located subsets of a metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935882$705EAE89-0257-4A58-BD53-FC5541B4E5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935882$B1BC4477-C805-4B1B-8E38-000E98FB32C1","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":"Q5935882$8AB9C1D3-8F2F-456D-B18D-20BD024269F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$29B54A18-884F-4D50-8C47-6992047DAC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$9228E973-FF79-42B2-B587-EF3B46C6F1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00fbc1e561c6327fb187f9c2abb111a98a00842","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$4210A961-E505-4CD0-BB51-52CD035ECF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$3D084670-EC1C-46CE-B600-BE7605713314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627cff84a5e938b182cb07719714bfe28bea7164","datavalue":{"value":{"entity-type":"item","numeric-id":4490238,"id":"Q4490238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$6DB312EE-1AD3-4FE2-B456-EEE4D0366BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f648c083ad9d6d540297a2fc14310ba03d59571","datavalue":{"value":{"entity-type":"item","numeric-id":3322336,"id":"Q3322336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$DC366D8C-34DD-457C-88EF-04D8646FEF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935882$5B54F1CB-57CB-4468-8698-D7399A147A55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1aff6508de562a1d73804dae9c2bd3fb73449095","datavalue":{"value":"Q125054851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935882$D725384E-8B61-458B-B423-06E3A0AF0A1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b9e191f5826a094e261cd9793ba6690a46fdc6","datavalue":{"value":{"entity-type":"item","numeric-id":5109210,"id":"Q5109210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cb131caa711cf652b82fa840afcd70f1c6d8e3","datavalue":{"value":{"amount":"+0.8025941848754883","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":"Q5935882$84E15BAB-899B-4B24-B875-A36D05E2500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f16b4c7520d8a6de16b147724887db3686da351","datavalue":{"value":{"entity-type":"item","numeric-id":4820705,"id":"Q4820705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de58006b75d3daad92190f2aa380bbdad47c1141","datavalue":{"value":{"amount":"+0.7756342887878418","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":"Q5935882$94722BA9-0806-46C7-BD12-7EBBCB938CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de201074f83b49350fe099b01d930a54165b3614","datavalue":{"value":{"entity-type":"item","numeric-id":4417219,"id":"Q4417219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b425ebc90c238fb76175d81dd23a08a2175350d7","datavalue":{"value":{"amount":"+0.7445576190948486","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":"Q5935882$C8C0289B-8198-4D78-85FD-93D611D7A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335f0c775f1da22655f7e0680f8b6356cca7d181","datavalue":{"value":{"entity-type":"item","numeric-id":638474,"id":"Q638474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3575db64d627dbb1df6b7a3c326f9dd40711bd19","datavalue":{"value":{"amount":"+0.7442399263381958","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":"Q5935882$3E7C5848-469F-4F20-9E86-7ABD83BF76DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107b065668b205178c8b3bd456abe2b23e383b61","datavalue":{"value":{"entity-type":"item","numeric-id":3145979,"id":"Q3145979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902db3b764aca476377611b47ca6da4c49d0c85a","datavalue":{"value":{"amount":"+0.7379540205001831","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":"Q5935882$C7C13D7E-77EB-4D35-8FD3-FD9056F1FB05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converses of Bishop's lemma on located sets","badges":[]}}}}}