{"entities":{"Q2139719":{"pageid":2150462,"ns":120,"title":"Item:Q2139719","lastrevid":71394315,"modified":"2026-04-13T21:59:30Z","type":"item","id":"Q2139719","labels":{"en":{"language":"en","value":"Tietze equivalences as weak equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7529320"}},"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":"Q2139719$EC7E10E7-E956-4478-B29F-214649ABC8FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7b084f1ca2319e0062a4956a1ee3f8fd6e0cc66","datavalue":{"value":{"text":"Tietze equivalences as weak equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2139719$3E98284A-2A45-4160-A5F2-27E15DBE92A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bc0613a48cda70c6d53ce16bd09bddd95b96523","datavalue":{"value":"1495.18028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$12F65CAA-79C9-43C5-B539-E64845BD64E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"220fbad31cd012e2efdebf47e2397340234f77f2","datavalue":{"value":{"entity-type":"item","numeric-id":266140,"id":"Q266140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$2E23866B-7305-438A-B80A-3BA48461FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a43cf0a9bf485d009abdf07da36233316c201547","datavalue":{"value":{"entity-type":"item","numeric-id":265806,"id":"Q265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$6B3ABC74-6DC9-41FD-9C97-D4DAD35E1D53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$AD0F0F8F-3557-4F5B-9345-3C8E9AEBF793","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a71722c19b552bfa2a2b32a80bc901e52ee9f88d","datavalue":{"value":{"time":"+2022-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2139719$23383BE7-4F32-4AAF-813D-8D8A8B572642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cdd2073b7b0d41456b1d0ed4fa4c59cd28c5e4b","datavalue":{"value":"https://arxiv.org/abs/2101.03591","type":"string"},"datatype":"url"},"type":"statement","id":"Q2139719$3BD5B241-7FCD-4B2C-BED6-E22CFF8A9B05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44ed2daeb3ca6f4245b476d84213201a641c1efc","datavalue":{"value":"The authors build a model structure on the category of presentations by generators and relations (with a suitable choice of morphisms, containing in particular some sort of degeneracies) in which two presentations are weakly equivalent when they present the same monoid. In this model category, the so-called Tietze equivalences, which characterize when two presentations describe the same monoid, generate the trivial cofibrations with fibrant domains. Finally, the classical proof of completeness for Tietze transformations is reconstructed by using only model category arguments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2139719$6F8AC66F-C9AE-4093-8AA7-4F70F963E9FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$F228FC24-EB46-4FF2-A79D-EA6A771A9113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$1A5F8692-16D0-49FF-A613-DF549BEF6001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$A3978A7C-DA0B-4891-BAE4-F095FF96D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$0882137F-0187-48DA-9FDE-67A78ACA9FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$A633599B-C783-4998-A2E3-795F315BA1F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f222ddfce97aa37f13373ef18f19a57239e0803","datavalue":{"value":"7529320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$CAD8C557-FB28-4C7F-A2B1-C7F7FC475EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2139719$94F2EE9C-075F-42A8-B6F9-8A184704F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e986f205a53c956ce83852b88693f1f1cb56e42c","datavalue":{"value":"presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2139719$0E4883EE-E9C7-4E11-A2D3-14954F201B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3b0bbe6b885a79ba5aee4f91586127995b0a79","datavalue":{"value":"Tietze transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2139719$086A5863-91F5-4F2C-A770-7F6C51F6BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837aec0cbe9f8dc3ffae9b1dad6816157aa088f1","datavalue":{"value":"model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2139719$FECAF58A-BF40-4A14-B571-DA8C4D89DA39","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":"Q2139719$E7087E79-12C0-4A93-A584-C5A2D1EC6DEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"162f342bc6f70d387b6da79c1bf20eb85112ea80","datavalue":{"value":"W3212178343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$E7AE6846-87D7-4CF9-A0CA-9018E29BEA6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$20371D2B-7139-496C-ACAB-DB274B183457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3bdcf2f6f14696a35f7600016e7625ef2a0cd8","datavalue":{"value":{"entity-type":"item","numeric-id":607286,"id":"Q607286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$2F309EB7-4707-46FF-BDFC-4ECDE8394E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258492edd92657a66e94ddfb22ae8b7e309989e7","datavalue":{"value":{"entity-type":"item","numeric-id":4761327,"id":"Q4761327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$682FCA82-66FF-403B-BEC6-753BE3CEA437","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":"Q2139719$7C5AE828-3225-48A0-9086-91BEFE42ACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02a607e1ede23f8650cbf16a65e437b9ab59693","datavalue":{"value":{"entity-type":"item","numeric-id":5259734,"id":"Q5259734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$FB611805-D8BE-4BBC-A04E-7A3FDAC19F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2095e83a652b8b3099dbfa37f46838b1274a951","datavalue":{"value":{"entity-type":"item","numeric-id":2958386,"id":"Q2958386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$C2A895ED-037E-4990-9267-D934B6EFB0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48993ea9945f8ab06330f06e825d5780aa43c4","datavalue":{"value":{"entity-type":"item","numeric-id":5428640,"id":"Q5428640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$F1763905-CE42-4AC9-BC9A-054A1CE54733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$ED5741A7-3511-40D9-8331-0471C71B8600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d797fbc83623b095c53cd95c49298e135ee9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4658185,"id":"Q4658185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$CC8CF33A-AE9C-415F-8D03-2DFBAE965368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bcbcaaa8b9aa2eb72978adca635beee5dd85fa","datavalue":{"value":{"entity-type":"item","numeric-id":3068077,"id":"Q3068077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2139719$68DE9D36-042A-4635-8EFC-40AAA7403576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5032511a873f90580f48a0491c90efbc9771504","datavalue":{"value":"10.1007/S10485-021-09662-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2139719$6B617130-97F0-44A7-AC05-E7E64374AA72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba313dc30dcb3037cc765a93d1560d836c3c38f","datavalue":{"value":{"entity-type":"item","numeric-id":5957501,"id":"Q5957501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290322e919450cf754a2f60960d0accd2255ca26","datavalue":{"value":{"amount":"+0.7456862330436707","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":"Q2139719$10307B8C-2055-4959-AD19-E54633FA773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3451703b563a9fa61ed4a518fdb10e45b21468c","datavalue":{"value":{"entity-type":"item","numeric-id":800398,"id":"Q800398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290322e919450cf754a2f60960d0accd2255ca26","datavalue":{"value":{"amount":"+0.7456862330436707","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":"Q2139719$A44281F6-327B-4065-8D82-5C9DEFD612F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfd49dc6195bfaf4213c357cb4f0ee4a180c81f","datavalue":{"value":{"entity-type":"item","numeric-id":5367070,"id":"Q5367070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7483d8bb6b76e5c18b6e56d039bf0607c6d5c99c","datavalue":{"value":{"amount":"+0.7342396974563599","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":"Q2139719$AF2EB2E8-B283-4BA8-9A63-38FBB4B39A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bd46c9d65fad1f5d2bd09f887f71bdb87c5efa","datavalue":{"value":{"entity-type":"item","numeric-id":2305674,"id":"Q2305674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b9ff4eda644f3d7a165121cfb9ffdc56b9eb35","datavalue":{"value":{"amount":"+0.7283129692077637","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":"Q2139719$8B33FBA9-122D-465B-80E1-5FD6D982C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bd3b0078b1c4125b68216239a1e9c63aa4aa50","datavalue":{"value":{"entity-type":"item","numeric-id":5277873,"id":"Q5277873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d27f48c0343c252276b17d08189a7b810efd53e","datavalue":{"value":{"amount":"+0.7212342619895935","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":"Q2139719$EB14ACAA-00F4-405C-A28D-55FB8ABA5BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tietze equivalences as weak equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tietze_equivalences_as_weak_equivalences"}}}}}