{"entities":{"Q5950763":{"pageid":8127565,"ns":120,"title":"Item:Q5950763","lastrevid":41784878,"modified":"2025-05-08T07:35:25Z","type":"item","id":"Q5950763","labels":{"en":{"language":"en","value":"Quasivarieties of orthomodular lattices determined by conditions on states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682613"}},"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":"Q5950763$37618C8F-4300-49FE-849E-5B04256D9F00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b50fd973ef4acbd6c299fc42ae89a2d36811f2a8","datavalue":{"value":{"text":"Quasivarieties of orthomodular lattices determined by conditions on states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950763$B29E0D95-5811-4C03-B090-10A883F731E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84cc4b1e9ce437a24c0dbd689259de6398f17e5f","datavalue":{"value":"0978.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$53ACD3C1-3A4A-4E69-AE13-75E4FB6872D8","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":"Q5950763$E08B092C-C115-4A27-97D1-07883C2FDFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd5ce87c42f9510fcbc9bbc51a873e31188e9da","datavalue":{"value":{"entity-type":"item","numeric-id":312459,"id":"Q312459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950763$12B77063-D038-4E63-B7F4-74F536801C03","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":"Q5950763$9B0C4D46-1D14-4FE0-9998-2E541A7C4CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950763$02907D8F-8C01-4F5F-A0B6-2AAD7155E4BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c736b84759f08dd5d20ccafa54e4c8e2e676804b","datavalue":{"value":"Classes of orthomodular lattices which satisfy certain state and polynomial conditions are considered. A mapping \\(s:L\\longrightarrow [0,1]\\) (\\(L\\) is an OML) is called a state if \\(s(1)=1\\) and \\(s(a\\vee b)=s(a)+s(b)\\) provided \\(a\\leq b'.\\) The following classes of OMLs are introduced: let \\(n\\in {\\mathbb N}\\) be a natural number and let \\(\\phi(x_1,\\dots ,x_n)\\) be a polynomial in the language of OMLs. Let further \\(J\\) be a nonempty closed subset of \\([0,1]^n.\\) Denote by \\(L(\\phi ,J)\\) the class of OMLs defined by the property \\(L\\in L(\\phi ,J)\\) if for any \\(n\\)-tuple \\((q_1,\\dots ,q_n)\\in L^n\\) such that \\(\\phi(q_1,\\dots ,q_n)\\neq 0,\\) there exists a state \\(s\\) such that \\((s(q_1),\\dots ,s(q_n))\\in J.\\)    The main theorem of the paper shows that the classes \\(L(\\phi ,J)\\) are quasivarieties. Many interesting examples of quasivarieties of this kind are given and they are described in terms of equational implications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950763$95EE0331-460B-4C85-A69F-F4FC5F2B43C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950763$4F313CDF-48A8-4734-95DF-E5AC7436BA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$BAAABF63-3595-4E0A-96DD-B4BB8C1FDA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$695101F7-7347-408D-9FAC-0C04C33C9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$346465C0-996B-4035-9B97-017F2ECC7C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$246E6B73-BED3-4043-9FAA-40180D272708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9b2ce05525f066e49e8461655afe1bce3208062","datavalue":{"value":"1682613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$63D344DC-BA87-41E6-A0E6-08EB0275C501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950763$CBC31459-61FA-43B5-A9C6-619321F94974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950763$F9FB68B6-0B2B-40F3-BB91-92983EF719E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b9781ebd79e65eea3bd6e3e851d38a5b33c69e","datavalue":{"value":"noncompatible pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950763$CEF6F925-9E30-4919-913D-10E57EC3C47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950763$5687C526-CF8B-4CF2-9D33-F9C012779A4E","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":"Q5950763$5DB80182-E931-4D60-8D7E-CB73C3207B63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92337a37749caeacaff0f69de60988fb5f9c0627","datavalue":{"value":"https://doi.org/10.1007/s000120050131","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950763$13E435D7-D9C9-451B-BFBA-D2F92B928281","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c163b63429aedb477939fcd02f3f0e05b45c7891","datavalue":{"value":"W1974196832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$CFF53792-F1D0-4716-9D7E-6702CE651263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd24cdfcfb03397d52f807e9dfdef8dd561d3073","datavalue":{"value":"10.1007/S000120050131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950763$52F4377A-BA30-43CC-ADD9-11FB6DDC1CAA","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":"96daed35bbff04a59e08fd5ee9434cd70505eb5d","datavalue":{"value":{"amount":"+0.9466541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$2855A2BA-6D53-4AB5-9161-07C629601BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9774225b50798204092215cc6c2d39d316c460fc","datavalue":{"value":{"entity-type":"item","numeric-id":4281922,"id":"Q4281922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e45f9e7419e6eec546a4fe946efc6941d9c0de","datavalue":{"value":{"amount":"+0.9182234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$F968DA1E-9E88-445C-A167-0FA13DE4AD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0ee2a852966a0836d495252a0b87c5aec63214","datavalue":{"value":{"entity-type":"item","numeric-id":1866795,"id":"Q1866795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c6a1bd2e0a32dee0fe5c46322dca039491e7bd","datavalue":{"value":{"amount":"+0.911708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$EB522952-5A4A-4E25-A297-0AE46070D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9697d8eb95fddc2fda3f9259db0185730045cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3816075,"id":"Q3816075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bd7df78b8bbfac91539b3cf76fee67da741f8e","datavalue":{"value":{"amount":"+0.9059733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$1C3BA347-AB1B-418B-8B06-C767EBE001D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751b2500f9b6e9492cedb08d2ccbaf4549813dce","datavalue":{"value":{"entity-type":"item","numeric-id":1089015,"id":"Q1089015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94de1958ffe1905c806f1b34a6156250f571b991","datavalue":{"value":{"amount":"+0.90585387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$E33714E4-6640-4325-9902-D0BB0BD145B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb1d1b1b80e0a182430fe1fa143df8cbff8d69e","datavalue":{"value":{"entity-type":"item","numeric-id":1373520,"id":"Q1373520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cc1cd5de9dcca3dafcdfddb72435605a35fb49","datavalue":{"value":{"amount":"+0.90146905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$C2A7E1EC-4349-42B6-B255-3C9C53861CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74aea53dce6a2b670a8887cc85b183eeeae2241a","datavalue":{"value":{"entity-type":"item","numeric-id":1177700,"id":"Q1177700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8d44f36d62a8001b2af7902ab1bd67c0bd6bdd","datavalue":{"value":{"amount":"+0.89819145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$01FA2F7E-983B-49D3-A2B1-FE6DE9995911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c704cab90587b8f90ceb8b86d73f2df2124b1d01","datavalue":{"value":{"entity-type":"item","numeric-id":4175599,"id":"Q4175599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbc962d5cc459deb5f3dd024ee012bb048bab74","datavalue":{"value":{"amount":"+0.89541477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$999B2329-538F-48AD-B731-AF516239694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344e50a70227c33c1c04a2e0fd970ee25333f0a4","datavalue":{"value":{"entity-type":"item","numeric-id":4342443,"id":"Q4342443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858ec64a3020e450097f1f7b71995475ac78d530","datavalue":{"value":{"amount":"+0.89456767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$119874D3-39BC-40E3-8051-1163D138ACDC","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":"2330175f210a89c522612bf9d1fdc8164206d34b","datavalue":{"value":{"amount":"+0.8930637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950763$627F202A-A987-4FD5-885A-8B82A24F4D57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950763"}}}}}