{"entities":{"Q5932478":{"pageid":8109280,"ns":120,"title":"Item:Q5932478","lastrevid":97631432,"modified":"2026-06-05T15:07:47Z","type":"item","id":"Q5932478","labels":{"en":{"language":"en","value":"Endoprimal implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602884"}},"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":"Q5932478$1FCD7E0B-73FC-4A5F-8206-52C5BC8B4651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2adba36ceba6a904e456f098adf0affe538c543","datavalue":{"value":{"text":"Endoprimal implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932478$B92BEA78-0B3B-40E9-9CDA-8CD158749EE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa68e8d4ebbcb705ae5ed9c70ac8bb94177c1a84","datavalue":{"value":"0966.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$FEA8DFA8-248A-4D18-BCDC-1F5CEDD95595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b9f28ca2582efebab73a49e88755e309f516b3c","datavalue":{"value":{"entity-type":"item","numeric-id":494620,"id":"Q494620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932478$CEE6FE13-9DA2-4F8D-BA6E-594DF0653F0B","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":"Q5932478$851B0DF7-B355-4B60-932A-6D85742D5EB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932478$DBEB3639-5DAC-4532-88A1-44AE0464956B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e471e232d0d0cdf0d6e815e363bfbe8e953979d","datavalue":{"value":"Implication algebras are groupoids satisfying the identities  \\[  (x\\circ y)\\circ y =x,\\quad (x\\circ y)\\circ y = (y\\circ x)\\circ x,\\quad x\\circ (y\\circ z)= y\\circ (x\\circ z).  \\]  An algebra \\({\\mathcal A} =(A,F)\\) is \\(n\\)-endoprimal if every map \\(f:A^n\\to A\\) that preserves the endomorphisms of \\(\\mathcal A\\) is an \\(n\\)-ary term function of \\(\\mathcal A\\). An algebra is endoprimal if it is \\(n\\)-endoprimal for all \\(n\\in N\\).   It is shown that there are no non-trivial endoprimal implication algebras. Infinite endoprimal implication algebras are built up from free implication algebras. The author gives a description of the \\(n\\)-endoprimal implication algebras for each \\(n\\in N\\). If \\(B\\) is an infinite Boolean lattice then the join-semilattice on the set \\(B \\backslash \\{ 0\\}\\) determines an endoprimal implication algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932478$72AE2D06-D5E4-4194-94F6-5A9CB87AD7B8","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":"Q5932478$BD76264B-34EB-4CCA-B147-4BF32EA446BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$AEC12D97-BB33-4719-B71D-B8AF889413B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$DBF00780-68FF-4DD4-83D1-8CEBDC2BCF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$59F69099-2B15-4828-B78A-B457E3BFDB60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59ff6844d952096f5392f1df8d30e644afd43ded","datavalue":{"value":"1602884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$DBE6AB5C-12E6-4D40-9300-E9D2D263E0ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b43c8082479ec93a32fc42a1a5e2517f54edc8","datavalue":{"value":"endoprimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932478$293928F7-E2B8-4853-8EE9-FFD922DB4352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3527471e0b09a986c8e6ce57ce11cb323965360","datavalue":{"value":"implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932478$9B73E32C-4D5B-446F-A49B-F438A28B93FC","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":"Q5932478$3E633815-AFA2-4D1D-B7A7-58BA3F9D123D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f07a5ebb8e1587155131db6c501d7e003eb9145","datavalue":{"value":"https://doi.org/10.1007/s000120050110","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932478$814436FF-4B7A-49F8-9EDE-3CD7F1C60452","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff673e48c49b71e151e9d6cfae33246056c9513","datavalue":{"value":"W2023167875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$1B7491DF-3D23-4B45-B8EF-7D7C43FF04B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9826e2746adc13f61fbdf2470ce487d594b1014","datavalue":{"value":"10.1007/S000120050110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932478$E9BF3246-0AF9-499A-AD82-C9EBF55A516C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a624e786a061f9d3e822fd5767a383157eb378","datavalue":{"value":{"entity-type":"item","numeric-id":1966124,"id":"Q1966124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f3545ea43b261e050d5b729bbefbba7ce89ba0","datavalue":{"value":{"amount":"+0.8557669520378113","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":"Q5932478$4D560350-BEE7-441F-885C-0BE4C15862C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f771fe7723ac55232c0933919d885ded68fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":4695517,"id":"Q4695517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f3545ea43b261e050d5b729bbefbba7ce89ba0","datavalue":{"value":{"amount":"+0.8557669520378113","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":"Q5932478$1354CE38-5981-4315-8547-03D666B44834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e06021c4f7d31640be7c5c57da8fabc4a5cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":3365839,"id":"Q3365839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc53c03307ffc2359e96ef12c857cace8e61e62","datavalue":{"value":{"amount":"+0.8455361127853394","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":"Q5932478$96E44A0A-0AA2-4D41-89B9-FA5AB3674A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5edf18cc484bf87c2de52a6fb8f569678eaad4","datavalue":{"value":{"entity-type":"item","numeric-id":1802259,"id":"Q1802259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503947ffa2d86a56c8df6278c2156d1cb360082","datavalue":{"value":{"amount":"+0.7956159710884094","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":"Q5932478$23E6653E-5370-4AB4-B924-AEE5143D6186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8668fadf9aad4cb0f6adf50774da615c96eb3c61","datavalue":{"value":{"entity-type":"item","numeric-id":2248024,"id":"Q2248024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c12a2a5b2adbe9669acee3fc6d619b89f5bf5e","datavalue":{"value":{"amount":"+0.793710470199585","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":"Q5932478$E14239BC-3E58-4529-9138-6D7D12A94DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Endoprimal implication algebras","badges":[]}}}}}