{"entities":{"Q794681":{"pageid":796529,"ns":120,"title":"Item:Q794681","lastrevid":64388832,"modified":"2026-04-11T19:31:37Z","type":"item","id":"Q794681","labels":{"en":{"language":"en","value":"Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859192"}},"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":"Q794681$2B117310-9B7A-4574-A7E0-CE36B65585E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b10c95bda850147e2dde98fc8f6378ea8dc1b7f","datavalue":{"value":{"text":"Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794681$7C045C92-17A0-4D11-A594-99303A94B230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eeb01e08600c01d98bb3f94dcbeac871d0b1e29","datavalue":{"value":"0541.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$45037339-DD9B-4B85-B4C5-1863E10E40C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddce9429571e7cef903583094f3c2f2e725f7c6d","datavalue":{"value":"10.1007/BF01978664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$9DC2FB5C-3944-45A4-9D6A-A4BF8C071C7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e1f974d4d5e31ce12af951f1c4ea7d81d22edd","datavalue":{"value":{"entity-type":"item","numeric-id":794679,"id":"Q794679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$26C06F68-43EE-416D-82C5-3FE35F667ABC","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":"Q794681$AEB53BD4-69B5-4695-9349-4270EB81EA0D","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":"Q794681$5D0FEC4D-556F-4551-9A81-A204798E641C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"539f1c3995db781614f4ed011986996fbffe86c0","datavalue":{"value":"https://eudml.org/doc/187213","type":"string"},"datatype":"url"},"type":"statement","id":"Q794681$C03ABD2D-44F7-480D-B0C5-E98AB2B888C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f86f1fb0d396e5eeb5f7c05d98e028649cb0d888","datavalue":{"value":"Let \\(B_ 3\\) be the distributive lattice with pseudocomplementation obtained from the 3-atomic Boolean lattice by adding a new unit element, \\({\\mathcal B}_ 3\\) the variety generated by \\(B_ 3\\), and \\(L_ q({\\mathcal B}_ 3)\\) the lattice of sub-quasivarieties of \\({\\mathcal B}_ 3\\). The author proves that the lattice \\(L_ q({\\mathcal B}_ 3)\\) satisfies no non- trivial identity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794681$24D4854A-16AB-448F-8087-9CB75DC5F70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$4C7BA38E-A7D2-4E03-B2B3-C5CEBE0A6FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$FBDAF1E6-1BFF-4C31-996E-764045A90B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$7393D3FC-FE56-4193-BD11-9DBEBF2C6304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618478884ab36245e518c50e914e378a19ef9563","datavalue":{"value":"3859192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794681$A5884BC7-8E1B-466E-9974-758935CB113C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ec36b81e819156e331f752f4f2304ccb22f8c7","datavalue":{"value":"distributive lattice with pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q794681$F9C3FB11-227B-4DB9-BB53-561A39600801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q794681$FE295355-E555-4D14-A203-C2D31226F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1003f9b8d31eaf2186bcc9ff90c16934502b66a7","datavalue":{"value":"lattice of sub- quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q794681$D3994723-3598-453E-ACE8-7890635615F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c93679e77d7e9ed0daa7be1aa9cc683868a1ac48","datavalue":{"value":{"entity-type":"item","numeric-id":587873,"id":"Q587873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$E888E1EB-FDDE-4C05-8959-306E8E4DBD49","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":"Q794681$1D9A5D98-016E-4889-8F2E-C8191DF162EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610bc1bf0fec7f50d96f8e16fd50589c03d066c","datavalue":{"value":{"entity-type":"item","numeric-id":4132572,"id":"Q4132572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$8176CF8E-6D13-46C3-B1A1-26B9958C5D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49486bd6e3ee72f9ca03c6a479fb2fb490ff4475","datavalue":{"value":{"entity-type":"item","numeric-id":799718,"id":"Q799718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$1C61FDBC-8E10-4C69-B884-A8901DF4A119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7af8b62217f6735589d6315138bd3e1daa597e","datavalue":{"value":{"entity-type":"item","numeric-id":4133678,"id":"Q4133678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$B805B639-2A3D-4989-BDA0-CD83841A504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6aaf560947da65ba5b55aab3b67939a4e23b920","datavalue":{"value":{"entity-type":"item","numeric-id":2535242,"id":"Q2535242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$CCD38440-4247-47BC-B2F0-288FD1D92597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$4E0B188F-94AF-4E76-AC15-88C0481E26BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2709cf096ce789a9d9e392924fda50acf460a732","datavalue":{"value":{"entity-type":"item","numeric-id":3901570,"id":"Q3901570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$61EC8C61-B018-43CA-A4F2-43BDC95BBFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fe767c15fe9f6784c605f424bc09c13d515260","datavalue":{"value":{"entity-type":"item","numeric-id":5655396,"id":"Q5655396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$22BFD011-4D7C-4AC4-BF85-E2B58EDA6812","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":"Q794681$4D3D7992-6408-478E-860E-D3372CFF4ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675620aa4051104b42861ce76e6a19d8493434f","datavalue":{"value":{"entity-type":"item","numeric-id":4132764,"id":"Q4132764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$2D8E2EC0-0185-48B9-9F64-90CF01A679A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8495984bf41ad5ae5abef304f1643bfc6c4f898f","datavalue":{"value":{"entity-type":"item","numeric-id":4168649,"id":"Q4168649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794681$D0E6E5FD-F4C2-4167-AC62-07E31A1422E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe29263f4dd6d965401a31bb52898318378a3bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2226976,"id":"Q2226976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75720e81bb9cc2274b013745109af02bcacc3678","datavalue":{"value":{"amount":"+0.7821885943412781","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":"Q794681$2A736691-C553-4D5A-9135-C92CEFBD8F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c110cdc5a4b94fcbd742b2388eeeb936b9d095","datavalue":{"value":{"entity-type":"item","numeric-id":1073820,"id":"Q1073820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdcb451977b0baefa70551e3f274744d6f5cd88","datavalue":{"value":{"amount":"+0.7799642086029053","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":"Q794681$5E47F3F1-5279-4741-9FDA-88D60B7733D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8296d4cfe74c43b8c54bc17da0747017546f4840","datavalue":{"value":{"entity-type":"item","numeric-id":4837555,"id":"Q4837555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107d9fca4d73e5efc44b489a2c2e4c0fb3876c99","datavalue":{"value":{"amount":"+0.7781146764755249","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":"Q794681$6968FBE2-0D2F-4F97-B84A-DF2CAD8B3489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c264060cbee65a031b285f1f0b2e9cd8de346d81","datavalue":{"value":{"entity-type":"item","numeric-id":1343244,"id":"Q1343244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107d9fca4d73e5efc44b489a2c2e4c0fb3876c99","datavalue":{"value":{"amount":"+0.7781146764755249","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":"Q794681$CE9E24A7-7247-47B9-B7E8-A6B6A4CCAA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08b01417b7e0b8fba47585095103c344406844c","datavalue":{"value":{"entity-type":"item","numeric-id":1086265,"id":"Q1086265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a426617725076470bdc47c9c70cacb7c4c62bd0e","datavalue":{"value":{"amount":"+0.7759774923324585","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":"Q794681$ACDD35AC-51C9-4019-A5AB-8028F56DE051","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_a_free_lattice_in_a_lattice_of_quasivarieties_of_distributive_lattices_with_pseudocomplementation"}}}}}