{"entities":{"Q2888632":{"pageid":2899357,"ns":120,"title":"Item:Q2888632","lastrevid":83712104,"modified":"2026-05-07T10:03:26Z","type":"item","id":"Q2888632","labels":{"en":{"language":"en","value":"On the free implicative semilattice extension of a Hilbert algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040457"}},"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":"Q2888632$D2200C25-F6E9-47CB-9147-D8706D8280C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a3179fc371510d3b5a213c071bb949505a0c72","datavalue":{"value":{"text":"On the free implicative semilattice extension of a Hilbert algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888632$EF15661C-0958-4CC5-846A-7935FA75C891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a6b2a4eaafb24837c14f08d61fa812e7068ef1","datavalue":{"value":"1247.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$D10A6508-B993-4A77-97C3-68839F2595F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$AA6EEA85-5BCC-4246-940E-4E1F11F8D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$8683112F-484C-417E-842B-DB3519E23B55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888632$C42669C2-5893-47D7-B212-A4BB1BA893C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$DDF403D6-9068-4283-8898-9D332F898A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$385B1D7B-F0DF-4F0A-8F52-16AF34E5C9A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e79d265da66f7f287b33169cac07eebdcb9ef0","datavalue":{"value":"6040457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$186D2ADD-6B24-43EE-8A8A-CB8588BAC1F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888632$0552D4AB-9AE9-4080-BA17-88101B201172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7757dba3062d728089c82eb2957c937e1cb265","datavalue":{"value":"implicative semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888632$3CE82C46-0F68-49ED-BF25-552249742109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccd5414f0c86d759c5823fbd65d5364f7eb9056","datavalue":{"value":"free extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888632$88EB3CC3-45D0-43BF-BB6B-9FAB9FF25F1E","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":"Q2888632$2A94940A-5C0B-4CE6-A4BE-1886DA483977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0240c0b4ebdd18f6ab51a4ab2f6b870f7c12bcfa","datavalue":{"value":"https://doi.org/10.1002/malq.201020098","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888632$8603029E-6CF7-4483-BBBF-2002AEEF5120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd2b125c822fa86654aeb32e2eb09ba87806eb0c","datavalue":{"value":"W2015741795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$08BF3507-4A24-4413-BEF9-76388C73D2E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde25b7f97c1c0a349b936df7b1e27294060bc26","datavalue":{"value":{"entity-type":"item","numeric-id":763299,"id":"Q763299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$832513B1-4602-44C0-88DE-37E284322361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$5498AFF7-B787-4EFC-938C-EEBCA1754A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b592a41d5c6d6c6d08a8d6fc937b1268c37a63","datavalue":{"value":{"entity-type":"item","numeric-id":2379262,"id":"Q2379262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$3B392C82-C749-418A-ACE5-1E984B1311FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee575ec6b1c5e65c66e239e915cade15c5b6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$F838301A-D468-4A8F-9AA4-E2273C7E42BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02036a4f8c7f6a67beb6405744e99a54234c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1419666,"id":"Q1419666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$77AD649E-CD93-457E-AB95-7482D45B29FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3d11f0a8954c61a6153ff19e2c5c3b60a16c75","datavalue":{"value":{"entity-type":"item","numeric-id":5472323,"id":"Q5472323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$263D16B2-DFA7-4069-9A24-E4581643BE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$D2BF2557-341A-4702-9BC2-87EBED066C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3e616b6ae24c3caa0dc1b613377f9a3e44ef7c","datavalue":{"value":{"entity-type":"item","numeric-id":5270289,"id":"Q5270289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$DB975F46-71E8-4E98-A4DE-B9EE13D82F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$7AD9C2A6-8547-48EB-A418-16076502006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$2C72BF42-E106-45F7-94E9-C76F92E3AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebce78f7b16fa51ea5a0e71e26024c599284b748","datavalue":{"value":{"entity-type":"item","numeric-id":3703895,"id":"Q3703895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$6012C5C8-8ABC-4C8D-B46B-9C344A3DE9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$622A0BA4-1A30-40B9-879D-BD6F2AA5419B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af4a6c4f79c496e33dbd23f667bbf2accd2deacb","datavalue":{"value":"10.1002/MALQ.201020098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888632$B795964E-7D91-4AC8-A834-09C350D309C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$856B71D9-274B-41E8-B28A-9BF34E791DE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2909bfdd443fc73e23b8bdac01a043c7ccbae88c","datavalue":{"value":"The authors introduce the notions of strong Frink ideal and optimal deductive filter in a Hilbert algebra. They also study the homomorphisms and semi-homomorphisms of Hilbert algebras. Finally, they give another proof for the existence of a free implicative semilattice extension of a Hilbert algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888632$94EFDE60-9CA6-44FD-83DE-AB1CABEB51BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888632$2AA87C6B-3341-49CB-AAAA-75E1D0D5C195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ef69f6c8b035ceb3fa4b2ec20a94a3aff075e9","datavalue":{"value":{"entity-type":"item","numeric-id":2318265,"id":"Q2318265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956457da0ac632c0983c813faa0b371f2d53e62d","datavalue":{"value":{"amount":"+0.8511733412742615","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":"Q2888632$19687596-1754-41B8-829F-1A13B5959315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7c5b4cbe026541f7bb596147b9b5ff1e81fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ab2ac02efffa2b3d17027cae1d6c4318b943b6","datavalue":{"value":{"amount":"+0.804618775844574","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":"Q2888632$AA9A5353-95CC-4AB4-8C5C-5589C5C93B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a27154f915c3234c0051cfc4de9240d08094f4","datavalue":{"value":{"entity-type":"item","numeric-id":4954725,"id":"Q4954725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84281b572cccbcac5566213278e8b6118bd8da9","datavalue":{"value":{"amount":"+0.7980251908302307","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":"Q2888632$B3509B07-6960-4BE3-B951-746DB4DA7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822ff4942ab68e168e8e4c098a55de031b5e336c","datavalue":{"value":{"entity-type":"item","numeric-id":1357099,"id":"Q1357099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2247f8773dcbb5c8b6b09663dfd8cf121f0bf5bd","datavalue":{"value":{"amount":"+0.7966540455818176","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":"Q2888632$5862E4F2-9E72-4F10-BD40-AE86642A7198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a412a011d7cda7074b89f450099a1b7e9353a23e","datavalue":{"value":{"entity-type":"item","numeric-id":2454702,"id":"Q2454702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c5fd1313377139244aaa9a313d1356c7f21b05","datavalue":{"value":{"amount":"+0.7951672673225403","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":"Q2888632$9DCCF9AD-A944-4E7F-96D6-DF946E084E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the free implicative semilattice extension of a Hilbert algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_free_implicative_semilattice_extension_of_a_Hilbert_algebra"}}}}}