{"entities":{"Q1089015":{"pageid":1099767,"ns":120,"title":"Item:Q1089015","lastrevid":69938604,"modified":"2026-04-13T11:21:22Z","type":"item","id":"Q1089015","labels":{"en":{"language":"en","value":"Equational bases for some varieties of orthomodular lattices related to states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002145"}},"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":"Q1089015$B3631A59-0326-4849-9F14-772E1F4483ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fa0039c2280632de3c792fd6e6928338270303","datavalue":{"value":{"text":"Equational bases for some varieties of orthomodular lattices related to states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089015$C6525D13-52BF-4C4F-B8ED-942FF8A33C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eeef56156f3fbbc51509ea959f438cf1f2d242c","datavalue":{"value":"0618.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$C0EAACF9-F763-44DE-9EED-038EA1C8163D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ee5685e716699ae1f117ab803af56dc41fce5a","datavalue":{"value":"10.1007/BF01237719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$91390955-71DB-4011-9DA2-F613BBFCACC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fed6b6f9f0a0066e47376c865e82767484c3671","datavalue":{"value":{"entity-type":"item","numeric-id":751679,"id":"Q751679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$6A97D86F-64A8-4336-B37E-DE26B2F0310A","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":"Q1089015$C3F44E39-E18B-4657-863D-6996085F4948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1089015$809A80E8-91A5-4E6F-BA8C-2F556A012263","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a054952289af71207d9847bc7eece518fe2177b","datavalue":{"value":"In his former paper [Algebra Univers. 20, 368-396 (1985; Zbl 0581.06006)] the author studied varieties of orthomodular lattices which were determined by conditions on states. In this paper he considers equations valid in those varieties and shows that many of the varieties admit a recursive equational base. He also develops a constructive procedure for obtaining an equation valid in a given finite orthomodular lattice outside a variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$E11DD60B-16DD-4D5A-B105-D76FCCAA3816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$F4FA3BBC-9811-4852-951F-DCF7C0181833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$40DC7BCF-44BC-4203-93E5-5A5D01A0987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b6f342700c10d3381fbb8e79c01ee26222e01f9","datavalue":{"value":"46L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$F76FB239-791C-4B33-B323-DFBBF692625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$F6786B07-B317-4F8D-B1A0-2B2F26050D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$A087ADD1-16E4-48BA-BE4E-B04F3E758585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$1588E78B-0373-4717-812D-BC64BBA066A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4757bd69c099a59cc4ca5894489737b3b9b29853","datavalue":{"value":"4002145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$843F0BCB-BDDA-413A-9999-7B414CEF518A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cebfabc963fb5c69c02a79e9a0ef1889bbe37894","datavalue":{"value":"varieties of orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$CDC90AF3-603C-4473-9655-69A5A16D4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371be872fb1851b9be3849424297978a5ed8b9f6","datavalue":{"value":"states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$063793C4-0326-4722-9871-F8BF1349FB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8516f10c520b1844003778699c0bf661bde222","datavalue":{"value":"equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$3DF06A98-ED21-41B2-A46C-7AC87157E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2719cdf1b71abb307ae7dc5b833f71a388ca97","datavalue":{"value":"recursive equational base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$AACB7250-5AE3-4EFD-8560-235CA767AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a463c9e8cc93ebfe761e3a9a3fee14f40e82504","datavalue":{"value":"finite orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089015$C1AAE291-CF99-408A-BDF0-CA4F9B14E82E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ec811765a1c98b5d56a316b3876a6de22c8424f","datavalue":{"value":{"entity-type":"item","numeric-id":312459,"id":"Q312459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$21C46D49-5C21-444F-B7C0-A448324392B3","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":"Q1089015$E5874C6B-DA99-4F6B-A69D-01C996737BC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c35af3571a0a6faec888d2d7d623240f513aa","datavalue":{"value":{"entity-type":"item","numeric-id":3952094,"id":"Q3952094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$0A915C03-CA23-4A68-95EE-30DA5556DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2f9f0e793fd910ef99f47bf8973661bc2d2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3941461,"id":"Q3941461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$E1577A25-FB37-4B88-91FC-F905022AF13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950b98d7292a1a6ab726505a525a4d0881eb0d12","datavalue":{"value":{"entity-type":"item","numeric-id":3672049,"id":"Q3672049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$096A0C4C-3938-4A93-8024-5919B0F9802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153c958276cb135526ecb8f8935abe281de6577","datavalue":{"value":{"entity-type":"item","numeric-id":3346375,"id":"Q3346375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$92A59B03-AB7B-4980-A75B-BC8B5DF721F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd09beb4c183e13f45b1b0fb5385f18de081de6","datavalue":{"value":{"entity-type":"item","numeric-id":2546886,"id":"Q2546886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$9DBAB082-7B4F-4A7A-9248-7518800402FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584bbe62470be9f0f7e63de71c73f69d1dbf0ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1068117,"id":"Q1068117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$AF1CD070-8A00-45C4-BED1-4AE0544FA9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089015$6771474F-BE27-41DF-9552-A7324BA21AEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"814e1321ac613f14e41b84fe00a0db176a11bf38","datavalue":{"value":"https://doi.org/10.1007/bf01237719","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089015$3AF9323A-CFA5-4909-9ECC-F95B6225ADAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aab27b6e05fc3609c378f3019777b4926671a0f","datavalue":{"value":"W2075226191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089015$5B4BE1CC-C80C-448C-A8E5-57C25C415DA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b3dbf2934da4290279f62d19fa670e4f716a95","datavalue":{"value":{"entity-type":"item","numeric-id":1068117,"id":"Q1068117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae9b533ff9764018a1a250bd1ea6007ac577982","datavalue":{"value":{"amount":"+0.8412073254585266","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":"Q1089015$3FBC8D90-9C69-4235-95AA-0A7821AA0A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b90a2679f847481d07d0f526e3aab461f65ded","datavalue":{"value":{"entity-type":"item","numeric-id":3346375,"id":"Q3346375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74749f1ba9c0c81c02a48baed5f387e3fb3b69a0","datavalue":{"value":{"amount":"+0.8362770080566406","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":"Q1089015$068FDFE0-D33B-4CA4-B740-C13FFD2E4846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f7785c8ef191c8a8852b1302f40353cc4c3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3720654,"id":"Q3720654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02df9dfd73636f92623260110f72e794b31c88f6","datavalue":{"value":{"amount":"+0.835566520690918","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":"Q1089015$2D2B0CBA-974A-42B9-8E9E-E3ABA11484B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf38fd0ef5c59001fc94c0ca866bb88bbe506b3","datavalue":{"value":{"entity-type":"item","numeric-id":2496164,"id":"Q2496164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d798948696ef55bc27ada62e8788db7a98a533c","datavalue":{"value":{"amount":"+0.7938453555107117","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":"Q1089015$F9715C40-BF7B-47E5-8D9F-C95A317AEF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c47551ba7a87a8bce73b62221ed514d23ac37df","datavalue":{"value":{"entity-type":"item","numeric-id":5950763,"id":"Q5950763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2688294281bbbdafe3389853c7c12fbb77cfbb1c","datavalue":{"value":{"amount":"+0.7922248244285583","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":"Q1089015$08CA91B7-387B-4660-BE29-53C5CC8EEA85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational bases for some varieties of orthomodular lattices related to states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_bases_for_some_varieties_of_orthomodular_lattices_related_to_states"}}}}}