{"entities":{"Q804615":{"pageid":806463,"ns":120,"title":"Item:Q804615","lastrevid":64468809,"modified":"2026-04-11T20:04:46Z","type":"item","id":"Q804615","labels":{"en":{"language":"en","value":"On interpretations of varieties with semilattice reduct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202345"}},"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":"Q804615$FC905B98-A376-4A8A-9715-D31F0E5474DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc178dc7f8426e15e39ec4cc4728ccf49e2a6b56","datavalue":{"value":{"text":"On interpretations of varieties with semilattice reduct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804615$CEBFA768-CF95-478F-8535-53AA1022DECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38c76f4e2c5a84119e0307836afc996f796ca82d","datavalue":{"value":"0728.08010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$DCA6C85E-5822-4A82-88BC-2CE3BAE4F01F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e065758b31654895b1aa2e88764fb6ed96d357d","datavalue":{"value":"10.1007/BF01182463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$137B20B8-41A9-49D7-AB50-22D22C6D7B21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804615$A611F003-495A-43D3-BB92-514F287481A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q804615$57286F5C-E0EF-4B9B-BEB1-912A93A36F2F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be2cb9a4ac2108e19439c37215d52274ce75a722","datavalue":{"value":"A variety V is interpretable in a variety W (V\\(\\leq W)\\) if for every fundamental V-operation \\(f_ t\\), \\(t\\in T\\), there exists a W-term \\(\\alpha_ t\\) such that for every algebra \\(A\\in W\\) the algebra \\((A;\\alpha_ t,t\\in T)\\in V\\). The assignment I: \\(f_ t\\mapsto \\alpha_ t\\), \\(t\\in T\\), is called an interpretation of V in W. The paper delivers a simplified approach of results of R. Levin and of W. Taylor on interpretations of distributive lattices in Heyting algebras and of n- element linearly ordered Heyting algebra in \\(n+1\\)-element linearly ordered Heyting algebras. Among other results the following is shown for varieties V, W of Heyting algebras which are generated by three finite members. If \\(V\\leq W\\) and W properly contains the variety of Boolean algebras then there is exactly one interpretation of V in W. If \\(V\\nleq W\\) then V is not interpretable in W.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804615$07492614-837A-4767-8C88-F038E61E8882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$AA793B1D-D3A6-4B5B-8FD1-961B069E4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$0FD08705-298E-41BC-8066-2EE9110B0F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$BE5BCDD5-0E5A-4F4A-9901-E8D7160B5F76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d911d02fb7849b5a7637c7e4c33c274c4738573","datavalue":{"value":"4202345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804615$E5FFF568-741B-497B-99E5-A9E5813D5140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d327443e7fbe0784c5c42d56a72caa1af9ab33a","datavalue":{"value":"interpretability of a variety in another one","type":"string"},"datatype":"string"},"type":"statement","id":"Q804615$05BE5855-D3A3-4278-BBA2-EB55EC6244C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q804615$7F6CA350-6AF7-4555-8F45-B6220E2F3062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804615$D8303F33-2443-4047-BE1D-7AF7D664F428","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":"Q804615$4813369A-1AC3-48B8-9F3C-A80E2CC1FEE5","rank":"normal"}],"P223":[{"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":"Q804615$96BB9920-9558-4997-9E6F-F4FDED37E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365413e36a11dc9502a1cb9eca075c13ccdc52a7","datavalue":{"value":{"entity-type":"item","numeric-id":1820182,"id":"Q1820182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804615$0195974B-4584-4801-84BE-AD99528BB848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d18cb1a266722837b93019643f9a2d9881d4e8","datavalue":{"value":{"entity-type":"item","numeric-id":1101137,"id":"Q1101137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804615$32ED7519-8158-46AA-9027-9F8697C9C150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0f1843d2e5fd2e31737a8c0101770cb0551fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1820182,"id":"Q1820182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e21517933ab06ee974727453899c7c4c350bd","datavalue":{"value":{"amount":"+0.9416748881340028","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":"Q804615$36EDCA47-27E1-4572-9E8E-C98A112D620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a247968fcacf0203eeef7c5a2b47ffcf15d59359","datavalue":{"value":{"entity-type":"item","numeric-id":1101137,"id":"Q1101137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a67b90583f1f69b745090af0ca74f9929f81e2","datavalue":{"value":{"amount":"+0.9218427538871764","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":"Q804615$810275BF-0B82-4DE9-8739-EF477B146AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f90fcbc2dfe616ea36ce5534a9a8aaefd83b314","datavalue":{"value":{"entity-type":"item","numeric-id":1802261,"id":"Q1802261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2eacd2318dfe246241697a37e81642b3174616","datavalue":{"value":{"amount":"+0.8384151458740234","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":"Q804615$C9009783-599D-4DC8-8DA9-F50D0470717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd6f4f4327ba57c795b945c3a640f182d6c6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4763286,"id":"Q4763286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e57ff2a93c1a69792078fee88f8b95c45cd157","datavalue":{"value":{"amount":"+0.837818443775177","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":"Q804615$39169F51-441F-494D-AC0B-8073EE4795FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1391174c4a735aea1220b430788f2133f597455a","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8fdeade0596534f9d547d9756b7d85e29be1f5","datavalue":{"value":{"amount":"+0.8190395832061768","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":"Q804615$ABD20F47-0191-4FBA-AD2B-9A71415B610C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On interpretations of varieties with semilattice reduct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_interpretations_of_varieties_with_semilattice_reduct"}}}}}