{"entities":{"Q1073016":{"pageid":1083768,"ns":120,"title":"Item:Q1073016","lastrevid":69570933,"modified":"2026-04-13T07:55:01Z","type":"item","id":"Q1073016","labels":{"en":{"language":"en","value":"A finite Thue system with decidable word problem and without equivalent finite canonical system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943794"}},"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":"Q1073016$049FB5B9-FE32-4E3F-82A1-9B19BE2B1AEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95ff95d3f493570bbadefafa1ad117e054a7df8b","datavalue":{"value":{"text":"A finite Thue system with decidable word problem and without equivalent finite canonical system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073016$654346C7-FD2F-40DE-B322-7D4FDD2FA539","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34c1368b18e899afbf4f53e7ecc8fb22903076b2","datavalue":{"value":"0588.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$9EAA6D1A-3D97-4119-96AC-CB6DF5CEF090","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0636c99b427f7aae075ec7fd7e75a2392a4405b","datavalue":{"value":"10.1016/0304-3975(85)90023-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$5A5E01A5-4E92-4F84-859E-06CBEF84F24B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$C81C0422-447B-46C4-A710-166A36AA5AF0","rank":"normal"},{"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":"Q1073016$12C1C0CA-65F6-4F2C-B7D5-D9BD0C17F4BC","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":"Q1073016$80A124F9-DAED-444D-AA8E-BC3E99E49714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1073016$76CE49C8-F7B7-4D95-83B0-7FFDD443AB77","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f80a0d92d8ce39db6daade72011307082c403b9","datavalue":{"value":"It is shown that the following single axiom Thue system \\(T=\\{aba\\leftrightarrow bab\\}\\) has no equivalent finite canonical (i.e. Noetherian and confluent) semi-Thue system. However, an equivalent finite canonical system for this Thue system can be obtained if new symbols are introduced in the representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073016$8681E5FD-4CE0-4631-8574-B095509227E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$E48F7172-D1A0-4DEA-AF71-8646EE638EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$A3A24E78-72C8-4DCE-A480-846750A01438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$E7B68753-E4C3-41F1-A19D-DB221C2A6E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6a4011df21144689657992d2d8c5ec78ef89a7c","datavalue":{"value":"3943794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$00E796FC-5E84-4D1F-9539-953C1B6C4E43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073016$0A4D6C08-C3D6-49AB-8C17-1C5F94B5D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073016$1A8B51CB-6D60-4B17-BF1E-087A1828BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1a04cc2cc8e2db9402900100b4a4c49a89098a","datavalue":{"value":"single axiom Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073016$3B33A9EA-93DC-47EF-914F-75BAA0A3A3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7fd71c45c3ec574821ea7dae35cee1e6ae176","datavalue":{"value":"semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073016$08528C8E-182C-427E-B96C-338142A70E20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1833d190eb6492ca84e0c93a6ff12de5694705d3","datavalue":{"value":{"entity-type":"item","numeric-id":1109753,"id":"Q1109753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$29013D2F-248B-489E-949C-1068D732FFEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$FBCAFDCE-22B2-4E2D-A6FC-9090CC9063EE","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":"Q1073016$893524BB-F727-4920-9893-2C510DCB5C06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"517491f23d5ddb79b87507437201be37e3715651","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90023-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073016$E7941A69-39C6-4D19-9D16-34DCB231B903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b25fee5d0b5c64a7511612f76de12707fe20d79","datavalue":{"value":"W2064672594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073016$E61898D2-8D9D-478D-87E9-DB8BCBBA5239","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$560C5942-288A-41B2-9E94-678196A1E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$10E0CF1F-F2AE-43A9-BD38-B05EDB4A5039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$02D00512-7337-43F1-ACA6-89674F85BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b114fae27b749e7809a785f6aa98a8388c7a10","datavalue":{"value":{"entity-type":"item","numeric-id":3346296,"id":"Q3346296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$E88ADC8B-1F35-44E1-8E0A-A77DBB139808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b3bb8bc482dbb10b109d249da2ba45bf8d494d","datavalue":{"value":{"entity-type":"item","numeric-id":3319767,"id":"Q3319767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$B369ABD2-BE65-4D8F-9DFC-5A717A77F571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$0CCB42DB-93FA-4406-A768-D3E2B531F769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50af106fb6097fa8e8c38cbeca738397e3ef2cb","datavalue":{"value":{"entity-type":"item","numeric-id":1071759,"id":"Q1071759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$8BCE8B82-682D-4FFF-8A57-D4543A6D22C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b7c00d3d50c3cdcc2a83c1b07ea5bd3540fb34","datavalue":{"value":{"entity-type":"item","numeric-id":760506,"id":"Q760506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073016$901CBA5D-1D3D-4B64-B25C-D91D8E19415E","rank":"normal"}],"P1643":[{"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":"fa3bb019b65d6c63c9efee46fc66e5a00e1c077b","datavalue":{"value":{"amount":"+0.8647518157958984","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":"Q1073016$4201D282-86F2-4C42-BC1E-0899E6E8C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402bda324220a28894e3cef7d0daebf497083724","datavalue":{"value":{"entity-type":"item","numeric-id":3816049,"id":"Q3816049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7473d38daecd722201479b4a238aaa17008bac82","datavalue":{"value":{"amount":"+0.8254092931747437","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":"Q1073016$5D078916-5A21-4A0B-BDCC-286AE20B84FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20121096fa5e58fe34bc3f2eea2271c24b21502f","datavalue":{"value":{"entity-type":"item","numeric-id":3210188,"id":"Q3210188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f83948317135699747a14ba4ef63b4aadb67aaa","datavalue":{"value":{"amount":"+0.8220914006233215","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":"Q1073016$18F783E7-3EC5-494D-96E9-B4A24BEAAEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f97075c9e566eb88e5373b97941bd0df42ec26","datavalue":{"value":{"entity-type":"item","numeric-id":1087012,"id":"Q1087012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f26ff55b5447d3fa918e0769377cdc74d49a5ae","datavalue":{"value":{"amount":"+0.8153672218322754","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":"Q1073016$E358BD8D-D42D-4270-A656-0FEBC8BCF918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4563dcbe81f5177777a458580e3f55c1218e79","datavalue":{"value":{"entity-type":"item","numeric-id":2247995,"id":"Q2247995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2513405625ffd5dc28d5297b2814b6a249b75e8","datavalue":{"value":{"amount":"+0.8124063611030579","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":"Q1073016$D9683918-B5D1-4093-AF54-D8C32D577214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite Thue system with decidable word problem and without equivalent finite canonical system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finite_Thue_system_with_decidable_word_problem_and_without_equivalent_finite_canonical_system"}}}}}