{"entities":{"Q4899177":{"pageid":6928756,"ns":120,"title":"Item:Q4899177","lastrevid":58350972,"modified":"2026-04-04T20:24:50Z","type":"item","id":"Q4899177","labels":{"en":{"language":"en","value":"A constructive Galois connection between closure and interior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122638"}},"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":"Q4899177$E375E931-A68E-421F-8928-B55765C3F0BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d68ac476c217412aee05bcfdd9c8520c83b6e4d","datavalue":{"value":{"text":"A constructive Galois connection between closure and interior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899177$46C777A5-0D1E-4F13-9FBA-B3DE32629028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc42002035ae1d0460ee08f490a250c8e9434810","datavalue":{"value":"1275.03161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$EB19A35D-E9B8-4921-AEB4-7D9C9215A516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3805f594ddac6fae8f2d2362aaebc83c0fa4374","datavalue":{"value":{"entity-type":"item","numeric-id":290641,"id":"Q290641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$D07A4EA2-FBF8-4322-855D-D35CFB0400A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$A9B5198A-A1D1-4B72-9688-A75476629F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899177$9BF166B8-5E2F-4320-8ADF-7139AE0F5B21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c3f3b35e97b289575e92e1b24a3670b9b92a7d","datavalue":{"value":"https://arxiv.org/abs/1101.5896","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899177$AE1D4BC4-2CF6-434D-AD7F-181655025C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f433b47d5443b8bc33b1bace88076252f687b941","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1350315590","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899177$7D528A56-9FA1-4251-87C6-756AEF8DA582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$4B68F365-9B70-45E0-B328-7F01024E1B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$085C7C7E-35FD-46AE-A714-A62997AE39E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b7afc09fea1ec629a036b07ec5e5f099946b56c","datavalue":{"value":"6122638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$341649CF-B4B7-499F-8CAF-3064B9734B04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$29879B65-E3F4-41B7-B7D6-F541A3CD35CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fb03295b62a20fe027a6d6a2d29df8f17c99d36","datavalue":{"value":"interior operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$F06316A6-3C1E-425A-96E0-5AE301E4CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$1AC91198-F22A-4552-B1AA-52F4A35A81AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$96705B16-B67E-4731-A038-8FD5FA471552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$ED22C69A-F6B1-4538-B328-03D83AA5B673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb2b86b17cbb02f390623a9a222000809d43fd0","datavalue":{"value":"intuitionistic version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899177$FD0D6917-412C-4267-99D6-DC16F63B4A30","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":"Q4899177$C55A5C94-6543-466B-94B0-CB803F8FC859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"214792ff0e1b0657e5b787e25d51568b035ad99a","datavalue":{"value":"W2963269185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$5A196946-71DD-47A5-A046-F77D5E3DB34D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$3013DB8A-32B8-4E42-95C3-6D3D8B45CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$0A930973-BF57-41D5-8D03-7C940BB5F553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799f8286d022d3481850dcc143785046726f949c","datavalue":{"value":{"entity-type":"item","numeric-id":3671161,"id":"Q3671161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$29AE42E4-8D02-4762-B0B3-146B608B4EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$0FD814E9-EE4A-411A-B4EC-CFF1F63B3914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07e836c745e9ff71257df133eac37d9ccc626ca","datavalue":{"value":{"entity-type":"item","numeric-id":4527918,"id":"Q4527918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$4E91A79F-CB4F-4BB3-B174-FA054541A0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe22cc1a784b53b28aedad7331334f85b8bd81","datavalue":{"value":{"entity-type":"item","numeric-id":979062,"id":"Q979062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$74E3DAF5-5EA4-454A-9E84-3B85036320D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$7AC9C4A6-CCEC-4597-A7EA-2402AD08DFBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434fa04c179c2a5227624e05903d3aa1563d4ab8","datavalue":{"value":"10.2178/JSL.7704150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899177$DCFFE66C-C367-4BB6-8B9F-02CD4213002B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899177$EC623CB7-0DDB-4F49-83A3-4026240EEEF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06993d88995b201b788efcf5d30e51f4191853ef","datavalue":{"value":{"entity-type":"item","numeric-id":3371721,"id":"Q3371721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2107768261798cab69248ca9e9cd76f8805f96","datavalue":{"value":{"amount":"+0.7937455177307129","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":"Q4899177$F2E856C5-BC4C-4C68-BDEA-D5F9B1159512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9377746392afa9ff2fea8bda05f0880f6e5b4a89","datavalue":{"value":{"entity-type":"item","numeric-id":390424,"id":"Q390424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271b31ed5cefce8fb47db7535542da77516fbd8a","datavalue":{"value":{"amount":"+0.7843732833862305","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":"Q4899177$8DF73D66-E603-499D-B473-FFB3A35F91A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6924ac4195660e8b30b658abcee7b862b809410","datavalue":{"value":{"entity-type":"item","numeric-id":3061277,"id":"Q3061277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3944cd1417796a73d2c93f55b9c3b6c15f41f154","datavalue":{"value":{"amount":"+0.7715725302696228","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":"Q4899177$3A8E0933-3A3D-4CCE-B770-2AD801E4AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"579e24e8c4cf95dc981d9d9c7d03672cf8294e1b","datavalue":{"value":{"entity-type":"item","numeric-id":1313935,"id":"Q1313935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e486d656ec1b5f53229c35c8c697c109dec40b4","datavalue":{"value":{"amount":"+0.7708131670951843","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":"Q4899177$71997B5C-E8A1-44FC-84D5-116DC5D4BE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ad014ef1a5a6927a77625d3e3edeb50681f1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5381610,"id":"Q5381610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e921e006178aac938aae2d7cf96c23834985d2d","datavalue":{"value":{"amount":"+0.7647208571434021","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":"Q4899177$09175719-1DD9-4AE1-A936-223B524DB8CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899177"}}}}}