{"entities":{"Q2340368":{"pageid":2351111,"ns":120,"title":"Item:Q2340368","lastrevid":71891358,"modified":"2026-04-14T01:13:37Z","type":"item","id":"Q2340368","labels":{"en":{"language":"en","value":"Solution of the membership problem of the prefix monoid in certain one-relator groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6425946"}},"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":"Q2340368$106DBBB9-1F55-4D34-B614-3C4D695CE397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44f22696cc401806594b0d749d5987ac04bca18e","datavalue":{"value":{"text":"Solution of the membership problem of the prefix monoid in certain one-relator groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2340368$0DFF2F74-E62B-4291-A24F-D7A5E98DBD81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67a416228ed68111703e4d9e78bd80a48f07d1fa","datavalue":{"value":"1332.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$CD7FD6FF-5A43-4DA4-B91F-7BE492A30F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade44eb17681018042e1cacd0c86a8a555eff3cf","datavalue":{"value":{"entity-type":"item","numeric-id":670958,"id":"Q670958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$129FC981-CBDF-404E-987F-4293EEB4A340","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$14201DD5-C594-4ADF-93AC-CAF49E7DF15F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e35db66a344990b78fb6f9609c8b7c15ceb974b","datavalue":{"value":{"time":"+2015-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2340368$CF3DC6FB-D3EF-4031-987E-2BC35AB62F39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db1ebeaf01c9f47fd185bbdb3567b0c4d8f7049d","datavalue":{"value":"Let \\(R\\) be a cyclically reduced word over a finite set of (group) generators \\(X\\), \\(G=\\text{gp}\\langle X\\mid R\\rangle\\) a one-relator group, \\(\\mathcal P_R\\subseteq G\\) the prefix monoid, generated by proper prefixes of the word \\(R\\), \\(S=\\text{Inv}\\langle X\\mid R\\rangle\\) the one-relator inverse monoid with the same presentation. It is shown that if \\(R\\) satisfies certain conditions then the membership problem for \\(\\mathcal P_R\\) is solvable; from this follows, that the word problem for \\(S\\) is also solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$55D7E05A-53CF-488A-8750-F9ACC00D98E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$CDB7AC25-4F8F-4FBA-8A4E-4257757CF8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$8EE9352B-2D9C-4670-A52D-ADE791B4F437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$B6D77F24-E0E0-4126-9CFA-3434FD738F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$8E361BE6-238F-4056-B3E3-457FA8028544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$AC2F33AA-63DF-49B7-BCE1-CCE6C5FBD600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acb3066c62bc444a997b935dfeb3e0a1ffb0a2c2","datavalue":{"value":"6425946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$3C444A51-1715-4759-B1F0-EE901692BB53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a29ede2dd15dda7f82a559b34a29dc61459e4e9c","datavalue":{"value":"cyclically reduced words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$57C4F437-B071-42F1-89D6-25AB41AF46A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e34917e5645fdb390c8900757de14258a6aafd","datavalue":{"value":"one-relator groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$BD926050-B7E8-4244-B562-DA833B3683BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13fcc32b7b99183682b8db5d55c1564a2758dae","datavalue":{"value":"inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$4B18D5B2-DFE2-4FF7-AA8D-0CC50A61C547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765bc6a6827e31a16677dca30cb372800e688d7c","datavalue":{"value":"prefix monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$C1C8BA1C-D453-4839-97E2-0292EA482BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$4C35F136-278E-476F-A705-95C70493495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$CDC87714-800C-4952-8C7C-B6A1C8175213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4cf57734262d32b4b69f1b277333feac97dccb","datavalue":{"value":"small cancellation conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340368$9A1A7DB8-DF51-4111-B911-B7EF8035F59E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$E640A3FA-C467-4332-AE16-82D668B2DCB6","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":"Q2340368$746ED0AF-D227-4410-944E-07B688EFA40F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a284640778cbbc3f12f18ef1ae7dc9da0c58e3c3","datavalue":{"value":"https://doi.org/10.1007/s00233-014-9614-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2340368$408762CA-6703-4744-A4B2-99254792689A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a119be6189c60fd030c82eb5f4dbc76873eaf7b","datavalue":{"value":"W2045716962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$EF0DEC36-D927-4C90-AD41-AA2A0E11E7EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b60b6016e2874f3433a4a41cc31aafa6dd93fc","datavalue":{"value":{"entity-type":"item","numeric-id":5616207,"id":"Q5616207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$DF278FCB-5816-4DF2-99F7-B6F79A44D845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a259afe94ba4d142a9e0680d919fbd037787c931","datavalue":{"value":{"entity-type":"item","numeric-id":4266521,"id":"Q4266521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$68961EDC-ADC3-4EA7-8D71-3BD827AAC9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7317bcce9e4a351a7069a9a0843bfbb67271e56","datavalue":{"value":{"entity-type":"item","numeric-id":5962338,"id":"Q5962338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$E899C242-9BB9-4BD9-9AA3-B38970C7F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16fa2dbd189a4887314ba858ee214c109772701","datavalue":{"value":{"entity-type":"item","numeric-id":861269,"id":"Q861269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$DE0FD858-75F4-4550-8178-BD607FFDA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07e5f67d2446a9c6ca13492283fcf3fe080b70c","datavalue":{"value":{"entity-type":"item","numeric-id":5935974,"id":"Q5935974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$F68C48D8-C04D-44C1-8898-68450B0293EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5864435ff79563b701e0474df4011e1e8224dfad","datavalue":{"value":{"entity-type":"item","numeric-id":3791342,"id":"Q3791342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$E7004D3F-C16C-486A-B604-D7FE84F20EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$C8FC0279-2179-41A5-B41F-AE8304F58B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$97808F33-0225-4D6A-83A8-6844BBF52D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b7f057d1d01f6075cdac89adcf9b1055d418bf","datavalue":{"value":{"entity-type":"item","numeric-id":5692654,"id":"Q5692654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$94AE3DDC-D805-48A8-BF1D-B3A40A6326C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567efbc3e4574a9616842dd8ee531028be2b333b","datavalue":{"value":{"entity-type":"item","numeric-id":1053790,"id":"Q1053790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$74CF8D52-4FD5-4544-9684-F032AA3269B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6201e3bab580980c016f58bb6d970c32a46204c0","datavalue":{"value":{"entity-type":"item","numeric-id":4652175,"id":"Q4652175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340368$CF27AECB-0A6F-4BD5-B7B6-97198DB5559E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e814b9a5ac98af06587be08eee6c8378a2390fd","datavalue":{"value":"10.1007/S00233-014-9614-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340368$BBC67FAE-62A0-4EAD-8FF4-288EC0D9C5E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798d1a306a6caca649f2f4d2af1729a573915398","datavalue":{"value":{"entity-type":"item","numeric-id":3388502,"id":"Q3388502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636ae9ca79e3c81a5956945547ea5bf0807148cd","datavalue":{"value":{"amount":"+0.8826048374176025","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":"Q2340368$5ABD6532-A9B8-4528-B1A9-FDF9A415AE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a41239e5090d4da2bc8f1ee18599b5dd26c70d","datavalue":{"value":{"entity-type":"item","numeric-id":5935974,"id":"Q5935974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2feb39a9cb3a33ae41b76afd8dd46c5bb263dd7a","datavalue":{"value":{"amount":"+0.8776662349700928","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":"Q2340368$3BE7AA04-FFEB-431A-AE3E-D649ADA491AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f17225fa69e4eab0ffbe5478021bb0ef99daddb","datavalue":{"value":{"entity-type":"item","numeric-id":1897209,"id":"Q1897209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0a3c4478e0d49b946f5f3696e8ffb004d7d9bb","datavalue":{"value":{"amount":"+0.87364262342453","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":"Q2340368$BA29E674-C9CA-4F1C-AD6D-BA3184CA3D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb43d1bd13fbab23a42c9d00a64b9c2f19792ea","datavalue":{"value":{"entity-type":"item","numeric-id":3525451,"id":"Q3525451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413f48b527b15a3c3c0f76e22f1c78d5df3e3d17","datavalue":{"value":{"amount":"+0.8162790536880493","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":"Q2340368$6F2FD856-940D-441F-B957-2C80C851188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1643896f71bcdb3427f8cbdd85a9f0e81a7145d6","datavalue":{"value":{"entity-type":"item","numeric-id":2290969,"id":"Q2290969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b3bfeef9480b7011179fd5594a15d71298b597","datavalue":{"value":{"amount":"+0.8014661073684692","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":"Q2340368$73E35FF1-7BBE-4C8F-A041-A23B3C09D236","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solution of the membership problem of the prefix monoid in certain one-relator groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solution_of_the_membership_problem_of_the_prefix_monoid_in_certain_one-relator_groups."}}}}}