{"entities":{"Q861859":{"pageid":863707,"ns":120,"title":"Item:Q861859","lastrevid":64908069,"modified":"2026-04-11T23:01:38Z","type":"item","id":"Q861859","labels":{"en":{"language":"en","value":"Lax proper maps of locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121402"}},"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":"Q861859$4FE0E4C3-92C8-4A6A-A033-D586EC4DBCDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c2de2be9b2fb3c30b69f4371ef4de66a1cb3fe9","datavalue":{"value":{"text":"Lax proper maps of locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861859$68596C7C-53DF-4156-8281-9FC9FEAA4778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0ba53bb2b4a6cb60fa1772b94cce41728465108","datavalue":{"value":"1112.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$B5F4F1F7-AAD4-48CA-B211-4EB3692F1CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d01f93be763bff5b13558cfe6c25836c4b563b0","datavalue":{"value":{"entity-type":"item","numeric-id":861858,"id":"Q861858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$13D8D42E-0E7B-4FB4-9A11-9ED75276A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fed446ca384336c4eda8c5864bbca71675992d1","datavalue":{"value":{"entity-type":"item","numeric-id":465451,"id":"Q465451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$80EB35BE-90C3-49D6-85A3-F4F04C0036D1","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":"Q861859$F6FB36E5-09C7-412F-A9E6-9145E5AE2D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861859$BCD73B11-DBE4-48FD-B20E-F90EBC1D73CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9509246d973421e2497ed80be96c6c1c6a546f5d","datavalue":{"value":"A localic version of Priestley duality between Stone spaces and coherent spaces is proved, using lax proper maps of locales. The duality is extended to sheaves, namely that sheaves over a coherent locale can be recovered as the sheaves over an ordered Stone locale.","type":"string"},"datatype":"string"},"type":"statement","id":"Q861859$E6126632-49AB-4075-8B2B-6B374254EC63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$FBD0D9F1-CBD9-4EA2-9836-4A1E90B1B189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$0BBB32F0-BE93-40B4-8355-3621A5D7239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$63F2659C-6188-45B1-B701-0594E824F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$8E066EC0-E6A9-4EF1-B107-CF79ACD760CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e4419f5f18ff802ab7960d2f38b67b86d26684","datavalue":{"value":"5121402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$8D16F400-A3EE-412D-8F5F-3ACBD24905CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q861859$CDE2B4D2-BD0C-4810-A46D-08876FA3E547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q861859$0FCD90C2-1B6E-48ED-AE53-EFC0E1C229AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"13a1f9c653c47eb8bc77831a51b95214f8b9e918","datavalue":{"value":{"entity-type":"item","numeric-id":169642,"id":"Q169642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$232E160D-E7D7-4161-A7E9-EF4AA20C2A55","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":"Q861859$6AC58F16-FB10-40AC-8793-DFE31002143D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc90572f0b28cb71ff1ca34c135502c8a4f672bf","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2006.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q861859$990417D0-F07C-4125-BCDC-3F0757ED530F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d240bdc58632c7e7b7e700ad1c8dde25063ea78f","datavalue":{"value":"W2074775257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$1E5454D0-C2DB-4764-80FF-8ACC020D133F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1855f03c5cee30a5c488364b9ea7bd3bc8404ea5","datavalue":{"value":{"entity-type":"item","numeric-id":1818641,"id":"Q1818641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$4718EE27-0169-49DE-9A63-C4B25BFAD485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$2BFCD6E5-C700-486B-9590-5791EC69721D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$96D66992-849F-4421-845E-F050151AE896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33046cde023dc815eab14df04b658440da4d20b","datavalue":{"value":{"entity-type":"item","numeric-id":678827,"id":"Q678827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$DCF6B0CA-0163-4C72-92BD-C0A1195298AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9ab3e424dc1140f0bff3f8859f77b1c4b111e0","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$34B67C18-3DBC-4A25-9B4B-8822E3C3BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b918a3517bbf8faabd9a74865f06355cf98ac212","datavalue":{"value":{"entity-type":"item","numeric-id":1318788,"id":"Q1318788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861859$91C7447D-1703-42E0-A29D-8A2B5B3D28E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59f23a228c2613e3e8fb084e0fc7838d1bcdba1","datavalue":{"value":"10.1016/J.JPAA.2006.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861859$0431B25B-0073-4A47-BCF1-773CF61C662A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a1fea0ba53b1e0cb2af836315d2bdd227da955","datavalue":{"value":{"entity-type":"item","numeric-id":678827,"id":"Q678827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681386cf2f4b8d9d934223c19fb0b1171b8b41d7","datavalue":{"value":{"amount":"+0.797859251499176","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":"Q861859$92C75071-EE73-4C76-A8D5-2153E9327B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f595de7ce841fb3b06a7d1eef73264799377e41b","datavalue":{"value":{"entity-type":"item","numeric-id":3817283,"id":"Q3817283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9648cc69c5e2efa8b12df78e7983fa4842b04fa","datavalue":{"value":{"amount":"+0.7974258065223694","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":"Q861859$4CD78BBD-E946-4C62-9761-E0D87B921B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705e9c9b09f833cfd92db57e11a2222f93466e6a","datavalue":{"value":{"entity-type":"item","numeric-id":4526154,"id":"Q4526154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcd0d35b0ff371a5a1bd3dccaacae618f7950e8","datavalue":{"value":{"amount":"+0.7971617579460144","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":"Q861859$201B3746-D18A-464C-B3DD-3C34A5224278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a424bb73141344b20edf191ebaca61b83b77ea","datavalue":{"value":{"entity-type":"item","numeric-id":535359,"id":"Q535359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7da32263c0191484dce5b4183cb262b446af737","datavalue":{"value":{"amount":"+0.7421402931213379","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":"Q861859$832EDB99-EFE3-4DE5-AF64-BC6B2437CDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c255ec12da84e609f31c74387f23c96e939378","datavalue":{"value":{"entity-type":"item","numeric-id":1318788,"id":"Q1318788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182fbaf57749613a98b5a24b3e30e49b5c0179dc","datavalue":{"value":{"amount":"+0.738781750202179","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":"Q861859$A8F5FAAC-1D12-4368-AC82-668372DF0FA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lax proper maps of locales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lax_proper_maps_of_locales"}}}}}