{"entities":{"Q862977":{"pageid":864825,"ns":120,"title":"Item:Q862977","lastrevid":50007349,"modified":"2026-01-12T14:57:19Z","type":"item","id":"Q862977","labels":{"en":{"language":"en","value":"Profinite completions and canonical extensions of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118502"}},"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":"Q862977$D2DD818F-8914-4128-AB93-01538D7E8416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"337d611699f3673195d261b006532094c89266da","datavalue":{"value":{"text":"Profinite completions and canonical extensions of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862977$BA8CF95A-0DAE-4610-8727-C25776B2B759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0f5a26e4213186ce1738e86ff680172d59497a6","datavalue":{"value":"1112.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$C7705FCB-8A04-4669-9D78-D629FDC52AC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$087C0EC6-A0E4-4DB1-BB42-696E43F07C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$77CDB778-D094-49B2-ADA7-54264ABCB597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a59dc1828332765db1470be3fe0c199d74ad57","datavalue":{"value":{"entity-type":"item","numeric-id":800424,"id":"Q800424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$F2C45737-FC42-40E7-B685-7496F003F40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0ac4d1cb62b97c78ea4b7512361f97c99bd36b","datavalue":{"value":{"entity-type":"item","numeric-id":215952,"id":"Q215952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$3E1754E9-258D-4DC2-AEF1-23576FDFD6E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$88A2D576-1809-4432-9A00-8CA6873E2B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bcc80abf4febcaab92f350c6ca87f3e89154ae7","datavalue":{"value":{"time":"+2007-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862977$C1FD0CEB-3BF3-4D68-8531-86D913246110","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"851c987672946fda8c66c09441d249611550528c","datavalue":{"value":"Necessary and sufficient conditions are obtained for the profinite completion of a Heyting algebra to coincide with its canonical extension. This provides a new criterion for a variety of Heyting algebras to be finitely generated, and a new proof of the fact that every finitely generated variety of Heyting algebras is canonical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q862977$989477F8-92A7-4AB6-B554-4859074110D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$968FB4A0-3DB9-491B-8776-F36C1B07004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$0972491F-7B7F-4B93-9298-72363226C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$C75F156D-1E0C-46AF-81D2-50D0A7ABA32A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0522dc5cf5393a0562e79f522e709f0afdde564","datavalue":{"value":"5118502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$78E46912-3E9A-46E6-98A9-094A1C21EF89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q862977$8E725EAF-3089-4BDC-BBB8-7A2E9198749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47126f6a1175659a3d9037139060f56797a0e0","datavalue":{"value":"canonical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q862977$4F40533E-9B88-4A53-8B7C-0535923B6B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q862977$75F37DB8-1C2F-40A3-A16B-E7133EBC580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q862977$33DF93E5-1AC6-4530-8059-6908088C7695","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":"Q862977$FB33A3F2-53FE-41AF-8A75-6B02DE7824D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8c4179b533833f19a6467f2bc8be9fe45301f29","datavalue":{"value":"https://doi.org/10.1007/s11083-006-9037-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q862977$D27A1C55-9983-4C3D-AEE0-768435623B1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dc488844ea5a68a73d18e319959f3b6005baf28","datavalue":{"value":"W2157374667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$634B13F6-B03A-4881-9C60-AFF7343A3D84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30be7d075b198415a0ff83b6744921a15ecdc213","datavalue":{"value":{"entity-type":"item","numeric-id":3910575,"id":"Q3910575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$F43152F9-3B3B-43D0-B528-B141169BEB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00ae3124c09085477c849d606f3a4a0e198ae32","datavalue":{"value":{"entity-type":"item","numeric-id":1283133,"id":"Q1283133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$E4D30DD7-B602-4FB8-93BE-696A6160DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cebce9aab92febbced53c36c1a4193422c46671","datavalue":{"value":{"entity-type":"item","numeric-id":818713,"id":"Q818713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$BB854334-5F98-413B-A6D2-6742DF64E224","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":"Q862977$F11C8416-D064-4C65-8BE3-06AA4A6A6206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5502b6081b593541d7ac8dcca2c6e447d073612","datavalue":{"value":{"entity-type":"item","numeric-id":3858918,"id":"Q3858918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$DA0588E3-338E-47D5-8834-8E369A822510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$7EB296D2-9FDB-4A0F-88B4-911D585C6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0285eb820bb07b0d085f9519dd253d7fdfaa1349","datavalue":{"value":{"entity-type":"item","numeric-id":1419380,"id":"Q1419380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$B1525CA8-A517-487D-8ADF-9257D63DA3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$89962AC4-AB97-4BC6-B2D7-7411BDC9D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$FCD863B3-D31C-47E7-ABD9-A2C9789EC328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$AE60A6E1-1660-4A3B-8D77-A0C88BE62130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$EB04E985-729B-492D-B8B5-8CB5BD9575BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$90D2A1DA-33C6-4D0A-BA4A-1B4B45AA30D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e9e11d81604d77dc034ed0b1fd2bff649b0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2704574,"id":"Q2704574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$F1B80A4F-C50A-414A-B54F-C9EB83DCB75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$C55321D9-6DEE-4E02-81BA-6F27CC6546E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$43EDB655-8D18-449C-8814-DFD5DF4825BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$9A0967CA-0AAD-4E5A-9663-E456A0E20F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b09cdf7f760f1c1e55841406778587b6a86bce9","datavalue":{"value":{"entity-type":"item","numeric-id":861603,"id":"Q861603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$2F0B5F98-13CA-430C-A3C0-2AAA98C9740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$CE20CF9E-60A4-4C92-B446-FF8FA01F6F1F","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":"Q862977$E22D9B59-5FD8-41ED-ADBC-D895A92A98E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$1F27B1B4-B372-46D0-B0CD-F89B38632975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf8e9e50b2a58a68f3afae4afa50f57469a92","datavalue":{"value":{"entity-type":"item","numeric-id":5340517,"id":"Q5340517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$BB952A1B-06E4-4E8B-A5AF-22E7F9C9838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862977$C0D7B342-C373-46D0-BC41-12467CB69866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8d8325766a274a3e4aff8f790164043fee5073","datavalue":{"value":"10.1007/S11083-006-9037-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862977$330B8FD2-6532-4FA4-87A3-D19DE9EF610B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a522c174a629ff198f75cd79a25f960dc1fead2","datavalue":{"value":{"entity-type":"item","numeric-id":3634666,"id":"Q3634666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501b2fa119ecf40d626896f18af1ad3ba3761ec2","datavalue":{"value":{"amount":"+0.8740103840827942","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":"Q862977$06C0EE3C-8C41-4D23-80E6-A139693E3048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d7089d1269bacf65ffbe17b2a8aa812f462f4","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac38bd98530eaba715346e05a6446eb084e977c6","datavalue":{"value":{"amount":"+0.863623321056366","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":"Q862977$F78A9B36-5B55-47A1-B4B3-C366014E0FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837bace85121ee9a6ccf6cb79a6c68006bac1e60","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaecf39ce70dfa2c55bb7875b3644f67364e594","datavalue":{"value":{"amount":"+0.8627797961235046","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":"Q862977$679B0FF9-D27E-4B98-9D65-EED31101FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9589e8a37613111c2ee63d80f670f89868692bb8","datavalue":{"value":{"entity-type":"item","numeric-id":861603,"id":"Q861603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acb811a7f01bf3e936892ca73198a768fb9e4f9","datavalue":{"value":{"amount":"+0.8558035492897034","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":"Q862977$7A270326-B36E-4813-9FE4-9950EC9581D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44062079133105ae630af860652c7e610b3b605d","datavalue":{"value":{"entity-type":"item","numeric-id":5396771,"id":"Q5396771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2091cc7fa1d04f50008de8c3d91b976d016ed6cb","datavalue":{"value":{"amount":"+0.8483542203903198","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":"Q862977$51E5ACE2-867D-42F5-9ABD-2390D4361A2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:862977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:862977"}}}}}