{"entities":{"Q1121013":{"pageid":1131762,"ns":120,"title":"Item:Q1121013","lastrevid":66172728,"modified":"2026-04-12T08:02:02Z","type":"item","id":"Q1121013","labels":{"en":{"language":"en","value":"Elements of finite order for finite weight-reducing and confluent Thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4102484"}},"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":"Q1121013$1ABE083B-BEB1-4AF0-9CE9-162F7F019CF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af848801ad9b1ea4f4be989850e99987e79cae66","datavalue":{"value":{"text":"Elements of finite order for finite weight-reducing and confluent Thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121013$CB70FFF4-B556-4F69-A1BF-5C63D4835E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aaa5874ffc3df69a2fcd2128b44bdf710b42948","datavalue":{"value":"0673.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121013$C5CB5EF2-6D06-4688-A985-E864C6A632C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121013$388E7D9F-0177-40DA-9924-843D8C1522AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121013$4F7FE4DF-197D-46FF-9AB8-FBEAE0A6D87C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121013$908A821B-2804-4F26-AC1A-923689BBDA45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1121013$99172E8E-1983-4D98-8DFB-1D73B75424C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38aaab8f04da89142194d705acbe3e8afbca6218","datavalue":{"value":"Let T be a finite, weight-reducing, and confluent Thue system, and let \\(M_ T\\) be the monoid which it represents. The following properties are shown to be decidable in polynomial time: (1) \\(M_ T\\) is a group; (2) \\(M_ T\\) contains an idempotent element different from the identity element; (3) \\(M_ T\\) contains an element of finite order which is different from the identity element; (4) \\(M_ T\\) is a free group. Moreover, the proofs imply the following: if \\(M_ T\\) contains an idempotent or an element of finite order different from the identity element or an element which is not a unit then such an element can be constructed in polynomial time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121013$A8A09565-7FF9-4395-93BF-3311E6E4C4BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121013$23810B81-0A89-42A5-8FEE-05F209C29D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121013$1F7A1C08-C581-4B9C-8919-8CFADA369149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121013$393ACBD2-5F82-424E-B667-62747D39EA66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1290b6a55298d0d21c8e0cddf64dd4c493a5ef9","datavalue":{"value":"4102484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121013$24DF8328-E73B-468E-B49A-BCC17A6ACDB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7236707146b8bf8d05d8681570425bcd07bba25a","datavalue":{"value":"finite weight-reducing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121013$18E8B63F-01C9-4E78-8B56-582399C6CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"290734aaf954d94586787aecc2b5bac8c65b29d7","datavalue":{"value":"confluent Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121013$60858F2E-DD6A-4F83-8FE1-3C2FEB27ED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121013$0B42CE6A-6184-402A-9627-9BE053D85A89","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":"Q1121013$4093E8FB-76DC-4293-BB2A-B31AEBAFA064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5477c10cd6af849edede1ab1dadf06c16eac01cf","datavalue":{"value":{"entity-type":"item","numeric-id":3153443,"id":"Q3153443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103813925d6a7422e0a9e2970e37c2f7b2f8b2e0","datavalue":{"value":{"amount":"+0.9252417","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":"Q1121013$5A6CA5B8-E9CD-40F0-8A26-733B58FBD5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8292c6550e146cd4d6e9ad00a0b316bd47758d","datavalue":{"value":{"entity-type":"item","numeric-id":3708211,"id":"Q3708211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8174f44b0812d4db2bcbc8401fefe2ac43b7ae6c","datavalue":{"value":{"amount":"+0.9029888","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":"Q1121013$70AFE6DE-7862-4B62-A669-5C155294BB5D","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":"3aba08c0a645e44102cab360a175ee272f26c486","datavalue":{"value":{"amount":"+0.8919563","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":"Q1121013$6DD291F1-444D-4062-9480-86DDAF3F5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30758dc49df7f4b9e9d10b9ce54c0e60977278","datavalue":{"value":{"entity-type":"item","numeric-id":3722483,"id":"Q3722483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a8075a8eea26b95ade46c5280ed977bb56e952","datavalue":{"value":{"amount":"+0.87430423","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":"Q1121013$6768D8E6-1F57-4C46-8AB7-14701654C004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2795db9f625c8fa7db036402f7b482ec27e53e","datavalue":{"value":{"entity-type":"item","numeric-id":4566259,"id":"Q4566259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e1815648b9673dfb9be218ec15b2b9f544a504","datavalue":{"value":{"amount":"+0.85700524","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":"Q1121013$7DDA5EF8-0ED8-4DF5-9066-ADC6566781A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28efaeda68af3966edafb1a2b855bed828e4256","datavalue":{"value":{"entity-type":"item","numeric-id":2675126,"id":"Q2675126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53d69b55b8bf48cd67be852c59a6538edd3fa13","datavalue":{"value":{"amount":"+0.8501244","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":"Q1121013$64B1C467-78D2-4F00-9D5A-8AAFCD885352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cd70f85a4386f17e5413536ee940fbebc1d787","datavalue":{"value":{"entity-type":"item","numeric-id":3825221,"id":"Q3825221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3f4552dec5b06c30b4f8b7024674f26adb24d6","datavalue":{"value":{"amount":"+0.85003114","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":"Q1121013$FA71EEBD-8414-409E-868E-F76127299B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728a757175c1a9516f46cea78e27e9b6ec66ba75","datavalue":{"value":{"entity-type":"item","numeric-id":1087011,"id":"Q1087011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d9689dfc8a79431d537f58dc3db53dad1a324e","datavalue":{"value":{"amount":"+0.8498846","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":"Q1121013$1300396D-7C9B-41FF-9D95-7105B6848CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a1f4b4ab60bf5bdcbe36de237effd62cbd663c","datavalue":{"value":{"entity-type":"item","numeric-id":3717308,"id":"Q3717308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb64575eca29e3d21f03a66ae864245bb40cce5a","datavalue":{"value":{"amount":"+0.8492635","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":"Q1121013$4A86A6DA-CA73-48CA-94F6-EB1EBAE89018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763b84756ab2893c25afe099512191dc56e1537a","datavalue":{"value":{"entity-type":"item","numeric-id":262609,"id":"Q262609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bd55ab80351f833695a51bbecba1ecdf715f1a","datavalue":{"value":{"amount":"+0.84766954","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":"Q1121013$EF9E411C-6626-48DB-9BA8-2DD86801B4B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elements of finite order for finite weight-reducing and confluent Thue systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elements_of_finite_order_for_finite_weight-reducing_and_confluent_Thue_systems"}}}}}