{"entities":{"Q633769":{"pageid":635617,"ns":120,"title":"Item:Q633769","lastrevid":63250056,"modified":"2026-04-11T11:37:01Z","type":"item","id":"Q633769","labels":{"en":{"language":"en","value":"Tilings and submonoids of metabelian groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5871619"}},"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":"Q633769$52ADE34F-54E8-4CA4-B6A5-2ADD56126937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2d806364ff5cba2ecc0e958b7dc1bd15a162772","datavalue":{"value":{"text":"Tilings and submonoids of metabelian groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633769$5EA312EF-2BB8-47E7-94FF-FAAEB5E26656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba84b6efcafa1dff116500f6a26d52ba1cd2d2ad","datavalue":{"value":"1229.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$BA7C9D33-4427-4769-91C2-9FB9C104ACF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$D728D6E9-535B-40E4-B877-5FB0176E8188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9b0b0009e7dc26ed1fb596dd0543ae0a05a62b","datavalue":{"value":{"entity-type":"item","numeric-id":172568,"id":"Q172568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$DDBBCCB4-5D7F-47AD-A897-3565599F9008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$567C4F40-AE78-473E-94EC-680E29833911","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633769$8B97E634-FD4A-4D53-A928-E898AA355C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f7e351796442d7489b7a316c8d20cda2e96a96d","datavalue":{"value":"https://arxiv.org/abs/0903.0648","type":"string"},"datatype":"url"},"type":"statement","id":"Q633769$DC38EAB6-ACEE-4AE1-9038-26C0B3DBA8CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"712bba0a1b5d16457463c06455e34db18aca4276","datavalue":{"value":"This excellent paper starts with a detailed motivation by considering the definitions of \\textit{word problems, (uniform) generalized word problem, (uniform) submonoid membership problem, rational subset membership problem} over a group \\(G\\). In the first section, the authors also present some examples and the connections on known groups with references.   As the authors depict in this paper, N. S. Romanovskii (1974, 1980) showed that all finitely generated metabelian groups have a decidable generalized word problem. This result is the starting point of the theory of this paper since, after that, it is natural to ask whether all (finitely generated) metabelian groups have decidable submonoid and rational subset membership problems. Therefore the authors establish that the membership problem is undecidable for a fixed finitely generated submonoid of the free metabelian group of rank 2 and for the wreath product of \\(\\mathbb Z\\) by \\(\\mathbb Z\\times\\mathbb Z\\). The proof of the second part contains a reduction of the problem via a direct encoding of a Turing machine. Finally they show that membership in rational subsets of the wreath product of \\(\\mathbb Z/n\\mathbb Z\\) by \\(\\mathbb Z\\times\\mathbb Z\\) (which is a metabelian group) is undecidable.   As a reader, I must confess that this paper gave me so much new material that can be studied as a future project.","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$9DE603F8-320B-4C2D-873C-9BE20F93C16A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$A22EDCB6-F110-449B-B1F8-3478603F622A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$D8524128-CC03-403E-866D-463924901C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$6AC4ADDA-89D5-4234-8746-39F185125220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$510CCE4D-E692-499C-A4BD-16373020618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$037B9D7E-1032-4AC5-823C-7FBBF5198D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$CD255A24-8A43-4527-86EB-E41633A944C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$B406AFA8-492F-48A5-966D-A49094982732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$82948630-A524-4A9D-A4D5-6569FDB4CE8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d9a314ec0fc555a4d118849d1f44e9fdfa72944","datavalue":{"value":"5871619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$F68688CA-CC95-49AE-B389-57B7FA9FB83C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f4f6f4d088539378a28886a7c29fd41df02ccf","datavalue":{"value":"generalized word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$0C204A74-9B33-4818-A2ED-DB76DE4E2EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff50adcc3c803aef39c6eed3c3799039287eeb3","datavalue":{"value":"submonoid membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$6B941F06-050B-4E16-806E-4D8851DA59F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40bd4c414dd825b2a16ae3f626f25b2504b4b3d","datavalue":{"value":"tilings","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$F22EECD0-B9A9-45B4-ADBB-DA81BC4A3518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb815813f1ec69c500fabe9e9912fefcaa748b0d","datavalue":{"value":"finitely generated metabelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$4944A661-0D71-4601-BE3B-2B7059E3B37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$46A78A78-CAAC-4464-A01F-70C798F1D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b298d413e9fd7d290cff246ab71c9eba812305","datavalue":{"value":"rational subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q633769$6FFC70CD-A723-4707-A8FC-50DEE4C0A23F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eb33cd7242b60e6a61fc0c6a830f752399a211fb","datavalue":{"value":{"entity-type":"item","numeric-id":394649,"id":"Q394649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$2A0B02AF-5AC4-4429-8559-F2B5C56C2204","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":"Q633769$9C052512-AEF3-4BFD-A9BC-473A725ECA5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be8e873b2cc7ec1c8b155f743c7ef737bbcfee42","datavalue":{"value":"W2004793105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$37D847F5-69E8-4FBF-A25A-4BDC0D9F94FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec5eee75611e7522f5e6d36cf0bac9d292a8af","datavalue":{"value":{"entity-type":"item","numeric-id":1262958,"id":"Q1262958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$35EB6F2F-7ED8-4618-971F-688D2C5F3EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999968a37f79519f4778fc7fdfc8575cbc2c2685","datavalue":{"value":{"entity-type":"item","numeric-id":4085266,"id":"Q4085266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$923DA9F6-19BF-4C95-B198-DACA214608FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd4b383003240da59c8505bce39e78f0ec47016","datavalue":{"value":{"entity-type":"item","numeric-id":4311344,"id":"Q4311344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$7543BBD4-1735-4D3F-A55D-DC3325D1C314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b60b6016e2874f3433a4a41cc31aafa6dd93fc","datavalue":{"value":{"entity-type":"item","numeric-id":5616207,"id":"Q5616207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$F5A799D1-49A8-4A3C-A7C5-5577CE777345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$8708F41D-FFA6-40F9-AC2C-AF500A50D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$049D7459-BD87-4670-9D34-6E0340588704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$F1F86F6B-0A7A-476F-B9B3-33DD0E287E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91756e45d31beadf0f0dda09b9e6e57fe7f701b","datavalue":{"value":{"entity-type":"item","numeric-id":1343757,"id":"Q1343757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$96BE13EE-5253-4886-9CDC-9DD1A605DFE3","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":"Q633769$0EF8C537-DFAD-4069-A014-4923ADC27DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$ABE8CD86-B2DA-4480-962A-8B8D4739B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bed4c2b4475236f2522c75bb98ad99df444276","datavalue":{"value":{"entity-type":"item","numeric-id":4867134,"id":"Q4867134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$81F93951-D4F3-4FFC-8172-14127DBC7ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6acd337dda8a73d0fdbfa20b23945c1a8a8a0c","datavalue":{"value":{"entity-type":"item","numeric-id":875109,"id":"Q875109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$F9C656FB-FE34-4358-A3D0-7E4F82E804DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84116f91ec141ad3f09b2cfdb3f6adc7ff1b64","datavalue":{"value":{"entity-type":"item","numeric-id":947493,"id":"Q947493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$51FE6B63-D23F-49C6-8710-27ADBF643F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e284b7ff696b7b16053cd470aa4689a765bc9bf","datavalue":{"value":{"entity-type":"item","numeric-id":606649,"id":"Q606649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$945DEF3F-E06F-4BB5-824B-6A1A69933BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b7f057d1d01f6075cdac89adcf9b1055d418bf","datavalue":{"value":{"entity-type":"item","numeric-id":5692654,"id":"Q5692654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$5B267905-08A4-4267-840D-70FB79A962CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d63701807361cf01d6ef7e8c135a13b5124d292","datavalue":{"value":{"entity-type":"item","numeric-id":4429367,"id":"Q4429367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$37FB0925-D343-4CA1-BEAC-AF509BA07F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b899b7215b106c6aea25b8fdf0b7129c7e13e320","datavalue":{"value":{"entity-type":"item","numeric-id":3852385,"id":"Q3852385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$90AF767A-9BF3-436B-8151-BD0F1F794914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$A5B88A2A-F489-4C08-8B5F-0A709B379AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e292bcb714dae5c66b4c17c5cd40d84eb6481f60","datavalue":{"value":{"entity-type":"item","numeric-id":1908458,"id":"Q1908458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633769$94F48C58-B739-4EA4-B41C-4335EF848821","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36bef9edb36be340f75916b0a8007cc78aa403e6","datavalue":{"value":"10.1007/S00224-010-9264-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633769$1E3EE2A8-2437-4F87-A8B4-A239C4A28430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef70489e413e41cb81ba7a70e8fb1e466cffbee","datavalue":{"value":{"entity-type":"item","numeric-id":947493,"id":"Q947493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56697c1f72f77a988222827e2e3ab62505210efd","datavalue":{"value":{"amount":"+0.8155912756919861","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":"Q633769$CC539BD9-2F6D-4C8A-A415-B916611DFBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a1d5687fcec85bc759ee23b95c50f66081dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":2990055,"id":"Q2990055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178f8e0374fafee2335dc6fb28e9cd0b47ca52a2","datavalue":{"value":{"amount":"+0.7951430082321167","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":"Q633769$49B0E084-6049-4161-B38A-8CFA23B2A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5c5191dd04f2394d58e578f49c36b80af68162","datavalue":{"value":{"entity-type":"item","numeric-id":875109,"id":"Q875109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee0c79232ae253ceed0e5b6e9a2962be42e15b8","datavalue":{"value":{"amount":"+0.793507993221283","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":"Q633769$5F90410F-D7BA-485C-A555-9CA1968C19CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tilings and submonoids of metabelian groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tilings_and_submonoids_of_metabelian_groups."}}}}}