{"entities":{"Q1013989":{"pageid":1015837,"ns":120,"title":"Item:Q1013989","lastrevid":69420882,"modified":"2026-04-13T06:53:17Z","type":"item","id":"Q1013989","labels":{"en":{"language":"en","value":"Comparison of MacNeille, canonical, and profinite completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547250"}},"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":"Q1013989$57513531-7D5E-4087-9218-3CDEDB354FF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17a0530884c6c430174fd6d790e58e08c0b81ebe","datavalue":{"value":{"text":"Comparison of MacNeille, canonical, and profinite completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013989$15D42A27-4576-4472-849D-019C9F315BDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10dce347eac5f1951d5b11e8400b26fe52709d19","datavalue":{"value":"1166.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$AE32C426-784D-450B-A2DC-D3A5DC689B12","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":"Q1013989$7A5963AD-F051-4C3C-A9BC-93510EC2FDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3ca80641c42381954cc7878bb63a55444ec5e0","datavalue":{"value":{"entity-type":"item","numeric-id":541218,"id":"Q541218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$01867DA6-3EBD-4A5E-B0A8-C016F7DA2AC1","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":"Q1013989$D620B9E4-3B9F-4A95-B7BA-CBFF7A24F250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d8f72b1020afd83d4654c37051e1faed59ff3b","datavalue":{"value":{"time":"+2009-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013989$A82FD20F-5E1B-4754-B62C-C19B9FF8506A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"019a7c0e6e209936b04039a35d52a524440d6c75","datavalue":{"value":"In this paper, the authors are interested in the conditions under which different completions of distributive lattices and related algebras are isomorphic. They are mostly concerned with the following three completions: MacNeille completion, the canonical completion and the profinite completion. Also, they prove main results about the isomorphism of the three completitions for Heyting algebras and discuss consequences of these results for the case of Boolean algebras. Finally they briefly discuss extensions of his results to more general settings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013989$18D6C3A2-14EF-4879-84AF-5670181DEC33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$D6B3E908-F580-4A48-B092-59931DFB4506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$B3C4C4DE-0497-47C0-9B04-3B055C4F3407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$41B872E8-2DAD-46EF-BAF0-C18195EF2715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$25739946-A8AF-4AA1-9CB8-D29B96E88E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$71654E53-DDA3-4657-AFC1-ED924CDF9FA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8350b5f3d9e4a6afa635812d56cd368e5a9dab06","datavalue":{"value":"5547250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$EC6119F9-EF9D-4205-BBF4-2F2201258757","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013989$D1B82470-4B4A-4D7F-A4D5-9CC66EC15093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8303fe8c982dde3582b30d8f6c7fafa5e3c6664","datavalue":{"value":"canonical completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013989$17EBF19C-17FF-4D29-9E58-0435A2E53BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013989$9E264905-E51B-481E-8683-83CB7483A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013989$F2BF4314-0695-4404-979D-F252CBA5DF91","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":"Q1013989$6E5434C7-E846-447A-96D6-60D5A35C873C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"844b6b078d3315dd2005c270a4ae679dbd2bf03b","datavalue":{"value":"https://doi.org/10.1007/s11083-008-9095-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013989$62B4D928-BE78-48FD-BC3C-39F1F01BAFD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2fd6ec0dbda4099a05aaf7b5ebaa1682d7d1005","datavalue":{"value":"W2124937970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$54A07401-F11D-4E44-A876-207FCF84F9F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$66035F28-10F6-44B0-922F-023F415CED87","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":"Q1013989$9E605D2A-AE69-4DD2-A071-C46C60B5FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$D3881355-2A7E-4045-849D-54A41336D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd8287432391fed0319d107429f5e617a779964","datavalue":{"value":{"entity-type":"item","numeric-id":1182066,"id":"Q1182066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$E2821291-460A-439D-9294-BA53080A6358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7989780f941fb1e83a7033df2da265351b8166","datavalue":{"value":{"entity-type":"item","numeric-id":1182063,"id":"Q1182063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$56806726-9477-4452-A8EC-A5F34E0416E1","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":"Q1013989$20C30650-B03B-498F-8E54-0154C38148BE","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":"Q1013989$A2F4AE1D-406B-4B83-AB60-6C321284CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$AF2956D4-38A0-471A-BC0E-26E22B209B51","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":"Q1013989$4189E174-1B3C-40F6-A915-82C29BC93A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$BE1781DB-A26C-4BCE-87B6-87241440BF7D","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":"Q1013989$28EE1C42-8BB3-48AF-B668-5C9124F1DEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$7886AB00-837A-4259-886A-5AE49EFEE3F4","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":"Q1013989$70E855DC-829A-45E6-9851-5639892AB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$54CD4256-AEAB-418C-BAB3-24FDE957FA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7b38d00df0100e0ed70502f9cf3f6e3b534513","datavalue":{"value":{"entity-type":"item","numeric-id":4250069,"id":"Q4250069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$C9391D50-AD23-4D2F-B04E-BA9CBF02978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d277cb9525ccd43675e08749a3671fbe9993ca","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$5B69135C-D29E-43F9-BD4E-4210072F3345","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":"Q1013989$758DB503-B7A9-4CFE-8693-A203EBAC00B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$AC9919F3-C905-4323-B8B3-EBFD4421E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c233c6c48a9822c4b99859feea24ddd4f786e5","datavalue":{"value":{"entity-type":"item","numeric-id":1047116,"id":"Q1047116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$E4625659-F0B7-4DF8-903F-12C87F1AF7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bb7e0b65611d4746e94cc88f40746904f4a46f","datavalue":{"value":{"entity-type":"item","numeric-id":5834633,"id":"Q5834633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$1875F70D-E64B-4D14-A666-824B79E78933","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68d911e3b503730e62a11ade4649548b16e4d74","datavalue":{"value":"10.1007/S11083-008-9095-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013989$DE734880-BD36-48C7-BFD8-9B0135948725","rank":"normal"}],"P1643":[{"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":"fa3c50be22bf11e58d11a95ad601e10df7f5dc6b","datavalue":{"value":{"amount":"+0.7972919940948486","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":"Q1013989$A7C5D8E8-4DD8-4CA7-B454-56D8513B0782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3fc6a58fc2ab3d02faaaed531a54f1e4fd77cc","datavalue":{"value":{"entity-type":"item","numeric-id":1047116,"id":"Q1047116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a414a43d30744226c38d89b01886b53f08cca610","datavalue":{"value":{"amount":"+0.7924885153770447","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":"Q1013989$9D7F48B9-6423-4041-B7D0-A08D861191AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34feab7c21ad3dc1810f85bb94b308957a5e9df5","datavalue":{"value":{"amount":"+0.792182207107544","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":"Q1013989$7802E939-B366-45E1-B736-6E2E07383060","rank":"normal"},{"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":"d3875668d9740e7a3694d97ef01e49025493bd28","datavalue":{"value":{"amount":"+0.7910008430480957","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":"Q1013989$9363B8C3-DB07-43CC-8E87-CA25A0C54967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d31bdba92bfff4524079e9de4aefab8c9d46975","datavalue":{"value":{"entity-type":"item","numeric-id":4955600,"id":"Q4955600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861ce863a310b25a071d853c11d5530461c8cfdc","datavalue":{"value":{"amount":"+0.7776610851287842","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":"Q1013989$A0FFEC9C-8975-46CB-9E35-A985BF549C8E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013989$0587B3C7-18F5-4354-8FDE-96E0F041F4F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparison of MacNeille, canonical, and profinite completions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparison_of_MacNeille,_canonical,_and_profinite_completions"}}}}}