{"entities":{"Q1087012":{"pageid":1097764,"ns":120,"title":"Item:Q1087012","lastrevid":69928749,"modified":"2026-04-13T11:16:46Z","type":"item","id":"Q1087012","labels":{"en":{"language":"en","value":"Complete semi-Thue systems for abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986634"}},"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":"Q1087012$E7FE0EFC-2E9F-4F60-80F7-B8E03B5BF82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f1ced0f0baab6513f08dba1c4efcb1a0509e28c","datavalue":{"value":{"text":"Complete semi-Thue systems for abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087012$0598B27B-5644-41E4-8810-758F59149122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c4a79b451dba245b77cd45b29a67d84f2983d0c","datavalue":{"value":"0609.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$30C65261-1266-4C39-A41F-4F488ABF208A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b8843ccc0633ddd8914141ba7b6a197dcb6151a","datavalue":{"value":"10.1016/0304-3975(86)90117-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$506C94DF-C5B1-46F7-AEA3-8D8568C42D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$22633493-95D3-4E39-B393-965FA5D6947F","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":"Q1087012$1B927025-CC07-4F4A-9443-98B1E4CC8A85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1087012$D4A50168-7CD6-48FF-8E2B-9FFA662AE043","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8afb87f8d7f6796425a52e5565b86bc72fb9303","datavalue":{"value":"We show that there are infinitely many examples of finite semi-Thue systems with decidable word problem and which have no finite equivalent noetherian and confluent \\((=complete)\\) reduction system. These examples have a very simple algebraic structure: they are abelian groups. More precisely, we develop necessary and sufficient conditions for the existence of complete semi-Thue systems for presentations of finitely generated abelian groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087012$9810F60D-5143-455B-9818-4BA71B16DDCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$87C634DE-5EDE-49BC-8C64-2CD277CA93F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$E9638EFC-D8BD-4964-BAFB-4D7D01A7FDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd0924bacc48367b8d971041eb028e37607d1d81","datavalue":{"value":"20K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$4F8111D8-541D-43F6-9C13-6065F1F4D413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$40483921-CF33-4C92-8B1C-7D17292E386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$9A0B5395-5163-47BC-BDFB-639EB2528BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d299185822c2822d93a0bcd9c9c72e3982be83","datavalue":{"value":"3986634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$A76DF76D-7F7B-4453-B96D-71AFDACABF92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087012$2D8702D0-1424-44D5-872A-B41D77AC5718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895fde9c70ef776f358ae301bcb2fca234136aa8","datavalue":{"value":"finite semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087012$E176192D-9CD6-4467-9B16-F59C9AD9E071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9388ee5205fef5c69663ae2816d5219d3839c5","datavalue":{"value":"decidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087012$510C7D1B-38C0-4A57-A4DA-F882E33FF7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127adc82a2dc2ab58ddf673a50408d1e9d0e1be4","datavalue":{"value":"finitely generated abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087012$1266125D-2E2C-432D-96DE-45B7A91480A5","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":"Q1087012$83B9C24E-7176-48BF-88AB-F3C790F348F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5602c88ae9c45f3222765e7af7664a73e1eafabc","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90117-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087012$D1EDB7B4-902B-4238-810A-53110C939A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a37e12a5eaec463ec0056413c9565791762f63e0","datavalue":{"value":"W2073165419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087012$574CB7C2-EEFF-4322-974E-E721F1ABC18D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e99707e5f2bace99a908fe3c6c303e560cbcd","datavalue":{"value":{"entity-type":"item","numeric-id":3973295,"id":"Q3973295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$AFD51E10-1DAC-4192-9876-441799A4030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$E48565D5-B0B9-468E-A31E-004AB637AF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$3327DFBE-9210-4C74-85D4-99A4A8D280B2","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":"Q1087012$A4D9EB20-D636-4A76-89A9-E8B5A65F714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6137204e53322ccfd080d9235bd0df957f98274b","datavalue":{"value":{"entity-type":"item","numeric-id":1067781,"id":"Q1067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$34EF566F-58C6-4FCF-8B80-2AE7850E49C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$59CF7BFD-1750-407D-8177-ECBB276BF649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f5f7f66378af973224e264ccdd4b43fec6cf46","datavalue":{"value":{"entity-type":"item","numeric-id":4743710,"id":"Q4743710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$B757D881-7E06-45BE-816B-7F7CC5A1F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087012$0E86BFFC-1EA9-4926-A5D2-1AD08632B91A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bc273aaa92e20c70840d5c9dcc0fcc3d26e9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5948127,"id":"Q5948127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0a7daf4447ef46368c7f76314a22b2c9a0c8ed","datavalue":{"value":{"amount":"+0.9055963","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":"Q1087012$82AA44BD-6BF4-4EC4-9A27-D49F3A102B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74ec44ef0d5ef6ee536349187f045e94d7dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3345796,"id":"Q3345796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d079c8446aedecbace297894d8325aa50ae2bb86","datavalue":{"value":{"amount":"+0.8906791","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":"Q1087012$7AF5ACB7-DDF9-4D27-929C-516545DE8859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc78a758989bfbf842d26abb2ba00bdfacf534df","datavalue":{"value":{"entity-type":"item","numeric-id":4712332,"id":"Q4712332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91802888a5a8fd044b0d53c4ad6d90d9ecf9590","datavalue":{"value":{"amount":"+0.8862768","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":"Q1087012$2ACCD4B5-4B15-4C17-9DA1-7D3A6D7223EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94acc98381b356757c93da656e90aef9ee95fa04","datavalue":{"value":{"entity-type":"item","numeric-id":2002151,"id":"Q2002151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9ab35b7e481216afb357aed330729257deaf4c","datavalue":{"value":{"amount":"+0.8807251","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":"Q1087012$E9E7EBB2-AE89-4A7B-A203-9DECE94D50DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce49bffc1adc4c36addd2aabf056b33153b6fbf","datavalue":{"value":{"entity-type":"item","numeric-id":2745475,"id":"Q2745475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fafcef88368a585f422e2aa89858a604467086","datavalue":{"value":{"amount":"+0.87910974","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":"Q1087012$0C00C931-F744-4543-A117-A9CD54007412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89599d27e876c1ebae6ebcf27949cfec6044e284","datavalue":{"value":{"entity-type":"item","numeric-id":5156112,"id":"Q5156112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12840224e1167a9e45c7e6d9925d084a057174a8","datavalue":{"value":{"amount":"+0.8756698","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":"Q1087012$10A5D540-A0F7-4726-A48B-7F071E1121C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e291ca3dfb306da83b3616efee988462e751c221","datavalue":{"value":{"entity-type":"item","numeric-id":6038517,"id":"Q6038517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5222d69466f5a2a82176ffcfae8aceae5234462b","datavalue":{"value":{"amount":"+0.8726553","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":"Q1087012$D90243D2-9230-419D-82B5-86C860359AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d213a7714f30a007f347f6b4710f77e584a4cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4696953,"id":"Q4696953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c48b5953215748cd98902bdc59d1614299b16da","datavalue":{"value":{"amount":"+0.8661248","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":"Q1087012$A1503E72-B906-4BEE-A6E8-CA5A0AFFBC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf809e9361696a7fd596b3ea8dc3a411bf2cb22e","datavalue":{"value":{"entity-type":"item","numeric-id":794682,"id":"Q794682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c1fa28a3aa520c03389ccddd341719c8e2b856","datavalue":{"value":{"amount":"+0.86426127","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":"Q1087012$CC71F40A-E3BA-4AA4-BEFA-61874A358D00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete semi-Thue systems for abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_semi-Thue_systems_for_abelian_groups"}}}}}