{"entities":{"Q1167717":{"pageid":1178466,"ns":120,"title":"Item:Q1167717","lastrevid":66285987,"modified":"2026-04-12T08:47:45Z","type":"item","id":"Q1167717","labels":{"en":{"language":"en","value":"Completions and co-products of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3773583"}},"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":"Q1167717$D244F5F7-A990-4958-81D1-76A5D3D8BDFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e72dfae75c2291e51e0a909bc7284e97777ebcb4","datavalue":{"value":{"text":"Completions and co-products of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167717$68F33BFC-E31A-4597-863D-F8A013765374","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b94bd57c57c9accf727fd726ab1283b226920db4","datavalue":{"value":"0492.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$F7218AD6-0566-454E-ADAD-F64B7D2199A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef93307b581b7b5a0b8c1414370ba3edf754384","datavalue":{"value":{"entity-type":"item","numeric-id":208820,"id":"Q208820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167717$D8FA4D57-682E-4035-BCC0-93CA780FDC2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167717$964BB738-3878-4469-8C0F-97065A83D084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1167717$FFEFB149-201E-41E2-A594-CCFE88F1AE3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$47634A86-AC58-41C2-B937-BFE8E6A46C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$399E5C6D-4B7D-40E9-8762-C68A47FE4B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$48AD3099-608E-4446-98DB-6A16D288FB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$ACE11576-EA16-4191-91A0-9BA53AEC13A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f341f1db9c1e281dc0a5b6b5b921b61ea681854","datavalue":{"value":"3773583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$C54814F0-4B21-4576-9D93-57E96E4D95AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$0C670A30-74E5-4501-92F0-53DA12C0A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$F6762A25-881D-4DC3-A91F-FD7AED01539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0871af8099d63a907b730c565a0d6f00256fe4","datavalue":{"value":"forcing extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$5BC4CA93-C6E1-4FE2-9956-5A8B236FC052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f174cc4ef6f56e147bbfbed22fd2e8c5c1e89671","datavalue":{"value":"intuitionistic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$CD5A5E6A-30E0-45E0-BCE8-53794FBB051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4c1d1575eedf8fbbdbaa59c1a66149f41315e7","datavalue":{"value":"Stone space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$885304AB-9F2A-4C5C-A02C-53AF84C77437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$85560802-1B01-43EC-A11C-0AE892C0C6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8303fe8c982dde3582b30d8f6c7fafa5e3c6664","datavalue":{"value":"canonical completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$17C36F32-3B8A-4137-95E2-0A5843C73566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167717$0DC7CCD7-59D0-4357-96A8-870DDC4374DD","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":"Q1167717$53896AE3-6010-44F6-B77C-D1120F54C52D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8420a62aba927b13d79602a97494ae27219d630","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496159401","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167717$B7302665-499F-4C9F-B603-0D33450B3E46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4d7b0338a1a41c7d4a411aae6338f605336343a","datavalue":{"value":"W1567059530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$10046EB0-08F6-4732-894C-7C8DFB7945E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2a4c98a4ce9605208419619a4061628769c64e","datavalue":{"value":"10.21099/TKBJM/1496159401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167717$0BC0B13A-3975-417A-9A1E-4B995C3B0952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completions and co-products of Heyting algebras","badges":[]}}}}}