{"entities":{"Q6183438":{"pageid":13318326,"ns":120,"title":"Item:Q6183438","lastrevid":58746405,"modified":"2026-04-06T13:58:58Z","type":"item","id":"Q6183438","labels":{"en":{"language":"en","value":"Esakia duals of regular Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7783202"}},"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":"Q6183438$57C981DB-3DFD-4714-B979-F8682A89105C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2a9937711ed932f3e0b7f8b2e7e493c8e034ba","datavalue":{"value":{"text":"Esakia duals of regular Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6183438$D83CA218-897B-4194-9344-8C27BF17E4EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760e71b9c0e5ffad7dc066e767536a990b111cd","datavalue":{"value":{"entity-type":"item","numeric-id":1679790,"id":"Q1679790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$19F5DEAE-21B1-4973-AED6-58B570D8A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"403444337d072f5edcf595fca9d815ecafa18e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2172826,"id":"Q2172826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$E56396C2-8A45-4CCA-90F6-EA5A5750A42A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$E17023CB-658E-47B5-B870-16F95C2A92B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcbfb6e4245007aaaf5b11e066d304c97507b7a","datavalue":{"value":{"time":"+2024-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6183438$FCAC084C-D06C-4411-A405-E18A636C85CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6541d92cde86fa4313b4039678ea9a0135f0e4c1","datavalue":{"value":"https://arxiv.org/abs/2303.11246","type":"string"},"datatype":"url"},"type":"statement","id":"Q6183438$7B2127C2-2143-4518-8CF0-F2A73ECE5C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6183438$60F21E03-4D13-4E03-90F4-2A09EC4588BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6183438$7634C3AF-CB27-403D-948E-5358909A43C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6183438$B4E22FE3-5DBF-42B0-A34A-15FF77285C9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37928e0feab67f1e3fecb55eb58f5bbf9c676f09","datavalue":{"value":"7783202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6183438$13EF892F-3AAB-46B2-B8AB-A9FC1DFDBA50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6183438$9296C5AC-5B73-4E28-BA11-3BA86805A2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8cbee163ca239f92f5c61720f96dd7e5ee856e","datavalue":{"value":"Esakia spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6183438$5C696532-BFE1-4667-8AEA-FC0B2A9C32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6183438$5A5879A7-2D23-41FD-BD0B-D57B0DC79F52","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":"Q6183438$AA80519B-05AE-43CB-A6E0-0BB5CB34961E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a6bbac8d6ec155af87fdf4d97059d8699b2158","datavalue":{"value":{"entity-type":"item","numeric-id":833040,"id":"Q833040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$1686FAEC-3A09-48B2-A373-998209C346F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998d602c9ceb7d3d038aedd42d175aec896ac6b9","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$22340C1F-79CA-4463-872C-3BC963F36FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$2F08DC6D-0C27-4641-8064-9988A2DE03CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fe37b3253ca114e627d4799891f1101136528e","datavalue":{"value":{"entity-type":"item","numeric-id":5886457,"id":"Q5886457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$3F271BCE-002D-47CC-8FB9-F995C7624F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f391cfc1b2da94b8f57ef7de633777d6e2f9d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1740610,"id":"Q1740610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$B12CEC9E-A0A1-4CDF-9DD0-DA2085AA9D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb11ae72a8d20c6e6cb2a1bac48a36ddd127dda9","datavalue":{"value":{"entity-type":"item","numeric-id":2303579,"id":"Q2303579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$7E3800A1-FEE8-4F46-94AF-8111EADEEC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcbd81e3cbe376cd810b23999f43162fdc41337","datavalue":{"value":{"entity-type":"item","numeric-id":5046603,"id":"Q5046603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$FF37B50D-A9B3-45A5-A63A-A15288D5C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$AD6405F1-0222-4F27-9468-3871487B40BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$CE02EA8E-C2F1-4FEB-9424-FAF73E1623C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5906e80d644cbb4b70a8f1355659a31fb1da1","datavalue":{"value":{"entity-type":"item","numeric-id":5213645,"id":"Q5213645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$D8A46015-CE5B-4C84-A9D1-363CA9113E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087b5e7a7b70ca6180cf6c98581b8db15b4fda83","datavalue":{"value":{"entity-type":"item","numeric-id":5884947,"id":"Q5884947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$0C0952C5-2773-4864-98C6-65628E8A1F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ca22640121a99172d2ec911cf887506ddcea76","datavalue":{"value":{"entity-type":"item","numeric-id":2291224,"id":"Q2291224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$BD18E8C6-E044-4181-BEF5-13947054D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d610a175e1d5ec7434da154b57f1401dd6850e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4684343,"id":"Q4684343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$95FE4817-5FA8-410F-AB26-E6F3C08697DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07dec7989f149f16f2fcbdd901b8620f1a7fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$CD314342-4697-4963-A1B9-AA0BA9280CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$498987C2-1B75-4715-AA5C-A6E11C8E329F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1c3e48bdec8274ff05000cc218a979a71db3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1722781,"id":"Q1722781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$81FADAB0-330F-4ED5-B2E2-62940B63CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c465e3220f9229b4b5469019142cc9e4590fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4193453,"id":"Q4193453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$25FE7C30-A25B-40A0-8006-FF4C2F0ED21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$2B655D47-1DD6-4D84-B307-EF168A008464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0a8e6f90bc7aa9e5bec745b60ab3897a630ef7","datavalue":{"value":{"entity-type":"item","numeric-id":466890,"id":"Q466890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$60D60E61-DABE-475D-97B4-B34823347649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$D4CC17B0-4100-4699-B789-D10E6173EDC5","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":"Q6183438$1D6B9123-B31F-4B17-90E8-3E9F99E78F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158780c5b17a311ed724c022ce7bd7ec55df7323","datavalue":{"value":{"entity-type":"item","numeric-id":4109648,"id":"Q4109648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$4984D7D3-9AB1-438A-AEBF-75E41C78F3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0c87cd8b8bc3e6cb7802c08419c8aacc23f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$4C4487D1-4718-4405-AF59-E7F378D097AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$56579177-FA27-4D9F-B6EA-C8BA1A30F042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df0c412b35c7b29983b201631ac4f56b06a715a","datavalue":{"value":{"entity-type":"item","numeric-id":2172827,"id":"Q2172827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$52E804D1-D984-4A03-BEC5-43EF3BF5631F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$4F1F8043-571F-4657-AB16-708DC730D0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$3E030B3A-5EC4-4E3D-A2EE-7F33A7AD73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$F93DA013-3F3C-42C4-896F-B4F7BD6CDF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b54b4ab609fd68f52286e6e5100afe49f740c76","datavalue":{"value":{"entity-type":"item","numeric-id":526967,"id":"Q526967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$5A90D9BB-2B6E-49B2-8C66-8256BC22BA50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"929e18e9f4ebcc22358c6f7df28bac8f72fa8fae","datavalue":{"value":"10.1007/S00012-023-00833-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6183438$38EDAF09-D53B-48EF-9228-A7A2921D83A7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6183438$F8CB876A-0B54-41C4-BF3B-4722DDEDA38E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6183438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6183438"}}}}}