{"entities":{"Q5917482":{"pageid":8034540,"ns":120,"title":"Item:Q5917482","lastrevid":48084724,"modified":"2026-01-03T14:23:07Z","type":"item","id":"Q5917482","labels":{"en":{"language":"en","value":"Equational bases for varieties of Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899965"}},"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":"Q5917482$7BD10294-B290-485F-96FE-C227CEB7E6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463c6cad20f5c8b986fede1fc3cee6b142ca78bc","datavalue":{"value":{"text":"Equational bases for varieties of Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5917482$38AB3D76-2F5C-4D81-A6FC-357A8EED6663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dac166a6e7341f54702b2809f1b0f002c08dd26d","datavalue":{"value":"1015.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917482$D4833AE1-6B01-49E7-ABD7-09F7E1B12C5A","rank":"normal"}],"P16":[{"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":"Q5917482$44EBB0A3-195A-4111-A696-1B2FE88F351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b98b6ad8fd3b2099e9c0123330a371489004c61a","datavalue":{"value":{"entity-type":"item","numeric-id":238916,"id":"Q238916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917482$BBC68DF9-8D0F-44E8-BF7C-4FD03237E754","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":"Q5917482$BEC3550D-F9BA-4D0B-8210-1643A0040CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5917482$B781220D-B91D-472E-9060-C941DAA24385","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"addec71e1d59e4d5a0887aae2f9cf941e5b744e2","datavalue":{"value":"By using of Priestley duality and a theorem of Urquhart, the authors develop a simple method for determining the equational bases for subvarieties \\(P_{m,n}\\) of the variety of Ockham algebras. The axioms they obtain have the same canonical form and involve few variables. The method is illustrated by a detailed study of the varieties \\(MS_2\\) and \\(P_{3,2}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917482$B10075BE-1C46-4C1E-8AF7-DDE001D6E746","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917482$CC3B32B9-1CD0-4BE2-9306-B89FE8EB4545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917482$B22EC1E5-055E-4186-B498-2CE597A63602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c9f30d4b26dc7addfa66491842a0573954b386","datavalue":{"value":"1899965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917482$48F99A67-E7BA-4184-AF4C-B35A14D0BA37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917482$AD8F79D0-6ACB-47B9-9807-6A0ADC7F3DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917482$38F7228A-25C8-41F6-B5F9-FF52B51234D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917482$9E533FD6-01C3-4A15-8B24-361DE690B2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4187bcd1ada1ba72859bf5f8151acdd29d67582d","datavalue":{"value":"tabulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917482$AFA129BC-F118-4A5B-B234-27A1DAADB051","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":"Q5917482$D77FBB24-BACF-4D44-B820-2A1135E3119A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b2be174b62c96709947856db09bf0059760faf9","datavalue":{"value":"https://doi.org/10.1007/s000120050185","type":"string"},"datatype":"url"},"type":"statement","id":"Q5917482$37DC8EF0-597E-4C9B-BC9E-290A5D3233AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71293252bf5c3c849fe0d846b371c8e1c2f3d49f","datavalue":{"value":"W2070175671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917482$95ADE5B2-3373-4FBB-A206-96F26D35F393","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b20969c5c276d9348c3814f5949af1459c5a3a3b","datavalue":{"value":"10.1007/S000120050185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917482$CAA1DF36-C340-4DC0-8D71-240EFC0ABC34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d17adaf1f861c5d07e2bc63e8628f6bd1ac9e0","datavalue":{"value":{"entity-type":"item","numeric-id":5906612,"id":"Q5906612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f774b4eb2ebacfd6632876b7bfb85111b77375","datavalue":{"value":{"amount":"+0.9069974422454834","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":"Q5917482$F5EB74B5-EB76-4CD8-AA8D-0938EE2AB3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ea3d9c793399750b276ce097facf8b2271f72","datavalue":{"value":{"entity-type":"item","numeric-id":1337159,"id":"Q1337159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f774b4eb2ebacfd6632876b7bfb85111b77375","datavalue":{"value":{"amount":"+0.9069974422454834","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":"Q5917482$BC5FA7D8-27B7-4C9F-9047-9D8A1DE6F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4a59b28d3d765c435b26bc1e93a2b1a9aa70c2","datavalue":{"value":{"entity-type":"item","numeric-id":4407167,"id":"Q4407167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3486cfef14f1b23801d94aff28584b18ad4f6c38","datavalue":{"value":{"amount":"+0.83335942029953","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":"Q5917482$0831415A-CBEA-4199-B848-73FF62E55B31","rank":"normal"},{"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":"0922156f4579412caef5e9431b131244f8024df4","datavalue":{"value":{"amount":"+0.8081867694854736","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":"Q5917482$6E16BCC3-DEE5-4FBB-B96D-110DED9C5774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171089b79f786c1d2a1c5fd2c5bb105c0253e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119670,"id":"Q1119670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8071242321334fb523556f22f5e31d26bf56929","datavalue":{"value":{"amount":"+0.8069519996643066","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":"Q5917482$E2A2636A-23D8-444D-A94A-76947D685846","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5917482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5917482"}}}}}