{"entities":{"Q751647":{"pageid":753496,"ns":120,"title":"Item:Q751647","lastrevid":49440505,"modified":"2026-01-07T04:04:53Z","type":"item","id":"Q751647","labels":{"en":{"language":"en","value":"Characterization of prime numbers in \u0141ukasiewicz's logical matrix"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177037"}},"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":"Q751647$272DB14D-BE1F-49C1-AA20-AB33C0A0874C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a746bd3259cf50eccd4c0c211d6f6440af076a6","datavalue":{"value":{"text":"Characterization of prime numbers in \u0141ukasiewicz's logical matrix","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751647$95F84EB2-7726-4526-8E99-AB336CDF8D8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beb57096b111244f7a2378d299ed57781c68e6c6","datavalue":{"value":"0715.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751647$5D0BC5A2-AC9B-448A-9FFE-C07240B78B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0542e0441b58c9370cc299af09b66715d4c22e77","datavalue":{"value":"10.1007/BF00370201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751647$85145F9C-CA5E-4353-BE1D-128152D35A83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$340FC7ED-6F9D-473B-BE79-129945386301","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$ED838CE1-2170-48BC-9DA8-07B93932F42E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q751647$157692E2-0FBD-41F8-9B38-95721CE56132","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"694998b787e3dc51ac8e3b30ddec6c37d485fd1f","datavalue":{"value":"This paper extends a result by \\textit{D. A. Bochvar} and \\textit{V. K. Finn} [in: Researches on mathematical linguistics, mathematical logic and information languages, 238-295 (Russian) (``Nauka'', Moscow, 1972)], which relates functional properties of \u0141ukasiewicz's functions \\({\\mathcal L}_{n+1}\\) of the logic \\({\\mathcal L}_{n+1}\\) to the property of n being prime. It is shown that n is prime iff \\({\\mathcal L}_{n+1}={\\mathcal T}_{n+1}\\), where \\({\\mathcal T}_{n+1}\\) is the set of all functions preserving 0 and n.    The author introduces the binary operation \\(\\to^{K}\\) in an \\(n+1\\)-valued matrix logic such that \\(x\\to^{K}y=\\{y\\) if \\([(0<x<y<n\\) and (x,y)\\(\\neq 1)\\) or \\(0<x=y<n]\\) else \\(x\\to y\\}\\) where \\(x\\to y\\equiv \\min (n,n-x+y)\\) is the \u0141ukasiewicz implication.    Let \\({\\mathfrak M}^ K_{n+1}=<M_{n+1},\\sim,\\to^{K},\\{n\\}>\\), where \\(M_{n+1}=\\{0,1,...,n\\}\\), \\(\\sim x=n-x\\) and \\(\\{\\) \\(n\\}\\) is the set of designated values. Let \\({\\mathcal K}_{n+1}\\) denote the set of all functions of the matrix \\({\\mathfrak M}^ K_{n+1}\\), then it is shown that \\({\\mathcal K}_{n+1}={\\mathcal L}_{n+1}\\) if n is prime. If for \\(n=p^{\\beta}\\) with p prime, \\(\\to^{K}\\) is replaced by \\(\\to^{K^*}\\), where \\(x\\to^{K^*}y=\\{y\\) if \\([0<x\\leq y<n\\) and (x,y)\\(\\neq 1\\) and \\(x+y\\neq n]\\) else \\(x\\to y\\}\\), then it is shown that \\({\\mathcal K}^*_{n+1}={\\mathcal L}_{n+1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q751647$6E025DC5-0447-4321-B55F-7434047C8A28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$8E6CA9CC-B89A-4049-A0B2-FFA822A05DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751647$E55477E4-FF62-4200-8F31-B29FB18547D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b95b4a27fb85cf635fbecfba09f4a907059981d","datavalue":{"value":"4177037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751647$8D376DD7-211D-4BA5-8282-938514C37C1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q751647$5BA42418-497A-4FBB-BD89-2F86441F8DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48adcd9f8a790bf21edb3400ab587b0ef4498a4","datavalue":{"value":"matrix logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q751647$4C26A570-102E-4A4F-8B83-E12D7AFBD36F","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":"Q751647$7EA66298-B12E-464F-B10A-70BB09DEFA68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"824871ce07543a750304300d8f361196f14d2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5335427,"id":"Q5335427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$CD443B10-5074-4865-8000-8DC1BD6F7E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5875103f952ecfead6e96f60763315cc87bd5676","datavalue":{"value":{"entity-type":"item","numeric-id":3260560,"id":"Q3260560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$958BB4B9-F231-4A88-9129-CB4B02678BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66fe340f0f50c0748d7471bb2f58795122879cc","datavalue":{"value":{"entity-type":"item","numeric-id":1147740,"id":"Q1147740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$66FD7C4A-A7EA-4D38-87AE-B5E1EE0A295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1290332e30b5235fa686487f7d491136c93d3a6c","datavalue":{"value":{"entity-type":"item","numeric-id":796515,"id":"Q796515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$36924E70-52B3-4050-BA24-908AD23959B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bd20dd9415aa7f14a4929d2299bb4d0ba672ea","datavalue":{"value":{"entity-type":"item","numeric-id":3338220,"id":"Q3338220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$9B0D576A-E104-4AC9-833B-065BDEE4D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac73816a09ca962ed90ad22ad8fb003a0a1a43a0","datavalue":{"value":{"entity-type":"item","numeric-id":3768875,"id":"Q3768875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$D574CEC3-368A-42E3-BE6B-4125C11B8BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adfad7a6f57c144fd5f95e69237ca7eb5c70efd","datavalue":{"value":{"entity-type":"item","numeric-id":5765117,"id":"Q5765117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$EDAB3BF0-1200-4D8A-BC0D-6D4A6AB556C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$E8A1564D-EA0D-44EC-A4F1-BEF00E867718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67140f402f5c48a0b5e89aaddfdfb6daae8f7d60","datavalue":{"value":{"entity-type":"item","numeric-id":1217099,"id":"Q1217099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$C2B5A653-99B1-4807-AB31-70482ECBB96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$1353B6E5-2561-4B7F-98A6-F296D02914F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f8fb55313c999b2cac904324d011215444ac65","datavalue":{"value":{"entity-type":"item","numeric-id":1218839,"id":"Q1218839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751647$C87B244D-BBDF-4ED7-A733-0904A80C86EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46629bc5551e896e406afa69c72f454f5cc63982","datavalue":{"value":{"entity-type":"item","numeric-id":3360162,"id":"Q3360162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6246f1587291bffd962be8f074a67538b0d39e71","datavalue":{"value":{"amount":"+0.9004998207092285","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":"Q751647$7D45757A-3D5F-4852-B6C7-C3B2BBEFB30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a001a2686a22dc8e5559a5a8723dc0075323e8","datavalue":{"value":{"entity-type":"item","numeric-id":2703828,"id":"Q2703828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d0738c4845c4fa60bbc735b5117a68457b3e04","datavalue":{"value":{"amount":"+0.8974425792694092","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":"Q751647$300E3289-F641-464B-9E95-A5F657F0374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b8fcbf1ce79dee7db0cb39b1fc131cc7e52ae4","datavalue":{"value":{"entity-type":"item","numeric-id":796515,"id":"Q796515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c35db7f718889e74446b081edfabc91a5323127","datavalue":{"value":{"amount":"+0.8962597846984863","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":"Q751647$29AD2D44-BE42-47D3-9B27-FEE314B1ACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ea36a8ccff7b3fff03008c615247a496520a87","datavalue":{"value":{"entity-type":"item","numeric-id":3338220,"id":"Q3338220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7fb77f2bfde4748e76a10daf98d657ab0f6d151","datavalue":{"value":{"amount":"+0.889437735080719","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":"Q751647$D565E86F-9F6E-4F89-82C3-B4775F98F67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17900a754cae30ffaa9862e5c17ed0943e5e74e","datavalue":{"value":{"entity-type":"item","numeric-id":4315302,"id":"Q4315302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40652addcfb757e7d2005caa6a84058091847e5","datavalue":{"value":{"amount":"+0.8347064852714539","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":"Q751647$1DDB4956-EE08-40D0-A31A-FCA9AB587F75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:751647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:751647"}}}}}