{"entities":{"Q798317":{"pageid":800165,"ns":120,"title":"Item:Q798317","lastrevid":48734761,"modified":"2026-01-05T18:02:24Z","type":"item","id":"Q798317","labels":{"en":{"language":"en","value":"Homogeneous Thue systems and the Church-Rosser property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869311"}},"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":"Q798317$258C1A44-F772-420C-A112-4B23C34F4555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1441567143c51629a659243509320a1df12ae8ca","datavalue":{"value":{"text":"Homogeneous Thue systems and the Church-Rosser property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798317$0AC920BF-CB2A-47B0-8820-E34498C62550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a04bbd991d08ac761ca6d6525002634649686a3","datavalue":{"value":"0546.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$AC938B93-9F25-4613-9A22-B05B3B2A285B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86f795d8bd36969655bdc21a4ce42852737b8094","datavalue":{"value":"10.1016/0012-365X(84)90177-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$5EA63ACB-DD11-42E3-89E6-2C62E136057E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab539a58a8a767731665253837c1bc29c4d22a7e","datavalue":{"value":{"entity-type":"item","numeric-id":593774,"id":"Q593774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$05B3DBC6-A8E2-45DD-B0D7-3FEFD707992C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$C7A095A1-5A82-4B71-844F-8C3483EAE71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q798317$3D08D791-0E9C-4162-B44F-CFB8A710AD97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10f2019545e1cc0df7c578c0a195867ded8a1d7c","datavalue":{"value":"A Thue system T is a subset of \\(\\Sigma^*\\times\\Sigma^*\\) (\\(\\Sigma\\) being a finite set and \\(\\Sigma^*\\) the free monoid with identity 1 generated by \\(\\Sigma)\\). A Thue system T is special if \\(T\\subseteq\\Sigma^*\\times\\{1\\},\\) is homogeneous if there is k such that \\((w,1)\\in T\\) implies that the length of w is k. It is proved that a finite homogeneous Thue system is either Church-Rosser or there is no Church-Rosser Thue system equivalent to T. Further, groups of units in monoids generated by Thue systems \\(T=\\{(w,1)\\}\\) are treated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798317$4C553B83-20F8-4EC0-9C09-469BF88EAA2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$DE49BE2F-8152-4700-99C6-99174E7F6C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$C5DA0ABF-8B22-4DB9-B262-0FEAD2B4952B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$43308ED7-6DEE-48B7-A463-B45FD55E8C7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449e0c073c22c741045a59526014d3db5cc9b498","datavalue":{"value":"3869311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798317$2B3BDF1A-30DD-440B-AE81-27BCCBDFC088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q798317$595B119B-A9C8-422C-86A0-971829D0B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323322ef08cfdb6afc1ff1f3f35ebf0e14589b9a","datavalue":{"value":"monoid presented by a Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q798317$048C93F8-C2B6-450B-8625-EB181BA12AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79adff12e9c234482b111a48dfb40d73b53628c","datavalue":{"value":"finite homogeneous Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q798317$56ED8111-033E-49EE-A636-2D39B9DD019B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$136A87DB-935D-483A-9F45-D0BA1A743E24","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":"Q798317$6E3E6A4E-6C10-407A-88C1-B53010E1636F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c798994fef48b0a4042e37f1691d7df44e5be3","datavalue":{"value":{"entity-type":"item","numeric-id":5680296,"id":"Q5680296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$D1647AE1-F1ED-4788-BA31-9534AFD3BB8A","rank":"normal"},{"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":"Q798317$75E4FE92-C72D-45FE-988D-A8716AD468EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308904c25699725e27878eb09aa21880049698e","datavalue":{"value":{"entity-type":"item","numeric-id":4740555,"id":"Q4740555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$F31057CB-A5EB-41A4-9274-B0D5FBD3BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$33CBF1BE-C9F8-415F-8AC7-E7C39CC4F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87cd38c4d79812b7385a2ac65997595747c1b54","datavalue":{"value":{"entity-type":"item","numeric-id":1162607,"id":"Q1162607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$895D02A6-A426-4F03-898B-7C4FB5118AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c82198b1893ce6810aa36878d8fbe3a1c43271","datavalue":{"value":{"entity-type":"item","numeric-id":1218040,"id":"Q1218040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$3006F357-1B47-4AC0-93E1-0D9D0A18C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$CFEBF45D-4260-42E7-81C5-4EDD88C4053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$177341BB-25A7-4D6B-9501-B732298BCB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d48410a7583156d1131964150b5eab11998283a","datavalue":{"value":{"entity-type":"item","numeric-id":4105657,"id":"Q4105657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$FA7D4166-8634-4B50-BA4B-BFF0CAF169E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e146e1a73572c015ee99d18dfefc4f34fddc2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1839248,"id":"Q1839248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$1BC832B0-8414-4C5E-9C90-C06DD0C2805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3903ed6b3b73f38caeb2f53f2e93e11217ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":1839249,"id":"Q1839249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798317$9A212E46-E098-41A7-A9B0-07FF3914D2F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543faedc79909ccf97fc246218bfa871371de0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228f2a33f3402eb914d8d808f031cdcfee854704","datavalue":{"value":{"amount":"+0.8609550595283508","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":"Q798317$23D3F94A-35D5-498A-8557-34870DF2DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02fbca4bccb20200d05fefd3fb4db34e08fdf45","datavalue":{"value":{"entity-type":"item","numeric-id":1071759,"id":"Q1071759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b5df60fbb883339a1571179c7833c1621a2cd5","datavalue":{"value":{"amount":"+0.8540397882461548","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":"Q798317$F50241CC-1F50-46A4-9288-9C398EE3EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5a70f64e8562a2efa7f2f1335489655dd66080","datavalue":{"value":{"entity-type":"item","numeric-id":3741791,"id":"Q3741791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2205b851d4e8166ede26a49c204bfc25235de962","datavalue":{"value":{"amount":"+0.8511831164360046","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":"Q798317$3FA84F41-0B35-482D-AADE-A7D91E5F3CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1454efb480b150a0afee282e59f9f878946610","datavalue":{"value":{"entity-type":"item","numeric-id":3778003,"id":"Q3778003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2749397d98673f6954872c42c3a704925e46e1","datavalue":{"value":{"amount":"+0.8503543734550476","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":"Q798317$92576059-4FDE-467C-B453-B422C867394F","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":"6c28bc4855e01ab5c6ebf6281633090bfa98656f","datavalue":{"value":{"amount":"+0.8457627892494202","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":"Q798317$8E458A24-8DA2-47F3-81A6-34FC3634FD2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798317"}}}}}