{"entities":{"Q1579154":{"pageid":1589894,"ns":120,"title":"Item:Q1579154","lastrevid":73970652,"modified":"2026-04-14T17:54:20Z","type":"item","id":"Q1579154","labels":{"en":{"language":"en","value":"Finite homotopy bases of one-relator monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1502164"}},"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":"Q1579154$A49F4BFB-5B11-413A-B75B-765B873E1428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eff2ca4c79f780e619dec0f6977c10f2930d7e2b","datavalue":{"value":{"text":"Finite homotopy bases of one-relator monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1579154$CC1AE526-E1F5-4D46-81D5-EFA8521BAD8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6230109dd28cdc03587dbb921a5a5381658c1cb","datavalue":{"value":"0961.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$3FBE60C2-FB75-421A-BCC0-C87D2F2E1059","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":"Q1579154$4B7AEF0A-51C4-43E9-B6A2-8D7A9E5EEDF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1579154$E4A364E2-907B-4DF3-A6A3-123A9EFC0721","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ad74ad011006ac03a74b14d55c362a8f67ac0bd","datavalue":{"value":"The author continues his studies of homotopy bases of monoids [J. Pure Appl. Algebra 130, No. 2, 159-195 (1998; Zbl 0932.20053)]. A monoid \\(M\\) which has a presentation of type \\((\\Sigma,e)\\), \\(e\\in\\Sigma^*\\times\\Sigma^*\\), is said to be a one-relator monoid. A parallel relation \\(\\parallel\\) on the derivation graph of \\(M\\) is defined in a natural way consisting of all pairs \\((p,q)\\) with the same source and the same target. Any equivalence relation contained in \\(\\parallel\\) and satisfying certain conditions is called a homotopy relation and any generating subset of \\(\\parallel\\) is called a homotopy base. The main theorem states that every one-relator monoid has a finite homotopy base.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$2C2C59EC-F4A9-4C55-8D43-53FFEE893808","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$878B0C46-6BC0-4690-BF46-D9E3549D62D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$2F4C4DCB-A4D1-4D0C-85EF-2F93244DE8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$86B1CD9B-53EF-48AE-BBFC-59326CBDBA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c43a3023df7ca1673f610da59eca083ba2ff49d","datavalue":{"value":"55Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$E23915C4-80FA-424F-BBC4-020D5453CB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$895B9682-A897-4ED7-B99F-90235FA87FA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4efbe460de11c23839e56a5043c44bf50825a7a","datavalue":{"value":"1502164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$46C1857A-3935-4A1B-A9E4-5E69D1FE3F94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1643cbb65ba56b658e32bab5c8a29dbb97c45ad","datavalue":{"value":"one-relator monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$C0A5C266-306E-46E7-AC0B-CCB873BB23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$9340D6C7-39F7-4C22-BD5A-775D3F0FF5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b61c64620dd659b21d4a969bd958e81773459b","datavalue":{"value":"finite homotopy bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$14F42BBB-2162-41B5-9F2D-0980559A3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$C08E2AC0-0682-46F1-BB52-683F1C68D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b193dc8b94344fbe61f12301d8e5910bb26e36","datavalue":{"value":"derivation graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$5B0B3718-42CF-4DA1-8E3D-3AD30366EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7caa6ef9b8cc7468d920ed6bdc69283bf15f101","datavalue":{"value":"equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579154$F9D46E0F-06E0-45A6-94D6-1F5A28163FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0189ea284dbeb4d1811a67b9a764a86b15f50c48","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$407F59CA-97D4-4F9A-B4EC-298BDBA376AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$BA46FCED-567E-452C-BB34-A98756480A12","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":"Q1579154$66F8FA98-B8FB-4F94-B846-16F0C7BE28B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9bd2251775befe64b7bdb45e734343a3cd7a1fb","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8251","type":"string"},"datatype":"url"},"type":"statement","id":"Q1579154$A6EC141B-FA27-48E5-BBA4-2DDDE9CD453D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a23fc4fe1dde713b565e549699dcce44cce209d2","datavalue":{"value":"W2002862353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$C3688722-78F3-4291-9F45-1F941F05CAC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdf147337c6e57e84083a9c2ab78522701abf74","datavalue":{"value":{"entity-type":"item","numeric-id":5602108,"id":"Q5602108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$A8A0DD46-D198-4D5A-95D7-1273290D3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6efd9c44b1bc4428f572e7829358fdf3a2afbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1248048,"id":"Q1248048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$471613EB-3B0B-40C4-AA68-291F71FE4E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29145c26d0da07bcf38f30a9566dd2dc0d878fc","datavalue":{"value":{"entity-type":"item","numeric-id":4170913,"id":"Q4170913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$EBD7059F-B596-4BFD-A578-690EB681B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8511cfb3ceb7f8b59cbd0770baaba6c6cb1a99be","datavalue":{"value":{"entity-type":"item","numeric-id":4726465,"id":"Q4726465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$E3413D40-166D-472C-9CF9-E623870E2535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$F97DC3B4-3A82-4109-88E9-79F71C9D4B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$ED87EE64-0B0D-4861-BD71-A4C8601566C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb1f77777280fd5ebb4d7465452dc782db65104","datavalue":{"value":{"entity-type":"item","numeric-id":1338340,"id":"Q1338340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$97D336B1-0A15-4673-8802-E91C804ABF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443a8669970642d185aa3a977d69b94ea53c714e","datavalue":{"value":{"entity-type":"item","numeric-id":674765,"id":"Q674765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$9DF81BF1-483E-41AC-9579-C7B71EC25271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a1f2839a7701e81d176438ba7fa5486537c21e","datavalue":{"value":{"entity-type":"item","numeric-id":4377871,"id":"Q4377871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$AEA8330D-480D-4999-BDE7-79ABA990FC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565670df4bf265061590639298defa3538f7a3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4351453,"id":"Q4351453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$EA9E54EA-16A6-43C7-843B-38E7E48A798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88eaa321dbf6e0bc6cb3537a7bf6c54848da5eb","datavalue":{"value":{"entity-type":"item","numeric-id":923133,"id":"Q923133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$1CF7E856-BC26-4EC2-B24B-8E6AB2DA9DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889e44552e1decc13d9cfaa337dfdba22c142783","datavalue":{"value":{"entity-type":"item","numeric-id":1295568,"id":"Q1295568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$5621625B-A8C8-4F74-9474-862FB718AC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87d4847e239fc879c4adecd2506203b3381997a","datavalue":{"value":{"entity-type":"item","numeric-id":4942272,"id":"Q4942272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$A087F43E-DEE2-4A5B-B2BC-7EA40539BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f49ea2ab65d4ffd943be4c3dba3bd65ea9d95c","datavalue":{"value":{"entity-type":"item","numeric-id":1892306,"id":"Q1892306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$40D53493-35D3-446A-ACA4-3AE03F54E188","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":"Q1579154$8B740DA4-CDB3-4FE9-A006-229E10EF1077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81efd23e0b000a3ca5987e07185eac45730637ae","datavalue":{"value":{"entity-type":"item","numeric-id":2648725,"id":"Q2648725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$51FBFDF7-3582-43E4-A202-6CC87D80C02B","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":"Q1579154$784C12CC-B875-41A7-A957-49B941915F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d27ee8114483b860dbd0ba4b77b85c42fed53ce","datavalue":{"value":{"entity-type":"item","numeric-id":4863965,"id":"Q4863965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$B6F71B9B-1067-434A-9AD6-80938B028344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd36583ca2d45c283ee46d56e7630d5fce3a5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4242595,"id":"Q4242595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$3163F1B5-E539-433C-96A3-B51C6BD242A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$CE9C5FDE-DB7C-4155-812F-F64CADDBD085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c260958271d6aee451dc905aef247eb6564cbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$0192BEC2-324D-4F00-B9D2-285FCF29A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7732f938f779583e0e4fa5d1ff93980c319c671","datavalue":{"value":{"entity-type":"item","numeric-id":4022075,"id":"Q4022075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579154$EF1F8479-6753-44BC-B61B-38E6AEAF67FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7363b0c86c93716b659d68cc106354ca5c6bdec","datavalue":{"value":"10.1006/JABR.1999.8251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579154$C2060AE1-EE5C-4AC4-BD86-1D8ADFFEFE9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640206be65611573018be8a3b726051a681f87c2","datavalue":{"value":{"entity-type":"item","numeric-id":1295568,"id":"Q1295568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898be143378f19ed08fb4e2b830be3020dbb3a9c","datavalue":{"value":{"amount":"+0.8167397975921631","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":"Q1579154$9846193D-D85F-4E15-A031-24E2D67F1050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0fa3f60210748a9137cecac43a63d945d4a6ae","datavalue":{"value":{"entity-type":"item","numeric-id":1930158,"id":"Q1930158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aba669a0f111a4ee3dab843d63e61aa1c4444cd","datavalue":{"value":{"amount":"+0.813947319984436","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":"Q1579154$53409A3E-1217-4A1A-BF4B-AA5BCC0CF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b100a6756695cc9a97b4d288652a2057dde528a","datavalue":{"value":{"entity-type":"item","numeric-id":403106,"id":"Q403106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f39ea413e878df5358c2a62f7b9eecff2db9e2a","datavalue":{"value":{"amount":"+0.7828353643417358","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":"Q1579154$4BA93AB5-DCF3-43C5-A0C6-F5177D073D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9f01cffc53086b5045b4757b6b0aad3e92167","datavalue":{"value":{"entity-type":"item","numeric-id":2135760,"id":"Q2135760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7ce42fed5ccfa1fdfda0d932c515b9963fa862","datavalue":{"value":{"amount":"+0.7787294387817383","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":"Q1579154$64815C11-6F20-497C-A3CD-F380C5BAF5E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite homotopy bases of one-relator monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_homotopy_bases_of_one-relator_monoids"}}}}}