{"entities":{"Q1053098":{"pageid":1054946,"ns":120,"title":"Item:Q1053098","lastrevid":66042042,"modified":"2026-04-12T07:08:36Z","type":"item","id":"Q1053098","labels":{"en":{"language":"en","value":"Amalgamation and interpolation in the category of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3817949"}},"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":"Q1053098$5EDF4AB0-20A4-496F-AEC0-CFE617D7229A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b315f16869dfb50e0e7656be69030530703a985","datavalue":{"value":{"text":"Amalgamation and interpolation in the category of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1053098$B4ADE153-7D26-462F-B8A4-29EC1D4629AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b138a778ed78b4baed561692e4ba1dfe0461b20","datavalue":{"value":"0517.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$C0BD94A5-952C-4B3C-B613-2F8F3A31C01E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f590795c0d6d52802b0b0b4b091e9a8dd7c51eb","datavalue":{"value":"10.1016/0022-4049(83)90104-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$9C67ED14-FFC7-4703-940B-EE11E05B5C3B","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":"Q1053098$9D691331-2B4F-494F-911D-B3ABB70D475E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1053098$672A1F8B-F78E-4949-AC9B-35D67EC7B679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$B6E0B0D0-7AC8-4235-8D46-44CE2EFC297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$0C27D250-E5CE-4279-9B01-E88DD8C3A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$AA782D07-92D9-4F27-B6BE-392CF2C024F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$1B894A4D-94FA-4907-957C-E09343B9091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$194675FB-ABB3-4D46-9CE5-77DF1730E97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$E7466D86-11D7-43ED-BEEA-B49433748987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$F886153B-8616-4A5F-A609-ABD8D9C43CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e4517a8a270bbf98cc45d8c6b9b953f81134c17","datavalue":{"value":"3817949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$FEC42583-759F-4606-A762-4F1141294205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ab0032895d1e276d164c3db768f9c7b634ac43","datavalue":{"value":"categorical formulations of Craig interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$A294335E-90B1-4797-85A6-69179D28C2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1d252cd843fc6aa94f056b8e822723ed61a041","datavalue":{"value":"categorical formulations of Beth definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$D90D3F4E-D6FF-4F46-BBF5-2C1F870E6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02018a414addd6bbf6bd24bba582b2c0cb06407a","datavalue":{"value":"lattice of filters in a lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$4C2CAE92-F60F-4D21-9B36-9CA461815E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da21b772154ada2d93895d307215da0088fa234e","datavalue":{"value":"category of Heyting algebras and homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$47828927-B658-41C3-AD46-D0EB58ED5267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6469358d858f8700b01980fb63c1833839af7ba1","datavalue":{"value":"category of locales and open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$1E47FD0A-6120-43C1-86CA-CAB543437A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d97430fac5cbae2765f21f4bf117f401867432d","datavalue":{"value":"Galois theory of Grothendieck","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$6F5AF43B-A257-495D-BC6A-C3320A054417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$307A3248-155B-405E-B3FD-B36167649B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085e0feb26b33a940087cd4b65b35af05c5dac79","datavalue":{"value":"category of distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$4CF6692B-123A-40E0-A9B4-4D43EDBAF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b237eae9760ad2afeb7c2fa9bd2c15328a2524a8","datavalue":{"value":"category of frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$B7102899-E8F3-4B4E-8B1D-C53A2E8404BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab6da676b9ef193b8b2fb84dde1df52ac6a651ac","datavalue":{"value":"stability of monomorphisms under pushout","type":"string"},"datatype":"string"},"type":"statement","id":"Q1053098$55B376E8-0358-4C60-B727-A2EB31E16E13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053098$80F2BF50-50FF-4B08-9579-4FDE3198880B","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":"Q1053098$DF979309-52C3-4844-9673-742F384D66CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b91316743fe5f9fc936258859d8b5d914856cbe","datavalue":{"value":"https://doi.org/10.1016/0022-4049(83)90104-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1053098$2E0F4399-0160-428C-A71D-1D05B7181159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9304548e94dba3c8c20877f0a9d616bcf10ec880","datavalue":{"value":"W2001916998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1053098$C5B5DAA9-BC71-4D31-8CC3-19E84BE83397","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053098$6AF7D62A-190E-4E87-ACA4-D9AD1DE9B616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053098$014C68D1-E0A9-496B-B73A-176ABA11F942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906c7d4e316ebb9ded2b2e442f04dfc90302b744","datavalue":{"value":{"entity-type":"item","numeric-id":4175531,"id":"Q4175531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053098$B5A9A466-E9EA-49DF-9289-888B87553F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1053098$D071BBE9-5518-4AD1-B5FC-4AF379C7FD96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amalgamation and interpolation in the category of Heyting algebras","badges":[]}}}}}