{"entities":{"Q3410767":{"pageid":3421470,"ns":120,"title":"Item:Q3410767","lastrevid":80495327,"modified":"2026-05-06T16:19:48Z","type":"item","id":"Q3410767","labels":{"en":{"language":"en","value":"A categorical proof of the equivalence of local compactness of exponentiability in locale theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073394"}},"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":"Q3410767$4A99EDB3-15BB-448B-9641-4197C42DF6B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37927e458727b1317ae6ff5a438bfa9d9bf042c2","datavalue":{"value":"1114.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410767$6CE8E3E2-57BF-4C8C-93B0-9B40894A0C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7918a9a011dc659f4866b566042e534d784831ea","datavalue":{"value":{"entity-type":"item","numeric-id":593203,"id":"Q593203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410767$7B473E36-0FF3-4830-88DE-0312B1B90605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5c89b6c4264e38794a781d2269f2c152163b84","datavalue":{"value":{"time":"+2006-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3410767$856B5863-1817-47D5-ABAD-051DFF41175A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba4c1390534211fdbe64e547f6f9c2253b4f58c","datavalue":{"value":"http://www.numdam.org/item?id=CTGDC_2006__47_3_233_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3410767$3AB80119-4D56-49AD-AA73-760C722B2716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"961926c3208de83d54d7335218e8f4c8e1038f73","datavalue":{"value":"https://eudml.org/doc/91708","type":"string"},"datatype":"url"},"type":"statement","id":"Q3410767$A4B603E0-7194-41E3-858D-4D2C8445AA37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410767$39D7113F-AF5A-4672-9EB4-6BDE7D7B8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410767$DD5AF90C-88AD-4F1D-81CB-FEB3C942A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410767$A87068A9-CE3D-4188-AF94-075BA0885BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549b28f205c53d069183127ec02a61e430e0e3b4","datavalue":{"value":"5073394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410767$B30DC9A0-7D10-4AF9-B2DF-9D547CED5794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410767$6A2F5353-7E60-4FEB-9A44-34CA0CE1AC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58356b09c7f400d749a52d0e366c5434a726f178","datavalue":{"value":"local compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410767$DD6789B1-98E1-4E03-9597-7C47CAAF77C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158fe5b9e352a6e11048b5905d4fc08e7742987d","datavalue":{"value":"exponentiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410767$93A0E875-1A8A-4B69-B38A-A6341EA41F2E","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":"Q3410767$FE6D1EFB-6D5A-4D63-86EC-90147E21465A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c855effec45af8b580062f48dfbabdacb90346f","datavalue":{"value":{"entity-type":"item","numeric-id":3942026,"id":"Q3942026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410767$1CA41BA9-B471-40F1-958A-9E3CD137BB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410767$EBD070AB-10AA-4A7C-BEB1-27EC7E5489F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410767$E96F7302-E1BF-4948-A666-32DB77E09646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c0a6126495cda1262185672d17adb8c374c26d","datavalue":{"value":{"entity-type":"item","numeric-id":1434363,"id":"Q1434363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410767$455EC6C6-EE12-4B02-A85B-3E8A76E2440D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6cec69b82a53149613df643c620924e82c4376","datavalue":{"value":{"entity-type":"item","numeric-id":3749739,"id":"Q3749739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91900e2d77d6b6432aaf7db3ea2739219b3df5c","datavalue":{"value":{"amount":"+0.8209019303321838","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":"Q3410767$2588F27B-EE38-47C5-BC78-DBE6C012710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0106b2f9ff62b2f29b60bf666be82549d95d65f9","datavalue":{"value":{"entity-type":"item","numeric-id":5481591,"id":"Q5481591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8fbad1bacb0edf8b6d2d0a57f20337ea2b74dc","datavalue":{"value":{"amount":"+0.7683931589126587","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":"Q3410767$C5212036-9958-4587-9A31-86BF6CC33292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e5ae2d73df0474cb505574137b84f0fe590f98","datavalue":{"value":{"entity-type":"item","numeric-id":3322276,"id":"Q3322276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b075cb088731230dee129dc02a600129ef2990d2","datavalue":{"value":{"amount":"+0.7653464078903198","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":"Q3410767$B77E416F-FB78-46CE-A862-F60EE409607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c270b2bb4a38b42cecfd7964eb8b3e3ae861a5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5718572,"id":"Q5718572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543e27bdecca38456cad62cc5384c142ca519132","datavalue":{"value":{"amount":"+0.7640917301177979","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":"Q3410767$CB0728D0-0D28-4C50-A0DF-4FF67FF247D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29e5d48993d59be28edf129333676c2c38fd2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2768444,"id":"Q2768444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3c7d19652fc55f48039628c0f16f9d893aca5d","datavalue":{"value":{"amount":"+0.7629204392433167","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":"Q3410767$3E5F86AB-1EEB-43FC-A3E3-1506051F5A34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical proof of the equivalence of local compactness of exponentiability in locale theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_categorical_proof_of_the_equivalence_of_local_compactness_of_exponentiability_in_locale_theory"}}}}}