{"entities":{"Q1295568":{"pageid":1306318,"ns":120,"title":"Item:Q1295568","lastrevid":68392971,"modified":"2026-04-12T23:24:40Z","type":"item","id":"Q1295568","labels":{"en":{"language":"en","value":"Homotopy reduction systems for monoid presentations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308208"}},"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":"Q1295568$9F9C1ECB-0EE3-42DA-BE0B-4998D58AD1FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf1bcbe0a3c623116fba3ede19128e3848ac425b","datavalue":{"value":{"text":"Homotopy reduction systems for monoid presentations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295568$CA6F2ACE-11AD-4480-A534-DF297D567572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78cbe66f87f960455939996d30fa2a5c69cf9e6","datavalue":{"value":"0932.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$8C0B43DD-6058-4887-9E8F-CD0B2A4A1C92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"601d200cfeb39243f4a9197ed438ec6b670c237a","datavalue":{"value":"10.1016/S0022-4049(97)00095-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$125D6D20-CF41-4DBE-BE3F-E045677C3546","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":"Q1295568$DA634EF7-41F7-4514-A929-3B8F67E1CFEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$1A9AB447-B12F-4E50-8FD0-DFDF3975A737","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51039c976debe490efbb58219dc624ba4b5e99a3","datavalue":{"value":{"time":"+2000-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295568$6719BD80-6549-46BC-85AF-0B102C6625D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3318aefff997f93b3ec550786b5895ed124fbab8","datavalue":{"value":"Let \\(\\Sigma\\) be a finite set and \\(E\\) a set of equations on the free monoid \\(\\Sigma^*\\). Let \\(M=\\Sigma^*/_{=_E}\\) where \\(=_E\\) is the congruence on \\(\\Sigma^*\\) generated by \\(E\\). A graph \\(\\Gamma=\\Gamma(\\Sigma,E)\\) is defined as follows: the set of vertices is \\(\\Sigma^*\\) and for \\(e=(u,v)\\in E\\), \\(x,y\\in\\Sigma^*\\), \\((x;u,v;y)\\) is an edge from \\(xuy\\) to \\(xvy\\). The set of all paths in \\(\\Gamma\\) is denoted by \\(P(\\Gamma)\\); two paths \\(p\\) and \\(q\\) with the same source and the same target are called parallel and written as \\(p\\parallel q\\). Any equivalence relation on \\(P(\\Gamma)\\) contained in \\(\\parallel\\) and satisfying certain conditions is called a homotopy relation. For a subset \\(B\\) of \\(\\parallel\\) -- called homotopy reduction system -- and for any two paths \\(p,q\\) write \\(p\\sim_Bq\\), if \\(q\\) can be obtained from \\(p\\) by replacing a subpath \\(r\\) by \\(s\\) for some \\((r,s)\\in B\\). The smallest homotopy relation containing \\(B\\) is denoted by \\(\\sim_B\\). The reflexive and transitive closure and reflexive, symmetric and transitive closure of \\(\\sim_B\\) is denoted by \\(\\sim^*_B\\) and \\(\\lesssim^*_B\\), respectively. \\(B\\) is Noetherian, if there is no infinite sequence of reductions \\(p_1\\lesssim_Bp_2\\lesssim_B\\cdots\\lesssim_Bp_i\\lesssim_B\\cdots\\); \\(B\\) is confluent, if for any paths \\(p,q\\) and \\(r\\) such that \\(p\\lesssim_B^*q\\) and \\(p\\lesssim_B^*r\\), there is a path \\(s\\) such that \\(q\\lesssim_B^*s\\), \\(r\\lesssim_B^*s\\). A system \\(B\\) is called complete, if it is Noetherian and confluent and \\(\\lesssim^*_B=\\sim_B\\).   The article developes homotopy theory for monoids. It is proved, for example, that if a finite monoid presentation \\((\\Sigma,E)\\) has a complete homotopy reduction system that is essentially finite, then the monoid \\(M(\\Sigma,E)\\) satisfies the homological finiteness property \\(FP_4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$6CF42F93-148A-48C1-9683-F7A6D011F02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$ABD3738E-6B27-4359-83B8-2D48FB0B71CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$64E581E7-5189-4BCF-BD6F-2E8F24730962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$CF6FA45D-F063-4E13-823C-5C423DE4F511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c43a3023df7ca1673f610da59eca083ba2ff49d","datavalue":{"value":"55Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$32144A58-7534-411A-9CE3-3D7C71605153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$4FB27251-C9ED-4567-87B4-7669495A2254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"189aadd231810a959c1562361ec1110cb93edff8","datavalue":{"value":"1308208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$194529A7-B146-4392-820B-3A0F7B4989E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7121d53cbfd197961e641a9ea096c7dd96cf09bf","datavalue":{"value":"monoid presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$139E5EA5-D953-4A72-BFA0-D34B76061C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35cfed643b72d430d1f15a19728a96610e01d033","datavalue":{"value":"homotopy theory for monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$B0918B78-14C5-4343-9EDE-A3CB7C6FBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$980E45C9-7D6E-4F9D-BA72-E0C9DEC876A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59188f66f8e8cc03b30afabf5fb130ef4d0034b","datavalue":{"value":"homotopy reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$616734A9-AE5A-419D-92F6-920C78D1C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1db4963c392d3bca2d9d8bba6bd93319077b0c","datavalue":{"value":"homological finiteness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295568$2F48D105-817F-425C-B118-8CDC7A9C6281","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":"Q1295568$48FD3291-173B-4295-A70A-A3DEBEEAB067","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":"Q1295568$1A595B50-4D1D-4A69-A864-7BEC0C359AC3","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":"Q1295568$EB1607ED-4480-4231-AA06-575EA906A728","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":"Q1295568$14556018-5632-4C96-9C44-0AC744D2ACB3","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":"Q1295568$7B69E870-508A-44E6-9854-791B256C613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cef53c7037b1a86f6623b7127f9ba782e8f7644","datavalue":{"value":{"entity-type":"item","numeric-id":685405,"id":"Q685405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$BA73260C-E142-40A4-86E3-7B24C597EDFD","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":"Q1295568$7EA3CA19-9DBC-44DA-B8FE-7AF4E7106B9B","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":"Q1295568$D1D14BAC-7966-4821-A878-9E6D2E1EDD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa47a94ac394021b58afec91f4ee4a3623d1066","datavalue":{"value":{"entity-type":"item","numeric-id":5632789,"id":"Q5632789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$4B24C1EF-918D-4569-B4F6-28071B8D207B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b342dee3e7715a2697c7ed14cb78bf9297e8769","datavalue":{"value":{"entity-type":"item","numeric-id":3708984,"id":"Q3708984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$5CBB03FA-E50D-45DD-B458-E309E4D8E28A","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":"Q1295568$EFF245AE-B623-4130-AEE2-A06810611A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acdd5709e2d4e255787516046c25cdc193f6c44","datavalue":{"value":{"entity-type":"item","numeric-id":3349084,"id":"Q3349084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$ADD97397-27B2-4E40-9AD5-3A69C5E24297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$1BFC80F4-14B2-409D-B0B5-E41A192EEE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bced75f8d548e02ac5b904c35af2403cbbc462","datavalue":{"value":{"entity-type":"item","numeric-id":1357103,"id":"Q1357103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$9D3C7A61-FC70-4A9D-8C71-700B73810380","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":"Q1295568$6055F015-3CFC-4E40-A7DB-3DEBFC07DC0F","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":"Q1295568$69ED8B52-5046-427C-807D-E9E64C59CBDE","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":"Q1295568$4AC5C4B8-B01B-436A-BE97-E91C274A1373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2691dc48911d70ca1e887f2e5f762ff2a385403","datavalue":{"value":{"entity-type":"item","numeric-id":4742992,"id":"Q4742992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$82B2C3EC-06B7-43D8-AFAE-9E8C6988002A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e259b2ce345e50749a2f89105cd998c00bf7a83","datavalue":{"value":{"entity-type":"item","numeric-id":2648844,"id":"Q2648844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$7B4CE80B-E4C7-43EE-8709-5F9D813E9A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd8ff157acdc45b1ad590bd13213b824369c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3123637,"id":"Q3123637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$265A0069-096E-4DD4-AFA1-0CD3086C09C5","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":"Q1295568$101E1697-721B-4BB8-90B1-7003D3354D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7795687d972198fa91df67bdb280b7afe9a4fce9","datavalue":{"value":{"entity-type":"item","numeric-id":1141761,"id":"Q1141761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295568$47C75DC0-D1DD-4B18-AA79-72151D5F3732","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":"Q1295568$B97D20A7-E3DB-45A2-B513-77C2B342483F","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":"Q1295568$F36371EC-AE28-4321-B315-B3B33B28C65F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"780f8cfa4098f56e5ee122a63622044136d271ba","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00095-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295568$D2BEEC8A-8738-4EA7-8FAA-AEAAD9B0DA6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a7ccc0d60155d6911cafba9a9cc76a1e9132d7e","datavalue":{"value":"W2006848143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295568$E7614827-A0EB-41A1-BB43-6F00A2D7F92D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03687638520c458b60e98d8a9421add30a1ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":4942272,"id":"Q4942272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab00ae0233a00a360aaf1c66d374eb8b1aa5280","datavalue":{"value":{"amount":"+0.94311494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$51605BFD-D09C-4004-9836-D58E0246800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb86a33c654a1e7d35c6dc8687d7170935a0aca4","datavalue":{"value":{"entity-type":"item","numeric-id":4863965,"id":"Q4863965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28a7f08761c1bc2baa48f8d8c6900ca7e3db67f","datavalue":{"value":{"amount":"+0.9116758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$11DEC331-9E0B-4E78-978D-F26FCF0B84A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcdcea55145ec559fcb87605c0f53764a23592a","datavalue":{"value":{"entity-type":"item","numeric-id":927282,"id":"Q927282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fe774a88f0a9396abb304ac7c459fc6f95f7e2","datavalue":{"value":{"amount":"+0.90081453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$E5B34626-8377-429B-AA67-E73CC69620B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0a19d3ce8f9267660b0274169937caf2670ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3031642,"id":"Q3031642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db734afe79b22db9b5c7adb9f3e993f0b3501b51","datavalue":{"value":{"amount":"+0.8989899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$E308CF2C-0130-46FB-AA71-652BE802B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf252c377abcee72cddea8ad79a93563d2aba603","datavalue":{"value":{"entity-type":"item","numeric-id":4786287,"id":"Q4786287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4138b9a42fb89bd50d4adda86d6dd7862137a422","datavalue":{"value":{"amount":"+0.8895754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$A8CB0230-44AD-4985-B680-613772ABF301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3fabe947d4d1c6458aa1c00060748ffd4dcc12","datavalue":{"value":{"entity-type":"item","numeric-id":1818917,"id":"Q1818917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b429d4e59027b98a4212c31585695cd1b01e2ea2","datavalue":{"value":{"amount":"+0.88942856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$2083E690-5AA3-4E9B-8848-ADC0C9002D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ab576710633c4e104989156dcfc335f97eda49","datavalue":{"value":{"entity-type":"item","numeric-id":2038101,"id":"Q2038101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c53b610b1e87d26db9f4e3569b3cf91be1f1262","datavalue":{"value":{"amount":"+0.8892006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$66C63B18-F210-4048-A834-959B3D276486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cddbeb95380d0e3cba5bb3a2b2e758ba49129d1b","datavalue":{"value":{"entity-type":"item","numeric-id":3705493,"id":"Q3705493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0856f2feea2446523e77ff293829775eee10ad","datavalue":{"value":{"amount":"+0.8870531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$3F22D187-3041-443A-B635-ED64CF7BB1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca99d16862f082ab52cf9e51f8d8f8ae87574942","datavalue":{"value":{"entity-type":"item","numeric-id":1263116,"id":"Q1263116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008dcea73ea9cb302044e7ab16ad2fd57cfc8ecf","datavalue":{"value":{"amount":"+0.8854387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$2DD87DF5-7F48-4DA8-A943-E92FFBB7AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a03138d6940f31bf92c570a336bbfcd825228e6","datavalue":{"value":{"entity-type":"item","numeric-id":2330436,"id":"Q2330436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11864e780b0509fdbb6b3ae1628bcd2a2d335d42","datavalue":{"value":{"amount":"+0.88481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295568$9E05C3A3-B587-44A7-B358-502A39CCB7A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopy reduction systems for monoid presentations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homotopy_reduction_systems_for_monoid_presentations"}}}}}