{"entities":{"Q1942042":{"pageid":1952784,"ns":120,"title":"Item:Q1942042","lastrevid":69357360,"modified":"2026-04-13T06:27:33Z","type":"item","id":"Q1942042","labels":{"en":{"language":"en","value":"Relating Bishop's function spaces to neighbourhood spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145439"}},"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":"Q1942042$8C272704-F440-4F22-812F-700E55234FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d178ebd4f3ea4a55614d7f16862a848d35cc78f4","datavalue":{"value":{"text":"Relating Bishop's function spaces to neighbourhood spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1942042$4AB52A0D-8466-4228-BE1D-ED52B3BA49C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cdffe8fac2fb75f33db398aa3182e9595f1722b","datavalue":{"value":"1275.03163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$8E555E06-484A-49A2-A699-CCDF440DB3C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942042$7118DF99-6FDD-4B1D-B501-E6B817B06C7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942042$4903D8BB-2F7A-4184-96EF-E879DFAA4A29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14be7dfb95801698ab830a4fcc0da1dba576734e","datavalue":{"value":{"time":"+2013-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1942042$B9EE52AD-9FFA-470C-9160-B9D5F9063F98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e21c24bae6f5d940311ff40d45168807490329fb","datavalue":{"value":"The author introduces into Bishop-style constructive topology the notion of a \\textit{pre-function space}, as well as those of \\(\\Phi \\)-\\textit{closed} and \\( \\Psi \\)-\\textit{closed} pre-function spaces. He shows that there is an adjunction between the category of neighbourhood spaces and that of \\(\\Phi\\)-closed pre-function spaces, and one between the category of uniform spaces (note that his notion of \\textit{uniform space} is weaker than that in the constructive theory of apartness spaces) and that of \\(\\Psi \\)-closed pre-function spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$BF9F08BA-0148-48A4-9675-A4C63D69D1CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1d18259eda2738de0461ceb414e405b880aec0a","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942042$A79777E5-DC38-4409-A5C0-BB67123E94F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$1AD8DA7C-57F0-43E0-A0F8-18784D27CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$F66DDF51-D10B-4A21-9C1F-7D476AB96DC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5afdde47be994923d5c7a9734e50b3220451b1b9","datavalue":{"value":"6145439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$6E5E8137-2EAB-49CB-8EBF-B1E95970E980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$69DCD88C-CDD0-4F1B-9DA5-BB38CFF2F882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9448ccb2eff5484bc2ca7fcf076f499f6e9ae052","datavalue":{"value":"function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$420B5C3F-1E6E-416C-9E11-C01CA1EE3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1af64b3815a360aa198b098fc0e790b3efb6f44","datavalue":{"value":"neighbourhood space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$8CD68A33-8912-44A3-B5EB-64445053C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484c24653bfd1a89dfc85b132d2f51b3c7560a9","datavalue":{"value":"uniform space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$F8959578-7FF6-45A7-AD2C-F4B94DC9C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$AD500F75-6991-40CC-BC3E-826425A49ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae0df17a76bc8d1b491cdec8e31f808e9b932e9","datavalue":{"value":"cocompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$9C0909ED-E829-4207-AA54-CEF5BEE3137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$5276416A-6AFD-4B67-882B-8C1A6F918A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc1f289b93805d5a9cbd7257aaca2de5b5aa42e","datavalue":{"value":"constructive topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1942042$C460DC23-5B44-4FCE-B27B-86C0F5B722F2","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":"Q1942042$6A5231D9-D8FD-40B3-9324-0798A3A91982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a7b6fe941eccd350ea9a51798dbdfde46edc17e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1942042$7CB1BE60-FC62-47AA-8597-DACC8819C350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1dc70688411e0b93cb6436a2ea4664e002e19e0","datavalue":{"value":"W2077034249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$3C345768-1668-4B0C-9D66-11300E35011C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c07e94db19dedaae78d97ae5b794a470a3f65701","datavalue":{"value":"10.1016/J.APAL.2012.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942042$D273E5F9-6359-49C7-9541-57EBAFD2105C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f4d620d6650927829f313dd92c719d8ff2143","datavalue":{"value":{"entity-type":"item","numeric-id":3756122,"id":"Q3756122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9399e760569ffa91d553e7d8ef548eb7314e5a94","datavalue":{"value":{"amount":"+0.89910066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$207378E9-5A0E-491F-A7C6-73DA134C9121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6b761d163317f6137e3be945e98043ea5a58ab","datavalue":{"value":{"entity-type":"item","numeric-id":5108029,"id":"Q5108029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abfcaa276df40ea941d48acc5a99ac8abb964fe","datavalue":{"value":{"amount":"+0.84287494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$7893C0FE-D6C1-42C2-91BC-F5EF45DDF9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9f0d89dbb692b742e54af27c045ff08580c763","datavalue":{"value":{"entity-type":"item","numeric-id":1312985,"id":"Q1312985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848deadfd2b4bdef6bc9b785b0a9f3bdba5c03d9","datavalue":{"value":{"amount":"+0.8404479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$0733902A-A1C8-4166-8C69-50624446172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72df27542234c3e0c2e0f1b592fab1ab65ac11f3","datavalue":{"value":{"entity-type":"item","numeric-id":5146126,"id":"Q5146126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f10b4caaf3843a191329da4d704718787b5da53","datavalue":{"value":{"amount":"+0.83977836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$CB6C6D29-7865-4489-A878-ABE38356F1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efb5244b1d34deff94b64d7edda8dbfcee40186","datavalue":{"value":{"entity-type":"item","numeric-id":2049872,"id":"Q2049872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1463ac39dfd078a861a93dd20023ad7ba1478fe5","datavalue":{"value":{"amount":"+0.836308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$676F15EA-9EDD-49BF-9DDA-04AF240C25BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6184f120408af053a44cbe8f1dab32277ce804","datavalue":{"value":{"entity-type":"item","numeric-id":2794832,"id":"Q2794832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ad3b00a733764808cb353ebe870a18c6cc81e4","datavalue":{"value":{"amount":"+0.83521754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$91FE151C-64A7-443C-9530-8A1625D8E719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2ff0f807b76dfdbe510f24b67e32dacd007768","datavalue":{"value":{"entity-type":"item","numeric-id":1074901,"id":"Q1074901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ff32129dc95aefb1a8a2228d792980658bca7f","datavalue":{"value":{"amount":"+0.8339228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$455298B4-C952-4505-A019-7F1C5AE98530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69931e2a7a69463ed286a0fb86fdb026a25cd561","datavalue":{"value":{"entity-type":"item","numeric-id":3074529,"id":"Q3074529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61daa0ccc94350d5348977c270d30b3c6c3eeaa","datavalue":{"value":{"amount":"+0.833202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$5A6BF74E-848B-4DCC-AC11-FC5C50F982DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bb8e1f93fd6f1ea5128b4d6bc0e66686cf7e63","datavalue":{"value":{"entity-type":"item","numeric-id":1825462,"id":"Q1825462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dece0c33a44360516ac3f80699b9a22a9593c3e","datavalue":{"value":{"amount":"+0.8326117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$D7A659DF-C750-4B4E-8A7F-7C9550894A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e8da09eba218b24fecd12fb52c6292f885c960","datavalue":{"value":{"entity-type":"item","numeric-id":2106607,"id":"Q2106607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa38b02b616bb1ca20071a0225cce49a3ed5ca53","datavalue":{"value":{"amount":"+0.8312492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1942042$AFA4A685-6E50-471B-97A5-B62C7AF36C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating Bishop's function spaces to neighbourhood spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relating_Bishop%27s_function_spaces_to_neighbourhood_spaces"}}}}}