{"entities":{"Q1119670":{"pageid":1130419,"ns":120,"title":"Item:Q1119670","lastrevid":69688590,"modified":"2026-04-13T08:43:37Z","type":"item","id":"Q1119670","labels":{"en":{"language":"en","value":"Ockham algebras with De Morgan skeletons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097445"}},"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":"Q1119670$826E004C-2A23-4C5A-BA1C-60D15CD636E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1105596044af36c97556edb683a76f5bdae77e6","datavalue":{"value":{"text":"Ockham algebras with De Morgan skeletons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119670$6C490F18-9DED-4886-A0F1-0804AF008001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce8a5b37009d0543aad43a27a04dc8d4258337c4","datavalue":{"value":"0671.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119670$EEB8E7FF-476B-435C-99F0-28DE753F181B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b51584e7714514717e0fc0139300b2b759be8ac2","datavalue":{"value":"10.1016/0021-8693(88)90248-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119670$00B58EB6-178F-41D1-B8F9-2AD94A79C7B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$9C39F1CB-E362-449B-8D44-7FAEC17915B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0205cb56d7de1800b898f7cdc68957b998add004","datavalue":{"value":{"entity-type":"item","numeric-id":1377377,"id":"Q1377377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$2FB29CCA-1968-4CE5-9D08-B3BDD53C47AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba64a939c95436767b41181d5897fe87d7dbc07","datavalue":{"value":{"entity-type":"item","numeric-id":762516,"id":"Q762516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$BBFA72D6-B1B2-4AE8-B8DA-09ACA1F88833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$0636B63B-BCDA-4EF7-BBE5-0E7A13D51919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1119670$C1EC29B9-1B18-4CCC-880B-44867F9784A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c242c2fca8d3037db7dfe578601190cd448cab51","datavalue":{"value":"An Ockham algebra (L,f) consists of a bounded distributive lattice L and of a dual endomorphism f of L. The authors deal with the class \\(K_{1,1}\\) of Ockham algebras defined by \\(f=f^ 3\\). There are 19 non- trivial subdirectly irreducible algebras in \\(K_{1,1}\\) (H. Sankanappanavar and R. Beazer). The main result of the paper is the description of the lattice of all subvarieties of \\(K_{1,1}\\); see Section 2: this lattice has 403 elements and a rather complicated structure; an impressive result.    In section 4, finite equational bases are provided for many of these varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$5F413044-5A0F-4018-A9BA-CC1D28B2C853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119670$74985C7A-EEF9-4759-B50C-B2FD452222D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22eb1fa8218ec78ccc84243432fbd0b504f63a62","datavalue":{"value":"4097445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119670$0F9BC7E2-2A5C-4A10-99CD-D5325562E04E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$45168359-A0B3-4343-B7BE-91416E719958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$5E20D90C-C24B-469C-AAF3-B9D17363F5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcdbcc6be172b684399bf611ebb4f465992a864","datavalue":{"value":"bounded distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$55A2E3E1-EDE9-4B8A-BF07-A02B496E7C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0b41dce55f11d5b59254713188337cf677f9cd","datavalue":{"value":"dual endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$A3D0121E-E7CE-4B11-A535-868E5E392EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bd067b88e97802f51259fb4de437783cb4fe60","datavalue":{"value":"finite equational bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119670$6EB7C892-6401-4FDA-86DE-0AF20B001693","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":"Q1119670$0E44F3D6-EA8D-46B5-A9FC-364DA9067989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53409215d1d5a04c071ce0cee8a969ca06c719f9","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90248-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119670$77ADA110-3E15-416C-8F3A-89051BFE0BD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42a4b3b20db833029be3afadef875ecb230b9c3e","datavalue":{"value":"W2034855264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119670$01DFB95B-34F4-4EF5-B242-54EEBA98CB96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff57d43a820fc0a9139eff28bfcc3e1fe1dceb11","datavalue":{"value":{"entity-type":"item","numeric-id":3325779,"id":"Q3325779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$D387F474-022F-43C6-A065-BA7F79B6F1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4004e8049c9137d9b5b6e94f4dec378ad15a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1252874,"id":"Q1252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$CF2DA8EC-5783-4DFD-8921-4CFC161B13BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1f599d132cc3270f63e2b157e0182a57ef548c","datavalue":{"value":{"entity-type":"item","numeric-id":4126378,"id":"Q4126378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$9A7050FD-4D7D-4496-A7B0-1F2B847A8218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4619d50dd1fc7bab67f94b040fab5063e7584c3","datavalue":{"value":{"entity-type":"item","numeric-id":3320444,"id":"Q3320444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$8B8BA6F4-4039-4466-9680-97D4168F19C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8acb5707da8403c7fc26fa864ee2b26cca7f53","datavalue":{"value":{"entity-type":"item","numeric-id":3333093,"id":"Q3333093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$FFDEB3B4-D1F0-43B7-9F8E-5AA5CC816004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc632fe6650ea091bb10e08a7fbcfedcd2972d","datavalue":{"value":{"entity-type":"item","numeric-id":4179057,"id":"Q4179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$B2F29416-B5BC-4805-9FCC-53878679C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac69998ca0886557ff144a4ea096dd58221ea8d3","datavalue":{"value":{"entity-type":"item","numeric-id":3863926,"id":"Q3863926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$A17E958F-E9A0-43C7-A350-D33C4E87B21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b182ec0b7a8498bfc5b7735ff66542a0f946d586","datavalue":{"value":{"entity-type":"item","numeric-id":3699743,"id":"Q3699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$A7401E66-BF70-4F94-A25B-B6A739933DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f51b04359a1fc0bda6994f6102478f8a0c68462","datavalue":{"value":{"entity-type":"item","numeric-id":1838987,"id":"Q1838987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119670$1191290D-330A-4281-B59F-CB70C7CC7C1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a9309372619bd54b072a62699e797793a3064","datavalue":{"value":{"entity-type":"item","numeric-id":4011582,"id":"Q4011582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3536590c505bf631f77a0b34253f82c36b742f4","datavalue":{"value":{"amount":"+0.8745787739753723","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":"Q1119670$F12BCB0C-EE08-4721-8D5C-BCECAA953CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81586f55109572ad2c2ef6a2917158652459080a","datavalue":{"value":{"entity-type":"item","numeric-id":3699743,"id":"Q3699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b1488150c461b1d3262ffb1c0528fe2ea818f1","datavalue":{"value":{"amount":"+0.8725928068161011","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":"Q1119670$3DDCAC4C-7625-4CEE-9958-A7D2A4F427B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74492113941c8a69934a36c25ed646064e1f7571","datavalue":{"value":{"entity-type":"item","numeric-id":1902556,"id":"Q1902556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3980ebab1ed870fcb6745b5eb4ee93f4ff942ce6","datavalue":{"value":{"amount":"+0.8708499670028687","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":"Q1119670$63899954-C00C-4390-9D0E-C44E8AFF42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dbc18feefbca61fd3cf583fdc19dc0c85ed564","datavalue":{"value":{"entity-type":"item","numeric-id":3834100,"id":"Q3834100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3feb6b23bad9c337b7b8b7c8be757d0c0dc5a8d","datavalue":{"value":{"amount":"+0.8701045513153076","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":"Q1119670$77536875-F601-4881-8A2F-5109911FF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea93b261c57ef2d893d3f2ea2caa5a18aefb3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3222900,"id":"Q3222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7998ca7706bebd1ef939e3f9765a6dbe40f7f64c","datavalue":{"value":{"amount":"+0.869709312915802","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":"Q1119670$F660C19E-1D03-4635-86BB-8966735E73B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ockham algebras with De Morgan skeletons","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ockham_algebras_with_De_Morgan_skeletons"}}}}}