{"entities":{"Q863473":{"pageid":865321,"ns":120,"title":"Item:Q863473","lastrevid":64921422,"modified":"2026-04-11T23:07:08Z","type":"item","id":"Q863473","labels":{"en":{"language":"en","value":"Multilinear equations in free inverse monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118910"}},"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":"Q863473$960A5320-4C17-43B6-BAB7-35F1225C7FB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca928fd7520df8554f61b5285c53facd34cdf89a","datavalue":{"value":{"text":"Multilinear equations in free inverse monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863473$3D0219A1-C2D0-4F3B-A85E-88C753A40524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d9589a744f559fbaaee3cd260eee2f555a2189c","datavalue":{"value":"1117.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$F74A839E-5BF1-4F34-8A42-7BF102B6A9A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea374ead450539dbb852138c5f89081e573cf11e","datavalue":{"value":{"entity-type":"item","numeric-id":863472,"id":"Q863472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863473$25EF76F1-AB4F-4214-9C7B-6449E4214379","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863473$8C5DF94E-E506-4A28-920F-199F45E63203","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6721e2b1eb987ba2390f9abdb34c9100dded7229","datavalue":{"value":{"time":"+2007-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863473$5FF48EB8-EC54-4248-845F-9080A8815DDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf18b78157f45461e919b7a24e7a4a1b57664df9","datavalue":{"value":"The free inverse monoid over a set \\(A\\) is denoted by \\(\\text{FIM}(A)\\). Let \\(X\\cup X^{-1}=\\{x_1,\\dots,x_q\\}\\cup\\{x_1^{-1},\\dots,x_q^{-1}\\}\\) be a set disjoint from \\(A\\cup A^{-1}\\). An equation in \\(\\text{FIM}(A)\\) is a pair \\((u,v)\\) of elements from \\(\\text{FIM}(A\\cup X)\\). A map \\(\\varphi\\colon X\\to\\text{FIM}(A)\\) is called a solution of an equation \\((u,v)\\) if \\(\\widetilde\\varphi(u)=\\widetilde\\varphi (v)\\), where \\(\\widetilde\\varphi\\colon\\text{FIM}(A\\cup X)\\to\\text{FIM}(A)\\) is the unique homomorphism determined by \\(\\varphi\\). The consistency problem for systems of equations is considered.   \\textit{B. V. Rozenblat} [Sib. Mat. Zh. 26, No. 6(154), 101-107 (1985; Zbl 0584.03005)] has shown that when \\(|A|\\geq 2\\) the consistency problem for finite systems of equations in \\(\\text{FIM}(A)\\) is undecidable. The author considers the class of so called multilinear equations. It is proved that for singular multilinear equations the problem of finding solutions is decidable but the consistency problem for finite systems of multilinear equations is undecidable if \\(|A|\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$6A835B02-FEC4-43DE-8CD1-412FA0FA662E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$26885AED-27CF-4E22-9B1C-A7D1FA49A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$21747791-E22B-4555-B9B9-BDEED24F0766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46bde639f5933d7a351d51a5ae46ccdcf15b7844","datavalue":{"value":"5118910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$C5BF7451-B1B2-4EAF-9AA1-F0421039BF13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5808b07102dac999a758c1d2209bcab5c2945f","datavalue":{"value":"free inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$A688870B-BD9B-414D-94F1-D46F9099D31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0bf29e50766b994ecd60d74e4075125224c019","datavalue":{"value":"multilinear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$93552BCA-138D-4C26-81CC-4F4F25E600F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$5B2FFB0F-825B-4A57-9A11-2507C8C8C0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16ec0a6892398ba4d3b3f74a555433ee4743694","datavalue":{"value":"consistency problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$9F8030F8-1564-493D-B62D-AB3912E37068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q863473$CE1F73EA-79D9-49F6-96B7-4266AA3DA7ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863473$AFA5AF3E-F672-41F5-8DB0-CE1B61E5FB93","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":"Q863473$2CE208A7-D042-4D0A-BC9A-6CEAAFC4F850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6993ed3f0814e0662519a9206b664f1891f230f","datavalue":{"value":"https://doi.org/10.1007/s00233-006-0625-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q863473$EEDD4E1E-C694-4C23-BAFE-8597DDE1A5E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98f98111d792ec1f48e0f59d4e41dc94c763a2c8","datavalue":{"value":"W1995561143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$BE7FB772-A925-4347-8607-81F746D0E0D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d528247cd6b80530fdea3ee010dc93a90ceecb","datavalue":{"value":"10.1007/S00233-006-0625-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863473$868ECAC5-11B3-433C-96F2-0C850B472602","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db81becbccfe95526f3d69fe445c1e7c0f8323e4","datavalue":{"value":{"entity-type":"item","numeric-id":5386970,"id":"Q5386970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e70cbe821516aa3d566c99937f26456a2efa21b","datavalue":{"value":{"amount":"+0.8429583311080933","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":"Q863473$413F5F76-E31F-4DD3-A222-DA2827A1B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93ffc8f24d6f58ca20b5b84d6c875d56c3b9fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2996838,"id":"Q2996838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff27c84b49754762b7583e30346b4b36d6d38abb","datavalue":{"value":{"amount":"+0.8273165225982666","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":"Q863473$606AEE78-22DD-41A8-B048-C18F58EF7243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3cc08fd2afc5bd3b53b133491823a7a09c1eab","datavalue":{"value":{"entity-type":"item","numeric-id":4508467,"id":"Q4508467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105db0d91544cfca499db629b646b9f1f6971727","datavalue":{"value":{"amount":"+0.8197870254516602","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":"Q863473$AE932764-F65A-4CA6-A94D-E6F8C1696AD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multilinear equations in free inverse monoids.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multilinear_equations_in_free_inverse_monoids."}}}}}