{"entities":{"Q1079638":{"pageid":1090390,"ns":120,"title":"Item:Q1079638","lastrevid":69593064,"modified":"2026-04-13T08:04:28Z","type":"item","id":"Q1079638","labels":{"en":{"language":"en","value":"Completeness criteria for systems of functions on a finite ring and quasi-Frobenius rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3964095"}},"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":"Q1079638$3AFC079F-CF85-4AB8-84A3-779814299797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37c364eb1ed8d6b5dc58e7a804274ca0d476aa03","datavalue":{"value":{"text":"Completeness criteria for systems of functions on a finite ring and quasi-Frobenius rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079638$32696EDD-1313-422E-9AC7-6FE5DB80F5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"411158c0c42a58e7ac490c0ec4927f88ed60d422","datavalue":{"value":"0598.16021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$CE5DBDEE-6C53-4695-B9D3-6F8E55028A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d446f1a8a524edc8eb40e99c3ccf06c2fca4290c","datavalue":{"value":"10.1007/BF00973501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$FC89B21A-4CD0-46D0-AA06-0E9753955243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$8A733A26-F0EB-4312-B6B4-FC69870C52D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1079638$0AECE067-A391-42C9-B24F-194FBCFC63DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80d682d5faf94c002b1ab5664c2a2539751faefc","datavalue":{"value":"Let K be a finite not necessarily associative ring and let \\(P_ K\\) be the class of all functions of finitely many variables on K with values in K. Let A be an arbitrary system of functions in \\(P_ K\\) and [A] be the closure of A as a system of functions of a \\(| K|\\)-valued logic. The system A is said to be complete if \\([A]=P_ K.\\)    Main result: Theorem. A system of functions A on a finite set K is complete if and only if the following conditions are satisfied: 1) System A does not preserve any nontrivial equivalence relation on K. 2) The class [A] contains all the constant functions. 3) The exist an element \\(0\\in K\\) and functions p(x,y), s(x,y)\\(\\in [A]\\) \\(q(x_ 1,...,x_ n)\\in [A]\\) such that: a) \\(p(x,x)=0\\) and for every \\(a\\in K\\) p(x,y) is a bijection onto K; b) \\(s(x,0)=s(0,x)=x\\); c) for \\(n\\geq 2\\), \\(q(x_ 1,...,x_ n)\\) is not a constant and \\(q(a_ 1,...,a_ n)=0\\) if n-1 of the elements \\(a_ 1,...,a_ n\\) are equal to 0.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079638$4E414D33-7ECF-466C-92FC-9E71419C085B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28ecc1b41431a804cc08ab46a2b9d1b1da3eda13","datavalue":{"value":"16L60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$53626F67-196E-45C8-AC98-84F2367A3951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$B34FFA09-0FCF-4968-A334-334911A3A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46cc6f74904d93d783c1cf8007a9494ea0b980f2","datavalue":{"value":"16P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$7C660D1E-BDE8-4BE8-B1B7-251BAF655C3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0eebc9cc668343d621e7c5d57c806e1023adf6b","datavalue":{"value":"3964095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$B4272426-6365-4712-826E-9C092737C7DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d9cff939aa3469ce9e1172149f1ebff2d6a075","datavalue":{"value":"system of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079638$44D7C1F5-9CAF-4059-9C39-1DE964B74969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b3859931c9b767a7c56a2f0502c7627db6b24a","datavalue":{"value":"\\(| K| \\)-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079638$F55C6211-846A-4FA2-A3E8-F022091025EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079638$0781C507-E8E6-4DAC-9881-D90C49C13D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96177fbe1e22a23167ee1cc708a3c81ab7624ada","datavalue":{"value":"constant functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079638$3C7E3A4F-FFA2-421D-ACAE-1D5096124F17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f636511e8e0aeafa43124d22c866831c8415be6a","datavalue":{"value":{"entity-type":"item","numeric-id":314345,"id":"Q314345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$286825A1-C74F-4F2F-9C21-F21B1C2F873C","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":"Q1079638$61F5F405-7A5C-4AE9-8FCD-823F8F78543E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e70c7f9c73e08c46fe083fae1cb0fd935fffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1253265,"id":"Q1253265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$D239F2AB-042D-4ECC-B446-6AB583C88F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5895353c11b1c21348e17eb6a98c1407d628f115","datavalue":{"value":{"entity-type":"item","numeric-id":4769119,"id":"Q4769119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$1CD2CE8A-4562-4657-8BCC-A57D8E399025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62d5193f7c7903121ea34be37a4c0241730a6f5","datavalue":{"value":{"entity-type":"item","numeric-id":4402478,"id":"Q4402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$A124D2CE-EA23-4F6B-81C5-62156D42105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf15aa41ce35a3f2331d683f5dab519fa947de","datavalue":{"value":{"entity-type":"item","numeric-id":3927212,"id":"Q3927212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$C59C1857-EAC7-42B0-9B0C-9153D8927697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ff2ed9b731da7f2a4bc66574a35d41038dabd0","datavalue":{"value":{"entity-type":"item","numeric-id":5682108,"id":"Q5682108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$9661D71E-C990-46FF-B808-2D0F7C32DDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b70e20c0e0d27db1002828cfb502489f144a83d","datavalue":{"value":{"entity-type":"item","numeric-id":1246585,"id":"Q1246585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$340CD942-BCF7-4D0E-AF0D-233A2BD73CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04771a8fc129512fd3f152a0ae93fe9c14e43afb","datavalue":{"value":{"entity-type":"item","numeric-id":5583142,"id":"Q5583142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$8A13FDD9-1D58-47DF-A3AA-64C831EE8816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a63e676678795d1ea29b459c44dedd15a1e17a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2545917,"id":"Q2545917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$9C821812-67EB-4E9F-96D8-72C8FF7BE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c867ce266885e9d5ad92b4fada8daa630f29e754","datavalue":{"value":{"entity-type":"item","numeric-id":5612590,"id":"Q5612590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079638$D360B8D6-8373-4F54-9EE5-4E9A98877ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b1bcbc33e4e3d12a6680bc6f2898d0746462c8d","datavalue":{"value":"https://doi.org/10.1007/bf00973501","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079638$899630D3-8C91-40EE-A200-1B4B52F2C803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b80df82901efce275f2cf141c37856a62401ad","datavalue":{"value":"W2031210798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079638$40BD5D08-FBE9-4D1A-B5D7-0D02E90B1451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f021151a2eb78994944ba7a651a5051935b05e8a","datavalue":{"value":{"entity-type":"item","numeric-id":3622759,"id":"Q3622759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d403b03ccc178ac2fb00140bba566506fc945460","datavalue":{"value":{"amount":"+0.88519764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$437C1FD3-5F9D-4FCF-B042-3A97DEDFC15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9702ce8c2ffc42e26dbf845b682800259dae98fd","datavalue":{"value":{"entity-type":"item","numeric-id":494962,"id":"Q494962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e931bc96c355bb3617fcde42ef9ddf63a5b54321","datavalue":{"value":{"amount":"+0.8815663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$F62EB28C-EBCC-4396-8BA6-F3B824988049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b9c0c5e4d263097eb3aed2cd5486a1a5edf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":4529662,"id":"Q4529662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a902b96cbe48e2d57405813b9eb097d8ba7744","datavalue":{"value":{"amount":"+0.8802372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$E0425B36-CAA2-40C0-8B5B-044B051977A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabf27317434c99e739d084a71527148a708d5f2","datavalue":{"value":{"entity-type":"item","numeric-id":914795,"id":"Q914795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3608371f12216eaf3ec28f2c48c76c005595da0f","datavalue":{"value":{"amount":"+0.87947506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$6C1149FC-C4C3-40FF-8E59-C0113BC060C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f259901675c5b034ecac1b9bb091b620ba8a6b72","datavalue":{"value":{"entity-type":"item","numeric-id":1061692,"id":"Q1061692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56283521facd585825c4774f00345cf7dc6ef00e","datavalue":{"value":{"amount":"+0.8788325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$B167DFEE-20F1-4399-87E7-077BD7B60B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbddd275e2ff78787fb15961400bb703c3de2ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3031602,"id":"Q3031602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72596610204838fde21d0aa0cb2be85424c5747e","datavalue":{"value":{"amount":"+0.8743661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$04A30A9B-42F9-4DC8-8C2D-58242DE4367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e2b7d2c14ae71141f9e16617b3b1bf8f03d665","datavalue":{"value":{"entity-type":"item","numeric-id":1747337,"id":"Q1747337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88097c4cebcd573aecdb3a2ee3470dae28aa9df","datavalue":{"value":{"amount":"+0.86924374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$FB565E61-92FB-45F1-9270-DB55E2BF3677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315f99817ff4b7c63b55e155c34a6ee0c52a2eb8","datavalue":{"value":{"entity-type":"item","numeric-id":5236044,"id":"Q5236044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66c8e9974416e5c6161175621aa48a3015aa84c","datavalue":{"value":{"amount":"+0.86909115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$868ED04C-B43A-4399-A928-BD7BAFC87153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4810b573f4eae60071cddfd542ca1cb2bcd566","datavalue":{"value":{"entity-type":"item","numeric-id":4816005,"id":"Q4816005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cec9cb32fd7a28188c81853aafe3c31020594c4","datavalue":{"value":{"amount":"+0.8674683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$571E2694-209D-4112-AC0A-0F83DA96644A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5473dd4f896122022efc6ff395a66c54554b98df","datavalue":{"value":{"entity-type":"item","numeric-id":5824487,"id":"Q5824487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617b372b07e3f609e76aa656322ac00e272e6765","datavalue":{"value":{"amount":"+0.86727434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079638$8324F542-62FD-4B00-B21B-574CD751F098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness criteria for systems of functions on a finite ring and quasi-Frobenius rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_criteria_for_systems_of_functions_on_a_finite_ring_and_quasi-Frobenius_rings"}}}}}