{"entities":{"Q609647":{"pageid":611423,"ns":120,"title":"Item:Q609647","lastrevid":63280800,"modified":"2026-04-11T11:49:29Z","type":"item","id":"Q609647","labels":{"en":{"language":"en","value":"The varieties defined by \\(P\\)-compatible identities of modular ortholattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822063"}},"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":"Q609647$66459582-8320-47CD-9F7B-B9D1E97898FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798e1b8973c77b75d9721f6887b702821dce5ea6","datavalue":{"value":{"text":"The varieties defined by \\(P\\)-compatible identities of modular ortholattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609647$6EDF1E23-1C3F-4FA6-9F94-23B7B777A236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1322edf65a37f58e9302ab98435f0d61f0f99314","datavalue":{"value":"1210.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$9427B46D-0413-4EA2-839B-455F29C7D373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a7a807e6002fbb2a84fc7d4941d63d87ebcf3a","datavalue":{"value":{"entity-type":"item","numeric-id":609646,"id":"Q609646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$37E36250-AE3B-46CA-ACCD-D745E6542D35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$C17E0791-46A7-4ADF-92A3-F03374EB93B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609647$5CE34A2C-6EFE-4E42-9AE3-2C94DAC8411B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93ed661c05ff436b7d576a2703b7011b86869530","datavalue":{"value":"Consider the variety MOL of modular ortholattices with the set \\(F:=\\{\\vee,\\wedge,'\\}\\) of operation symbols and let \\(P\\) be a partition of \\(F\\) and \\(p=q\\) an identity in MOL. The identity \\(p=q\\) is called \\(P\\)-compatible if either \\(p\\) and \\(q\\) are the same variable or \\(p\\) and \\(q\\) are not variables and the outermost operation symbol of \\(p\\) and that of \\(q\\) belong to the same block of \\(P\\). ``Externally compatible'' means \\(P\\)-compatible where \\(P\\) consists of singletons only. Let MOL\\(_P\\) (MOL\\(_{Ex}\\)) denote the variety defined by the set of all \\(P\\)-compatible (externally compatible) identities satisfied in MOL. Equational bases of MOL\\(_{Ex}\\) are explicitly stated, MOL\\(_P\\) is semantically characterized, and the lattice of some subvarieties of MOL\\(_{Ex}\\) is described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$16841C7C-1236-431B-BF15-881C22518FB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"979ef4a30a3c4b4dc502fe36ddec548597439b00","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$036C14D4-F2C6-44D5-92B8-04D44D96144D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$1CC01CC0-E252-4705-A8A4-1E871CECCFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$F46DAAB2-B083-45A5-BD33-ED0E6AB75274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e4f641e7dae9f7c85c0f62c1c7f6e4b9038a573","datavalue":{"value":"5822063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$0BA92CF2-FD7B-4D0B-8B7B-2B4B3CC328E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$EF0FDF9B-A59C-4CC9-AFFB-4B4E88267808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f16d96fc20376f535a7fb9addd65e3e7c2d2bfb","datavalue":{"value":"modular ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$8AF84CB7-DED1-4160-B044-30A421D47089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6256f2cfd76c8ff9a657420bd74eaf054b8ffb00","datavalue":{"value":"\\(P\\)-compatible identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$9CF869DE-7E10-4707-B508-37675C6D81AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd90f363353fb3749fb452b79364436d039dd4dc","datavalue":{"value":"externally compatible identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$B1606725-0E36-4878-85ED-72F0FE69980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55cf0b1969438949808232e45992633608f7a6a8","datavalue":{"value":"equational base","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$CBE19790-FDB0-4EA2-90E5-C930B2FAA54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$1B201155-10D4-4E06-9E06-2A348BDED378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q609647$D4D3F051-B2BA-497D-A594-65D4470C2C82","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":"Q609647$2A76EC32-53CE-4330-BF82-859330500905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"036646a3c69fec706eda72513e0135c2197bcc12","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9255-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q609647$7E3F1AA5-1BEC-4F12-879A-857FF51A059B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64dacb3d3533919079f26ada4a353957386a39f9","datavalue":{"value":"W1975208105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$569334D6-ADA3-4DCF-A944-CFD2F8FE74D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$C8517FC2-697C-457E-8103-F82C50A36A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20eea75b4af3876efab2e4ac8a56bbcd085da436","datavalue":{"value":{"entity-type":"item","numeric-id":3360924,"id":"Q3360924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$840A432C-E4C7-4CDC-9341-841F884B89AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9585ef9fb3fd69f824b917be901e865a1d43713","datavalue":{"value":{"entity-type":"item","numeric-id":4339469,"id":"Q4339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$E53C1F3F-D52A-45F4-9347-6506866FBAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e442f1277554677707f0eeed7722bcef75a05f","datavalue":{"value":{"entity-type":"item","numeric-id":1200945,"id":"Q1200945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$E23A2B5A-9636-4B0E-94D9-05B1155C7C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462dde9e9d0cab7fed3c0f49e476048dd27cdcc0","datavalue":{"value":{"entity-type":"item","numeric-id":813075,"id":"Q813075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$7DE6A955-B59C-4264-BD09-28960AB2841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14481eeae9f2ff7a2e5de5b5006c9deca7c669d2","datavalue":{"value":{"entity-type":"item","numeric-id":759050,"id":"Q759050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$044A17B9-E297-422D-957C-B3525F2A4073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5577eda790f72336f5129528695f979717fea95a","datavalue":{"value":{"entity-type":"item","numeric-id":4777361,"id":"Q4777361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$3D60B8C9-50A6-4980-8317-8DB6C8802387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca7e90dd78d748402c353f75dbe5877764326e7","datavalue":{"value":{"entity-type":"item","numeric-id":3351417,"id":"Q3351417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$A1780F32-0F66-43B1-AA01-A8020DE14315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62ac8d8976c4aaaa0e70e0187204f603c660604","datavalue":{"value":{"entity-type":"item","numeric-id":2652483,"id":"Q2652483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$C474BA15-7C53-4410-BBC4-1FC1DF741947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609647$CF31E415-F166-418E-A3A4-9CB0C303D90C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d65247b12c3e3e2b2fe3c3fc608d4764ab79a5e","datavalue":{"value":"10.1007/S11225-010-9255-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609647$298A7711-86C1-43BA-908D-86F50D2FA265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7771eafcd4d1d0db9cb52be8091e6690c71edcd1","datavalue":{"value":{"entity-type":"item","numeric-id":4339469,"id":"Q4339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863d164e78142556bbe32ecb5b708ba1028de896","datavalue":{"value":{"amount":"+0.92754555","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":"Q609647$1BA11A90-63AA-4B41-B3F4-74AC67EC52CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ce11d757322a8a17dd26db91f8c7c52d903468","datavalue":{"value":{"entity-type":"item","numeric-id":5297767,"id":"Q5297767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a905c83bacfcc56c193b29bd45c903cc808ebb0c","datavalue":{"value":{"amount":"+0.88623124","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":"Q609647$97A0C6AB-D08E-46AD-AA3C-A61201176392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789675cf8f23ace45ae9ab8797c74745771f6ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4763279,"id":"Q4763279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea6ac527e76831115a4b8a163fba440008f5450","datavalue":{"value":{"amount":"+0.8861932","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":"Q609647$80458D89-F688-4149-8AFF-39DBC929EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29539803aaec8455cc1fa74988d47fd4a30eabd8","datavalue":{"value":{"entity-type":"item","numeric-id":3140285,"id":"Q3140285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a386ffc77ea95794f1016a34ba6f48124aba8d","datavalue":{"value":{"amount":"+0.8843794","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":"Q609647$490F5E7E-0978-4152-91D0-8B383A12E200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7333661d771484a6a2751100fbe6f9bfd9a99b43","datavalue":{"value":{"entity-type":"item","numeric-id":4339470,"id":"Q4339470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e9b0ec6602fdbb31e5de3b11decc5a1fc03e57","datavalue":{"value":{"amount":"+0.8840724","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":"Q609647$71467C9E-2F58-43FB-85B4-5265F9CF9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fdc5d41dcc7e49cfaa304fdd8cd5f23a5d99541","datavalue":{"value":{"entity-type":"item","numeric-id":485107,"id":"Q485107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da7cf94804db1fcf5a60313a914ae0626060ae3","datavalue":{"value":{"amount":"+0.87867564","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":"Q609647$25710168-7ECE-4688-853B-2D811BD1FECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a4d73f35c24f976ba6d39eef991751fe022e42","datavalue":{"value":{"entity-type":"item","numeric-id":3351417,"id":"Q3351417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b05b18c5c927285e8a277a5cb8435c7d17a0fd1","datavalue":{"value":{"amount":"+0.87637126","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":"Q609647$85660D3F-160E-41C0-8041-71E48DCBEAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d81af4c83c20f1feedbfcab796e51bb8fe2b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":4528891,"id":"Q4528891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeb65370fa9c55930ec6acc7be326fd7be268b3","datavalue":{"value":{"amount":"+0.8733664","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":"Q609647$239DFA53-261A-4BC5-BEF7-E084DE8D623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee98beca95c52e12330881294e74f65ea42273d1","datavalue":{"value":{"entity-type":"item","numeric-id":3027075,"id":"Q3027075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b37d5c6482c8125c21fcc54d60d9784582bbee6","datavalue":{"value":{"amount":"+0.8700458","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":"Q609647$1989B98F-3577-4FD4-BE10-B21BECFD631C","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":"7c20ff5084b7d2d9c861c7d29045a3073e01cc5b","datavalue":{"value":{"amount":"+0.8699246","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":"Q609647$7E94561D-8B76-4348-81A2-C97BAAA030B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The varieties defined by \\(P\\)-compatible identities of modular ortholattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_varieties_defined_by_%5C(P%5C)-compatible_identities_of_modular_ortholattices"}}}}}