{"entities":{"Q3634666":{"pageid":5664572,"ns":120,"title":"Item:Q3634666","lastrevid":50692481,"modified":"2026-01-14T20:05:34Z","type":"item","id":"Q3634666","labels":{"en":{"language":"en","value":"Profinite Heyting algebras and profinite completions of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5570779"}},"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":"Q3634666$64A576C4-95AF-4FBA-8C5F-842D5D7B6F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d71373528dc6b9667c669ac4867a91ab00b3cc42","datavalue":{"value":"1172.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634666$C1E4AEF0-4C03-40D7-AFE1-481E52441FBF","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":"Q3634666$F8F5252B-354D-43DD-93A3-AC638A2774EC","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":"Q3634666$66452881-1918-4528-8251-BA6084982AC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dec4829f37baffd22f46efd1ec6b8a3fcc45c18e","datavalue":{"value":{"time":"+2009-06-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":"Q3634666$21417ADE-FCAD-4EB6-AB0C-2CDF40320C7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634666$CC40C449-19CA-42A1-9BBC-6AD3DF2F0450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634666$849038F6-62BB-4697-948B-980F08D244C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634666$D7ECBF13-7CC2-438E-9473-2609083045B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a38defec2d30023073a31d06585261453942d6","datavalue":{"value":"5570779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634666$F6087E69-D0D2-4AAB-8828-9C6A75F10253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f977b8c24a2df347c9314687bc809f991bfc86","datavalue":{"value":"profinite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634666$284FFF24-B7D8-42FE-BFF9-3E6555436013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634666$324ED97B-EFBC-48AB-B49F-E12F257EFEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634666$CEC7CCA1-195B-4F5B-AB16-D266BAFCF193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcdbcc6be172b684399bf611ebb4f465992a864","datavalue":{"value":"bounded distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634666$418852F1-6B78-4529-AEAF-00F1E8CCDDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634666$7927DA34-4296-4B89-ABBA-90554B8D3479","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":"Q3634666$C439F43A-6452-4F7B-8F34-5DAC7547C5B6","rank":"normal"}],"P1643":[{"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":"a16a8c4cd68f8d2b1e547622f99bd780ac812ff5","datavalue":{"value":{"amount":"+0.8708139657974243","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":"Q3634666$721053FA-4423-401A-B2BB-F749EAF75B74","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":"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":"Q3634666$985A97D6-F68B-4A4C-A8A6-708B4F4E9A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78fe98b928f3a3642614f00dc29cd06118637","datavalue":{"value":{"entity-type":"item","numeric-id":334967,"id":"Q334967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33113a5ca92ce0ace84970c0d8f9a8ffeb5fad39","datavalue":{"value":{"amount":"+0.8536938428878784","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":"Q3634666$6F3B0C31-F043-4548-8283-A5CB313AEC12","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":"bd9d1c869bd3927aaac774a00e86041edccdc75f","datavalue":{"value":{"amount":"+0.8534195423126221","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":"Q3634666$BFF9F0F7-2F1E-4BFF-841E-2132647FC865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04615b2cba4537f951725a2b1a251683bd158dad","datavalue":{"value":{"entity-type":"item","numeric-id":1013989,"id":"Q1013989"},"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":"Q3634666$78391F3D-7C98-4B18-8349-2567245FCB74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3634666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3634666"}}}}}