{"entities":{"Q1087896":{"pageid":1098648,"ns":120,"title":"Item:Q1087896","lastrevid":69611964,"modified":"2026-04-13T08:11:58Z","type":"item","id":"Q1087896","labels":{"en":{"language":"en","value":"Functional completeness in pseudocomplemented De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989425"}},"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":"Q1087896$0DB0C5C7-802C-4BD6-B50E-AEA4867BF24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c1155711afb84c5b0fa657a0fa8effde86914c9","datavalue":{"value":{"text":"Functional completeness in pseudocomplemented De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087896$40629A43-E3C1-4A8B-8C23-C0885E5A1E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82611e13446dc197f57c70e734c13165b8154bf4","datavalue":{"value":"0612.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087896$43FA7D96-4C1D-42DE-A992-4B07787E5387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087896$97E7BC32-1019-47BF-8BD1-2D36CC6E075E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087896$D439F8CC-BAFD-457C-A371-433F5C35AD75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1087896$7BE6A87A-6DED-4D18-9ADF-EE17EA9A3DE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf668efd5a8a31f01c2f28c829b24fa05faec02c","datavalue":{"value":"https://eudml.org/doc/138364","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087896$AF8CB423-EB6E-416A-876F-313A747EA77B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa2a718e34cc4954ed3924df21da81a9aaad8d6f","datavalue":{"value":"A finite nontrivial algebra (A,F) is called functionally complete if for each \\(n\\geq 1\\) every n-ary function on A is algebraic. It is well-known that every functionally complete algebra is simple. In the article under review the author shows that every finite simple pseudocomplemented Ockham algebra with at least two elements is functionally complete. In the second part, various forms of primality are studied in a subvariety of the class of pseudocomplemented de Morgan algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087896$F8EE3199-07A4-4FA4-AEE7-DD55286A7F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087896$F58F2797-0686-4F9B-8C40-F1DA67733F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087896$106A5BC5-4CD9-4097-84B6-6B3E375A850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087896$215AD7F3-0482-4F49-8708-75E44AACCA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98d0ddd793440ff22cb9aec7b01e9cc19a3ee1c7","datavalue":{"value":"3989425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087896$694D8237-C5F2-4BB4-92B4-418C33F5C4D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc08291a32118ef2af7a99468b8af2866c5598db","datavalue":{"value":"functionally complete algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087896$BEF09DE1-CABA-4B77-8B80-10C4F7451DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35b17940c0c2c869d34675a31d6a4eb54dc2086","datavalue":{"value":"finite simple pseudocomplemented Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087896$0A007F39-5726-4D3D-BE82-A34EA192D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b598197b2e9d8b7b3926c71a30f45448cf281085","datavalue":{"value":"primality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087896$30E8B750-137A-4F4A-9FE9-5A375B8D3010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1cdda6e349670f9f7c6c980f4423eec4736792c","datavalue":{"value":"pseudocomplemented De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087896$7396EE94-2E7A-48F8-9D9D-818170478C9F","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":"Q1087896$FCE1AD3E-5B2C-4473-A272-E3E2A166DA68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414f3a63cc3c066bb8518de7bb7b5b8f52dd0ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2269795,"id":"Q2269795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c73ef954310d7c5ad85c11aad9288aada21be8f","datavalue":{"value":{"amount":"+0.8022699952125549","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":"Q1087896$7A3D3ED0-1671-454D-AB91-889D881E7E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e896c92471401930329b6eaa90c8afceb3512ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4427387,"id":"Q4427387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca30b2fbbc43fb7a51235a7037132f4c8b0f8cf8","datavalue":{"value":{"amount":"+0.7951344847679138","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":"Q1087896$26D210DC-FA0D-4203-AAF0-3F5DF17BFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29615d60c5931f7333c8a0e0d962e3d61806313","datavalue":{"value":{"entity-type":"item","numeric-id":5389312,"id":"Q5389312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d07b64e6202c7d1cc98423376f077ef6538a88e","datavalue":{"value":{"amount":"+0.7836925387382507","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":"Q1087896$65598481-7A89-4EEF-9A60-7AD715196736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af89092dba96a79f0ca4457b31b330698700a06","datavalue":{"value":{"entity-type":"item","numeric-id":741709,"id":"Q741709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554b59e82ad6c1ad82a43d62ff985d65ddb3d036","datavalue":{"value":{"amount":"+0.7822893261909485","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":"Q1087896$151405E4-B883-44C4-830D-AD306853E227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4fb003855aec0ac3d77715f5ef2df0f44f3cd4","datavalue":{"value":{"entity-type":"item","numeric-id":4792047,"id":"Q4792047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ddf9494d9e61feb44acc96323452f7b88712da","datavalue":{"value":{"amount":"+0.7805063724517822","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":"Q1087896$E007D9CB-65B8-48F4-A2B4-246D6964D996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional completeness in pseudocomplemented De Morgan algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_completeness_in_pseudocomplemented_De_Morgan_algebras"}}}}}