{"entities":{"Q1821207":{"pageid":1831949,"ns":120,"title":"Item:Q1821207","lastrevid":69225945,"modified":"2026-04-13T05:36:21Z","type":"item","id":"Q1821207","labels":{"en":{"language":"en","value":"Units of special Church-Rosser monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3998094"}},"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":"Q1821207$348372A2-8CD2-4DE1-A6E5-F5A101BC6295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a90eaf3c71b261c7089db09de560453f2b9f1a6f","datavalue":{"value":{"text":"Units of special Church-Rosser monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821207$54D5D66E-8FAF-4C30-BA9D-A9663BCB1B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1a2a115efa9677ad4f0a3f2e7d95399215917b1","datavalue":{"value":"0616.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$9A53AB48-73CB-4963-A0F7-EAF3DEC66512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52a446403cf748a8f54538e9da42faf58a5396f4","datavalue":{"value":"10.1016/0304-3975(87)90098-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$7BEAD6DF-2472-459B-9E8E-5BB38611D169","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eef7a2e8c947fef08f5027d8321371ac66ec9c4e","datavalue":{"value":{"entity-type":"item","numeric-id":913789,"id":"Q913789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821207$7CCF9EC4-DC2B-4872-9BDD-D3AAAC59053C","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":"Q1821207$AF9421E3-20FF-492E-AA8D-B6CE52B33031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1821207$3A9110B8-14E9-4955-89D4-D353F304D3E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebe1ac5a260afe162a46e82c4de1645e87a418e1","datavalue":{"value":"Let \\(\\Sigma\\) be an alphabet, \\(\\Sigma^*\\) the free monoid on \\(\\Sigma\\) and \\(R\\subseteq \\Sigma\\). Let \\(\\sim\\) denote the equivalence on \\(\\Sigma^*\\) generated by a relation \\(\\to\\) on \\(\\Sigma^*\\) whereby \\(w_ 1\\to w_ 2\\) iff there exists \\(u,v\\in \\Sigma^*\\) and \\(r\\in R\\) such that \\(w_ 1=urv\\) and \\(w_ 2=uv\\). Then \\(\\sim\\) is a congruence on \\(\\Sigma^*\\), \\(\\Sigma^*/\\sim\\) is denoted by M(\\(\\Sigma\\),R) and (\\(\\Sigma\\),R) is called a special presentation of M(\\(\\Sigma\\),R) which is called finite if both \\(\\Sigma\\) and R are finite.    A special presentation (\\(\\Sigma\\),R) is said to have the Church-Rosser property provided for all \\(x,y\\in \\Sigma^*\\), whenever \\(x\\sim y\\) then there exists \\(z\\in \\Sigma^*\\) such that \\(x\\to^*z\\) and \\(y\\to^*z\\) where \\(\\to^*\\) is the reflexive, transitive closure of \\(\\to\\). A monoid M which has a special presentation with the Church-Rosser property is called a special Church-Rosser monoid. This property is inherited by the submonoid of \\(U_{\\rho}(M)\\) of right-invertible elements and U(M), the group of units of M. In this case U(M) is a free product of cyclic groups while \\(U_{\\rho}(M)\\) is the free product of U(M) with a free monoid. In addition, finiteness of presentation and generating sets of the monoids involved is also preserved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$B1052012-9C13-4134-9A74-AAA4516EAD42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$D2A283B4-663F-4727-BDEA-88A549699AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$83F0AE5B-A053-4DFA-89BC-04B79E484279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$9BE8CC3A-76CC-4377-8DB0-9F080DFCFCA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d95612aa3039c28c2ac13f1509be5e4350a03b2b","datavalue":{"value":"3998094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$DAFDABBF-FB21-4738-8B0F-8946571CD795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$CEF4FAF1-3E48-4D5B-B2A0-BBCEB4EA1A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$79DC359B-A0DF-4DC5-97AB-8C5E6FEC4071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$4A8EC79E-637D-405E-9141-7BEA05E86AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e101ac2e92845612de43a88be016828cce6d1d0d","datavalue":{"value":"special presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$0AA8972B-3101-451B-BF8A-C16DA0D2A0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$FD6DA1E1-CD1E-475A-8F3C-2AD8CBF68A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802fb9b1da40476099abf0fe13b47b56438efce","datavalue":{"value":"special Church-Rosser monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$CFAA582C-20D5-476B-ACAC-0337FEE54417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834d1959dfc32888cbaed7eec88105a04049bc45","datavalue":{"value":"right-invertible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$2C1D5F66-276B-498D-BB9D-5C5C3D1A6409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6baa1ae5e80ba384aa62d1bed566e6113138cdf2","datavalue":{"value":"group of units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$DD14DE8A-8E3D-4CB8-973F-21FC15AF7DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c4d29d180b30e774c0209a3105868b30b919d1d","datavalue":{"value":"free product of cyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$EA7602F6-C9C4-4626-A59E-6BFDE6DA193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e436fcf76a8f9df9c7a068062559359a4fa386","datavalue":{"value":"generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821207$0512CCCD-00B8-47E5-8A23-8B4502F4C0CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821207$1A957350-6B3E-4C7D-9214-EFA10CE34B79","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":"Q1821207$D03243A3-A130-47F4-8B17-9024E79A038F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"992e02cc00f16da0937561edca612eb7783d9ce3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90098-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821207$134BF2F2-0136-472C-A562-2BD60395BAAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8d6e9685e6eeb8e928e5c9fe08da924c9999719","datavalue":{"value":"W2027815727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821207$F546A780-4EEE-4AF5-A9F0-46ED169167A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5beb4ffbe4d8447ef8b9d68fdfb1a8b24a65e","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821207$2A758E89-33A4-4CEF-A8DD-47B7E83448E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331367f61f62dfbf3d5531c3feeaa5805c78d071","datavalue":{"value":{"entity-type":"item","numeric-id":4195154,"id":"Q4195154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821207$B2A831B0-6E87-4E7F-9A16-FB6731B1C978","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":"Q1821207$3C1E9D5C-C6B3-49D9-A6AA-2DE7D3BAC153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6a8d9665b1efd748cc9d97da1be79d51f6cc7b","datavalue":{"value":{"entity-type":"item","numeric-id":5288344,"id":"Q5288344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdc082320e1faf84c6ddaa2182366fb9ecec2df","datavalue":{"value":{"amount":"+0.8000465035438538","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":"Q1821207$C0C36A00-4FAA-404D-B797-3FF5CD4E6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dfb4b4af1d70a6447cf1168770e98f08be85a2","datavalue":{"value":{"entity-type":"item","numeric-id":1178900,"id":"Q1178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdc082320e1faf84c6ddaa2182366fb9ecec2df","datavalue":{"value":{"amount":"+0.8000465035438538","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":"Q1821207$F58AAF74-B198-4571-8BCA-44437576E980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2517caf0f008e6eb77f6e09e90ab8e7db5e5af4b","datavalue":{"value":{"entity-type":"item","numeric-id":3775715,"id":"Q3775715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3e66db1ea7d801e071a38205f7b0729f1e7a98","datavalue":{"value":{"amount":"+0.7870455384254456","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":"Q1821207$D3EE7DD2-E923-479C-9F5E-191BE2B172B4","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":"ed65a0ff24616f1ac026bcba99539ea11d3da53e","datavalue":{"value":{"amount":"+0.782572865486145","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":"Q1821207$31A8134E-3FF5-4FE9-9500-B945BB34AC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1893bb284e47b5d95cb1550c7d4ac622198f843e","datavalue":{"value":{"entity-type":"item","numeric-id":3734715,"id":"Q3734715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c824f6043babe992717b24ed07ee61289d59cd3d","datavalue":{"value":{"amount":"+0.7746766209602356","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":"Q1821207$B61CC42A-F780-4610-A454-B237991E5BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Units of special Church-Rosser monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Units_of_special_Church-Rosser_monoids"}}}}}