{"entities":{"Q1989814":{"pageid":2000556,"ns":120,"title":"Item:Q1989814","lastrevid":57672108,"modified":"2026-03-31T21:00:32Z","type":"item","id":"Q1989814","labels":{"en":{"language":"en","value":"Gilman's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6967219"}},"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":"Q1989814$61014279-361C-4E2A-BFA3-9F304C94D1F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6176ed7fca26b2316f306885c897f803718dfa50","datavalue":{"value":{"text":"Gilman's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1989814$2DCE8005-3285-4E70-9F44-E15CAF6E8CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774d4fa5adc8c9eaa610a34d02fb9449375f7e87","datavalue":{"value":"1418.20009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$604BD5D6-5559-4908-B7F8-AE7F769AECAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92b6778e311fd27f846c8cfcc9a5f1725ee77db","datavalue":{"value":{"entity-type":"item","numeric-id":305131,"id":"Q305131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$5CF80619-5330-49C9-B025-63309A044BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54e27517cec7a1b998e7d45f334c214508f94fc","datavalue":{"value":{"entity-type":"item","numeric-id":305132,"id":"Q305132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$E8681831-6A65-4BAF-BF1C-E267FB2C90FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$869C5168-4D61-4C0A-AB10-426E6112056E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0261b8ac88ee51589f469e73661e254ddc77a30","datavalue":{"value":{"time":"+2018-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1989814$BF6CAFB2-0977-47BF-8F7F-5D911727EABA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afb87ff90087abe61c2c71594b80d679b15a61b1","datavalue":{"value":"https://arxiv.org/abs/1806.06155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1989814$65E319F2-5516-4DC2-BF9C-368C1DCC2C04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22406c90dc83faac84ebc67866403ea518ea5ad6","datavalue":{"value":"\\textit{R. Gilman} [Lect. Notes Comput. Sci. 174, 207--212 (1984; Zbl 0549.68025)] conjectured that a group $G$ is presented by a finite, monadic, confluent rewriting system if and only if $G$ is the free product of a finitely generated free group with finitely many finite groups. In some special cases, Gilman's conjecture was proved by \\textit{J. Avenhaus} et al., [Trans. Am. Math. Soc. 297, 427--443 (1986; Zbl 0604.20034)] and the second author [Bull. Aust. Math. Soc. 91, No. 3, 426--434 (2015); Zbl 1335.20037]. Here, the authors prove the conjecture in its full generality (Theorem 5.3). They also give a new proof of \\textit{Y. Cochet}'s result [In: Algebraic theory of semigroups. Amsterdam, Oxford, New York: North-Holland Publishing Company. 51--60 (1979; Zbl 0408.20054)] that a group $G$ is presented by a finite, special, confluent rewriting system if and only if $G$ is the free product finitely many cyclic groups (Theorem 4.8).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$DEE4151D-BA96-4A10-87D2-7A643D1AF53E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$E98094C9-61E4-4A4F-9F9D-95574357267B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$62D987EB-540C-4612-BEF5-45C973A6F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$FEE5A3D4-8B2F-4620-9339-E1AF80D4330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$92E72F40-F268-47E7-B4BE-327A0C418394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eb1ec3001f943836b2ba714cd3e8f52dadf7e5f","datavalue":{"value":"6967219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$4C15E28C-8F0C-4690-9E36-597B454A8388","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$038D959F-7F40-4698-AE13-8AFB9756FC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$C351B092-7E56-47A0-A20C-B04C17A06B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$CC6FC021-0E01-4AE1-839C-206CCED2A74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c45ff3ada10d950fdac7031868f6888298c563","datavalue":{"value":"free products with amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$745F77B3-9858-4D1B-B906-90C97540EFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e10dff07ef425f31e552ad26964a062195d3cd65","datavalue":{"value":"Higman-Neumann-Neumann extensions, and generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989814$76E2BB02-CBB5-475D-93B8-3AFA90DAF087","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":"Q1989814$0E579CE2-997B-4C50-9DB9-34B03309D8FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6266f177f917e80ad0c305608690021805cd60f0","datavalue":{"value":"W2963838135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$22AC04DF-6E10-4239-A64B-67FC8F1F46FF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e32cc1ccddbcc1ee5b2e34d8604e7b01fe7141a","datavalue":{"value":"Q123107630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$31A376E1-746C-4D9E-98E8-A2B26245D602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fbfa11db16635222882ae6f6637a3429c42cd6","datavalue":{"value":{"entity-type":"item","numeric-id":580992,"id":"Q580992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$9926F4CF-CD5C-4717-A7FC-51C1FD6333C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccedec72b97c1c87d4cdb4774a77e985e61daac","datavalue":{"value":{"entity-type":"item","numeric-id":3748486,"id":"Q3748486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$395C09FD-2D6A-4E9A-A54D-5F32729BEB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d18f4a8bd58452a797b90b5f0ea9b7cbfc1e87","datavalue":{"value":{"entity-type":"item","numeric-id":3741791,"id":"Q3741791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$55944217-0207-4FDF-AB4E-2A5D30C0AC6A","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":"Q1989814$FD2DC673-C968-448E-9C66-9A6D755E36CC","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":"Q1989814$027406E5-2808-49DA-9E2E-1897D567B1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad22193bc158990ff39187fa10bd4c1753ebd0ba","datavalue":{"value":{"entity-type":"item","numeric-id":3775715,"id":"Q3775715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$28CF2D62-4F59-4111-9A3D-92D2596C0674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eaadb5fe90b853b5422ea4979121c326763206","datavalue":{"value":{"entity-type":"item","numeric-id":1062144,"id":"Q1062144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$D649BFCA-83CD-4877-AE8E-E26917C108CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a55e77f4938e64b0fc526e3e5c7773c309cec2b","datavalue":{"value":{"entity-type":"item","numeric-id":2474117,"id":"Q2474117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$1BEEFC8B-57B7-4F67-97EB-F569F7AA7BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3bbb0d599e322294d8eadf429d4a1ff7fcba9","datavalue":{"value":{"entity-type":"item","numeric-id":3341886,"id":"Q3341886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$D1E1FB64-4BAB-406B-AEAB-8D424D71A08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212b816e7139487613229e7c18f90e0856779a29","datavalue":{"value":{"entity-type":"item","numeric-id":4053811,"id":"Q4053811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$8431DBBC-923C-4A69-953C-AE30FABD83CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b498d0484e8f2b8230aec35f39fa594c4d33d10","datavalue":{"value":{"entity-type":"item","numeric-id":3775714,"id":"Q3775714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$A5ED3434-8EF4-4D39-961D-6C239A256797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b29e3133cd6cd88bf8ad1accf823efd7d2cec0","datavalue":{"value":{"entity-type":"item","numeric-id":3825236,"id":"Q3825236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$862BAD79-4EB2-45A2-AB7B-C28F0C9725AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$5A2C887E-4951-484B-A28E-9FEE2B70D903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e12bb7eee3516202e367c22dc4867eeb9e61b1","datavalue":{"value":{"entity-type":"item","numeric-id":5253345,"id":"Q5253345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$43C43419-317F-4FCE-BD20-4B958EA2A668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fefc5b62d329e537baa8d118a0f804406495c2","datavalue":{"value":{"entity-type":"item","numeric-id":4825397,"id":"Q4825397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989814$B28063A0-9ECC-49CB-A2D8-D2825F5EF089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3a76c76ab18bb72edd49225df99268f5313d6b","datavalue":{"value":"10.1016/J.JALGEBRA.2018.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989814$B0A94398-6CCE-44F0-B3F7-FE7336E4CBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6495bf86e6ec1540d947234581e48bfa16fedd","datavalue":{"value":{"entity-type":"item","numeric-id":5253345,"id":"Q5253345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bde2023e58949b42beb50cdc7087a5352b635ec","datavalue":{"value":{"amount":"+0.90823894739151","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":"Q1989814$EAE4F257-7661-4FC5-8C82-48358A195269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0996ab86d196839883d110be4b480772d6f2ae51","datavalue":{"value":{"entity-type":"item","numeric-id":2700950,"id":"Q2700950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94409095433f3e41387faa14b11a921ca3d14e5c","datavalue":{"value":{"amount":"+0.880316972732544","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":"Q1989814$4D98C83F-B548-454D-B704-D4C5DA148E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a54024eece882e8698302a45d0384419a23617","datavalue":{"value":{"entity-type":"item","numeric-id":3825236,"id":"Q3825236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e01ac061be51a5dbd3e6edeb9e9b1aef98b551","datavalue":{"value":{"amount":"+0.83417809009552","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":"Q1989814$3D399E0A-3F87-4902-8864-6B1F18C8C791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cbc96a52c45b86e41804dbe3445f2603a9bf13","datavalue":{"value":{"entity-type":"item","numeric-id":4825397,"id":"Q4825397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d003c6f0352da037791e5e3402b0c0cc8636b7c","datavalue":{"value":{"amount":"+0.7793089151382446","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":"Q1989814$70D95B7E-82CF-4EA0-8B76-CF23BE24B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d058b43d026bd925a455785695eaf5bbdf12361b","datavalue":{"value":{"entity-type":"item","numeric-id":4012139,"id":"Q4012139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac069d3aa69ecdd65613e2b87b33b0fc1c71c31","datavalue":{"value":{"amount":"+0.7732910513877869","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":"Q1989814$E3E023BA-2777-400E-88B9-3C026ACEE934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1989814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1989814"}}}}}