{"entities":{"Q861602":{"pageid":863450,"ns":120,"title":"Item:Q861602","lastrevid":50010220,"modified":"2026-01-12T15:19:11Z","type":"item","id":"Q861602","labels":{"en":{"language":"en","value":"Ockham algebras with double pseudocomplementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119637"}},"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":"Q861602$253FC8EE-2B60-4666-B83F-4B76007F6EC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e76e9a675f019dc099827603e248a8c8224e59d","datavalue":{"value":{"text":"Ockham algebras with double pseudocomplementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861602$DE4DF239-F7B5-45E0-8213-9E270A87CB33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c62447cfec0d91d153b05083499e2537ce376a5c","datavalue":{"value":"1134.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$C20B8827-3C67-4FCE-A160-8F668F0D7108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861602$BCB9FB35-2EF6-4818-BFDA-943C0A04BFC6","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":"Q861602$0F1E1916-23CE-446B-A976-FDEAE348B82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861602$A82DA125-B4F5-4E2C-B446-0262659F4794","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3565478fd5f85382e5e83533574aa3914f60798","datavalue":{"value":"A (universal) algebra \\((L; \\vee, \\wedge, f, ^*, ^+, 0, 1)\\) is called a double pseudocomplemented Ockham algebra (shortly, \\textbf{dpO}), if \\(L=(L; \\vee, \\wedge, 0, 1)\\) is a bounded distributive lattice together with three unary operations, \\(f\\), \\(^*\\) and \\(^+\\), such that (i) \\((L; f)\\) is an Ockham algebra, (ii) \\(^*\\) is the operation of pseudocomplementation, (iii) \\(^+\\) is the operation of dual pseudocomplementation, (iv) \\(f\\) and \\(^*\\) commute and (v) \\(f\\) and \\(^+\\) commute. The author describes (i) the principal congruence relations in \\textbf{dpO} and (ii) characterizes the subdirectly irreducible algebras that belong to the subvariety of \\textbf{dpO} defined by the identity \\(f=f^3.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q861602$FFE688E1-890A-4F53-AA4B-32816AA05BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$FB379818-7EA2-4BB2-9CEF-93B3448B08E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$00114275-00CB-4E68-AC5C-E36C0B3489F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6806b205cd1d66e2a3fdbd18edfeb0a480b871","datavalue":{"value":"5119637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$BC630781-1D73-43B2-B207-E4E78DEF9661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb993feb241d9c78a401c7d9a20eb957151245bb","datavalue":{"value":"Ockham algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q861602$A2ECDF8B-5CBE-41C4-98C2-73E1A0ADBD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8499c51e84143ffdf93287650ad865be7ec501","datavalue":{"value":"double p-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q861602$07CFB635-DEF4-4A30-BE66-C9F836F04FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q861602$A63EFD37-F018-4A83-B7A7-9D2E67A23B1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861602$C21952AC-6980-424D-9799-4A6034738A3E","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":"Q861602$F0D0114B-EBC4-4628-96FC-AE348B2AF97C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe86fff14859c4362a4d4826db6185c99e05f249","datavalue":{"value":"https://doi.org/10.1007/s00012-006-1968-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q861602$DC609123-1235-490C-817A-724E9BB02519","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d5c06ec2faefe8454d262629516598f49104897","datavalue":{"value":"W1971227397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$43ABEC2A-4859-4389-A211-74A05620C8A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e381c18086ab4684227ccea728e14d38cf13f6d4","datavalue":{"value":"10.1007/S00012-006-1968-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861602$C4E72B27-0271-4B31-9F83-E2E9B943BB2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de6ef536ca80d0162ea1ba8d7cede03881ff506","datavalue":{"value":{"entity-type":"item","numeric-id":4361024,"id":"Q4361024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa12d08a173f409bdf70f343f097b6f419ade844","datavalue":{"value":{"amount":"+0.886326014995575","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":"Q861602$281C5D99-A7AE-4131-9388-AD2809CFB2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb2f112eb7fd001287bade7f130e472a05ba736","datavalue":{"value":{"entity-type":"item","numeric-id":931490,"id":"Q931490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c225ed346edc8725a397815e2230e3482bc688f","datavalue":{"value":{"amount":"+0.8841303586959839","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":"Q861602$95CC6475-3C3F-4031-9102-5B51EBD76696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48e992f61d19e1226cff43089f65912002d1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4700478,"id":"Q4700478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec59c1d4e008365d33dfe9d18f4ca40a913d93b1","datavalue":{"value":{"amount":"+0.874363362789154","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":"Q861602$85EBF011-D01F-4BCA-8127-6C7644BE84E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48006cf2f51b26335e3fa372b789c91450de8a","datavalue":{"value":{"entity-type":"item","numeric-id":1005956,"id":"Q1005956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc537e3ea2efbde2b046f627b189c2f4c36a85a","datavalue":{"value":{"amount":"+0.8740230798721313","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":"Q861602$32B8BFD1-1990-45EA-8B0C-9B9568C6FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bb7c6c149cd81910a83fcc61585546f8f6a338","datavalue":{"value":{"entity-type":"item","numeric-id":2474104,"id":"Q2474104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c08647ee17613ac5aa6871aba395f2fca4d62da","datavalue":{"value":{"amount":"+0.8728721737861633","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":"Q861602$433BDDC8-9EC2-4D26-AC9F-BBA6C5266CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:861602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:861602"}}}}}