{"entities":{"Q799718":{"pageid":801566,"ns":120,"title":"Item:Q799718","lastrevid":64427322,"modified":"2026-04-11T19:47:49Z","type":"item","id":"Q799718","labels":{"en":{"language":"en","value":"Finite distributive lattices of quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873403"}},"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":"Q799718$133D4239-1788-46F9-8375-4688561FB98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154206753a5c3ca66219e8b81705c2b284691a1d","datavalue":{"value":{"text":"Finite distributive lattices of quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799718$55BE62D0-3838-4ED1-B19C-BD4D50A5010B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ed2d616aa172078974014ed1a354a5747d7ad9","datavalue":{"value":"0548.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$9EF52D11-78CD-4DBC-AAD1-72D0837CB12B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"872ab147432e7e024c214d8ddd45e2ccb5bdebcb","datavalue":{"value":"10.1007/BF01978665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$AE4DC4EF-7D20-423E-AC25-AEF2E9A4A925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a9cbb77fc1d4a2e56a0429bec3a7f15b03b963","datavalue":{"value":{"entity-type":"item","numeric-id":799717,"id":"Q799717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$549DF294-417A-4A76-9810-C13992EEF142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$78468E49-1D85-461D-A9CF-E4645BC0A983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q799718$9657E46E-FDEF-4AD5-9493-53E25DBC48CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9de901ca7824d5d3b332c846c758a3e7227bcbd2","datavalue":{"value":"https://eudml.org/doc/187214","type":"string"},"datatype":"url"},"type":"statement","id":"Q799718$B0C5EBA5-EF1E-4D2A-9509-68DBDF26E095","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"315e78f4322d9247b05ace6c4ff19896a4ef7326","datavalue":{"value":"The paper contains an answer to the question: Is it possible to represent every finite distributive lattice by a lattice of quasivarieties? The answer is: For any distributive lattice L there exists a finitely generated, locally finite quasivariety M of finite type such that the lattice L is isomorphic to the lattice \\(L_ q(M)\\) of all subvarieties of the quasivariety M. As a corollary we have: The elementary theory of the class of all distributive lattices is hereditarily unsolvable. The paper is devoted mainly to the proof of the main theorem. Moreover, in the last part the author presents one problem and some remarks and corollaries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$8D971921-16BC-4C21-80AB-D43BEBD2EF05","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3e4fc0dc53116c06a637ea4384a64ce2e6b9463e","datavalue":{"value":{"entity-type":"item","numeric-id":791549,"id":"Q791549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$F2EA94B1-DD35-497A-86E0-2CF89A416BEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$7D46E5B3-E50E-4EF2-917E-D545F3834568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$2E63608A-8381-4526-B9BE-99496D1BAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$C76207F9-8F5B-4EAF-9AF8-5B6795280C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$C86B2AB6-5C80-4631-8F3F-6B5A4B27F277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e31ac4f0b26d4f0883ccbbf9a95e33e14680bdfb","datavalue":{"value":"3873403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$61CCD9C8-0684-4B9F-9F0E-86A6245C1CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$11E34209-463E-4767-BB58-49F5EE2865A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad08fa396a20348cb1667e027033458397e7a94f","datavalue":{"value":"lattice of quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$58BF07AC-33DE-4156-A3D4-EAE86717332A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d350351edcda3059ffb4aa138f001d1ddffc23","datavalue":{"value":"locally finite quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$85F7AFE4-13AC-4777-8EE6-7EAB7CD24CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$3E7B4A79-02EA-4300-877A-F0B42F0BB8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b062967234a8f64ce35bdf4ddac5c23c4a5cc391","datavalue":{"value":"hereditarily unsolvable","type":"string"},"datatype":"string"},"type":"statement","id":"Q799718$CA2CEBB4-CB74-4013-9341-CB796E9307A8","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":"Q799718$DA3580DD-F01D-4C3E-B418-B7AA6482AFA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dde4aee40dc84cf4c7fbd58c5f1842e4652e74","datavalue":{"value":{"entity-type":"item","numeric-id":4078085,"id":"Q4078085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$05F9B5A3-DADD-4849-90DD-B47BB4B38CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e241ab1191c2a5db3428bcc293282a5898133266","datavalue":{"value":{"entity-type":"item","numeric-id":1159761,"id":"Q1159761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$963A8AC2-8158-4A31-83AE-EAFCB6D202B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7723e1d9db16fcbba18ca8fc2fc3673cff18f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3918176,"id":"Q3918176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799718$B1DCB8EE-B112-4FC8-8984-875155660DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7df4ed6223a423c194e2e2f9e727be4c3e01bef6","datavalue":{"value":"W2004051120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799718$CC774EEF-FA62-4B49-9BEC-A911221D11C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4cf215ccfcd8f8e8d5de328d1b538af1246177","datavalue":{"value":{"entity-type":"item","numeric-id":4314800,"id":"Q4314800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed34c662bdcb21651e541293e3fa08966eb08f55","datavalue":{"value":{"amount":"+0.8378985524177551","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":"Q799718$6CCA4D5A-D012-483F-A0A2-868105ECEC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a202e3e41f42791fae5e470714dbde61762b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2496160,"id":"Q2496160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec72271adb474dd87ed222adf44db6c7d507f6e","datavalue":{"value":{"amount":"+0.8376720547676086","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":"Q799718$1233D95F-A58D-489B-8107-D65FD801AEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9815ab98881f9a9fc5fa5de50f5b7c68ddfcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1731599,"id":"Q1731599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12797c5c94aab2a021b4e4c789fdf6122d67f919","datavalue":{"value":{"amount":"+0.8236315250396729","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":"Q799718$CE82C875-2112-4A2C-9CA5-1DE0C492BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a259d4bfff62d56addf6b917fe3c126c6458b028","datavalue":{"value":{"entity-type":"item","numeric-id":4713153,"id":"Q4713153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5969f5ef4d2328113ad949db4d36d9a4963f873","datavalue":{"value":{"amount":"+0.8219226598739624","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":"Q799718$F08BA9EF-1765-4441-9F61-A69A0F36077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220ca394b639024bd8cf1a7b4a1b371ae69715d4","datavalue":{"value":{"entity-type":"item","numeric-id":2888832,"id":"Q2888832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f15325c2272c59a914fa8175d8c30a0866aeef5","datavalue":{"value":{"amount":"+0.8203032612800598","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":"Q799718$A1B57B02-3E81-48E6-9F62-79D26BEE6AFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite distributive lattices of quasivarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_distributive_lattices_of_quasivarieties"}}}}}