{"entities":{"Q517036":{"pageid":518803,"ns":120,"title":"Item:Q517036","lastrevid":62432523,"modified":"2026-04-11T06:02:55Z","type":"item","id":"Q517036","labels":{"en":{"language":"en","value":"An Hadamard operation on rational relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695325"}},"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":"Q517036$F733B4F3-F8E9-4DDD-A86E-FF730D9C4390","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4e0032c839d4024924607d3caa7167b04c2a1e4","datavalue":{"value":{"text":"An Hadamard operation on rational relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q517036$A56BDD53-4432-4106-8408-4854C4A65ADD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d33deda12f6426cb92276b58e01aa613fd5bd1d","datavalue":{"value":"1362.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517036$480E5936-34AD-41D5-8EA2-BA316BBC5B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$757DCB7D-5EC4-41A8-9F2B-1569F86BB0A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$99467118-BCE5-469E-9C03-919806CE5440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q517036$89CF51E4-2519-4F01-B79E-88C79CE38D2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b78f1a1ebbf90f5b8b47303e49d1771558faf71a","datavalue":{"value":"The paper is about an operation, called the Hadamard star, on binary relations on the set \\(\\mathbb{N}\\) of the nonnegative integers. A relation \\(R \\subseteq \\mathbb{N}\\times \\mathbb{N}\\) is said to be rational if it is rational as a subset of the additive monoid \\(\\mathbb{N}\\times \\mathbb{N}\\), and the Hadamard star of \\(R\\) is the relation \\(R^\\otimes = \\{(n,m_1 + \\ldots +m_k) \\mid k\\geq 0, (n,m_i)\\in R\\}\\). The author characterizes the rational relations \\(R\\) for which also \\(R^\\otimes\\) is rational and shows that this property is decidable. With any relation \\(R \\subseteq \\mathbb{N}\\times \\mathbb{N}\\) one may associate a formal power series \\(s = \\sum_{n\\geq 0}R(n)x^n\\), where \\(R(n) = \\{m\\in \\mathbb{N} \\mid (n,m) \\in R\\}\\) for each \\(n\\in \\mathbb{N}\\). Since the relation \\(R\\) is rational if and only if the corresponding series \\(s\\) is \\(\\operatorname{Rat}(\\mathbb{N})\\)-rational, where \\(\\operatorname{Rat}(\\mathbb{N})\\) is the semiring of the rational subsets of the additive monoid \\(\\mathbb{N}\\), the results of the paper can be interpreted also in terms of \\(\\operatorname{Rat}(\\mathbb{N})\\)-series.","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$DCEEF5E5-E822-4A28-93E3-400648D257BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$384DFC97-8502-4067-B06D-0408508FFBF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517036$86003FE5-F534-4115-B4CC-40F1C3864785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f44aa736945c58d2221c3212be1a04df5d040f9c","datavalue":{"value":"6695325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517036$786B384F-D859-4BCA-8C50-D0DB0B99938E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e73bc1e1f214fab9b176c690eb8780499600242","datavalue":{"value":"rational relations on integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$79A2FC5F-CE48-4489-B945-D5AE7C91EE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1b7a86852d6568201155713c5b838e267dc176","datavalue":{"value":"rational series","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$90F54ACA-4D3C-494B-9715-36CD0AB3A5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01cc586505fdd4cac6bea2dd570c6fe83e311b13","datavalue":{"value":"Hadamard star","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$4CC6C1A1-D639-442C-BB58-E2C3A26CA75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e737b3720e280c0c5c55e1bd1653c291646069b7","datavalue":{"value":"Hadamard product","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$AF067B78-F1BC-450D-BF3E-7D309D45F488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$CEBDABBA-FF3F-4927-99C1-2030CE2F1F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q517036$8EE99453-30A9-45E3-BC7B-8E2D0F8850E5","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":"Q517036$FA478FC3-161F-4F5E-A5AA-EEC7CF52C897","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a05f81476177d2455b8f659a7a40c83baab911ac","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.10.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q517036$83910708-003D-46EA-B6D3-E4C8BE806BD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97b5f8106cfe541e5fe8898aa51838176fbb6074","datavalue":{"value":"W1941356076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517036$1C9A66CB-1141-4AE2-BC7C-B2ED1B8B2CB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d419c36f7bef2914a509273d4f055d3ef70195a","datavalue":{"value":{"entity-type":"item","numeric-id":5704414,"id":"Q5704414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$32C2F5FB-01AE-4EA7-8D37-0E52121000C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62f3bc665ac97366c9e1300b8db575f15776c30","datavalue":{"value":{"entity-type":"item","numeric-id":5606687,"id":"Q5606687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$0CCA4BAC-9484-43A6-945D-6940D29F0F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$157CFB49-A41D-49DB-BD75-E7886290653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706888d9996b7c5c5693ddd094729332b7e82836","datavalue":{"value":{"entity-type":"item","numeric-id":4649453,"id":"Q4649453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$8562D6A7-8027-4926-8C97-BF2BD5ECCE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc3a2e573f031c7788f00d92f1d75b1dfa8b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":2922014,"id":"Q2922014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$3504D194-A8EB-434F-B28C-C44AA78DCD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$939EBD5B-3DB2-4097-BAAD-28923311EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f704f7a7b47369f4695ebca508c1be320c87104","datavalue":{"value":{"entity-type":"item","numeric-id":2536529,"id":"Q2536529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$37CE135C-9C43-411A-9E1A-6D190B910FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b89070d762934a049522efec583f7ddeac17ba","datavalue":{"value":{"entity-type":"item","numeric-id":947687,"id":"Q947687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$ADAC16BC-A091-4E32-8FF0-F19F9118355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2228531e375ed2b5e8a691560a9161c0b7f11e16","datavalue":{"value":{"entity-type":"item","numeric-id":3665230,"id":"Q3665230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$35CC59C1-D74E-4529-9E66-1A668FC63CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517036$90917CB9-8A4C-406A-B12B-BFF9702DFCA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c2ad1bfe0793078a8ed620a2578dca82170990f","datavalue":{"value":"10.1016/J.TCS.2015.10.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517036$8A4CEEB5-A3B8-451D-A3B6-49DE3CA670FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736917c1d0d28db342fd7b8c7fe5c267a124ced","datavalue":{"value":{"entity-type":"item","numeric-id":1390853,"id":"Q1390853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf5a2cd66d490c95ddf59f93a91b4a028a5f10d","datavalue":{"value":{"amount":"+0.7701534628868103","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":"Q517036$098C4BEB-3F76-4F80-907A-237222B63152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d04b814a4c5f1b668b5cbb5b6e51a6035df53bf","datavalue":{"value":{"entity-type":"item","numeric-id":5894885,"id":"Q5894885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a048916506334c937181b62919b8603334336a1c","datavalue":{"value":{"amount":"+0.7431027889251709","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":"Q517036$44B9D4A4-CD45-4691-91AD-B8A085423F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c078fbb288fd82b1a3bcf46022dd8d7ea56c1f98","datavalue":{"value":{"entity-type":"item","numeric-id":801688,"id":"Q801688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1e7bf56fdb87e0c8d5f4310dd9fed8af00830a","datavalue":{"value":{"amount":"+0.7211479544639587","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":"Q517036$AAFB363B-F906-4546-98A5-EE70779E3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc49d2cd180ac897f47deca9ccd21e7bb04cbb75","datavalue":{"value":{"entity-type":"item","numeric-id":915795,"id":"Q915795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e55471054037fbbeacb43370af0eeeb023cb83","datavalue":{"value":{"amount":"+0.7106892466545105","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":"Q517036$3E7EDF26-DAB2-4688-BEFE-5968E369197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b9d07b2fcc7e88c162b519fab999b7b2bf3499","datavalue":{"value":{"entity-type":"item","numeric-id":5882176,"id":"Q5882176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f07ebd55d62fe4a8dd1f2c53d7adad02276491","datavalue":{"value":{"amount":"+0.7077041864395142","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":"Q517036$D7ED37E7-D255-43C7-A988-93DF8D3AA303","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Hadamard operation on rational relations","badges":[]}}}}}