{"entities":{"Q2247984":{"pageid":2258727,"ns":120,"title":"Item:Q2247984","lastrevid":57801975,"modified":"2026-04-02T14:29:56Z","type":"item","id":"Q2247984","labels":{"en":{"language":"en","value":"Finitely presented monoids with linear Dehn function need not have regular cross-sections."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309858"}},"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":"Q2247984$1355233D-2045-4C0F-A462-6547E80080BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de8db3c14c388f33c58fedbb13110331e3680bfe","datavalue":{"value":{"text":"Finitely presented monoids with linear Dehn function need not have regular cross-sections.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2247984$BF7F9E84-8116-4894-8ED5-A712CABFDB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31bbe4f0c0d74ab77ed00699e8e29ac66966b75b","datavalue":{"value":"1300.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$1E5AB7CB-DBDC-44E7-AC57-C3365921F831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04da1d904a9cf31174a4fceff9ebb46cb62bc89","datavalue":{"value":{"entity-type":"item","numeric-id":306543,"id":"Q306543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$47A0626B-2F63-41D4-B342-189DE83CA501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d8bdceed993adabe8e1d4d2fd65089f72b32975","datavalue":{"value":{"entity-type":"item","numeric-id":488817,"id":"Q488817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$AD17AF1E-6E92-4E2B-BF95-42A48E7A824C","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":"Q2247984$6168D038-0D46-4EB9-8375-9A6D98D9DDD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2247984$6AF91752-9EC8-4B3C-9E55-50046CE90CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71619824b0929eeae9edab0d09ebe7f6c76b72e4","datavalue":{"value":"https://arxiv.org/abs/1203.0473","type":"string"},"datatype":"url"},"type":"statement","id":"Q2247984$6C27197F-EF19-454B-A2C3-FE239CC0206A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"073de96827e84736171e2687f1ba794a30122b99","datavalue":{"value":"Let \\(A\\) be a finite alphabet, \\(\\mathcal R=\\{l\\to r\\}\\), \\(l,r\\in A^*\\), a finite set of rewriting rules, \\(\\to_{\\mathcal R}^*\\) the reduction relation and \\(\\leftrightarrow _{\\mathcal R}^*\\) the Thue congruence generated by the rewriting system \\((A,\\mathcal R)\\). The rewriting system \\((A,\\mathcal R)\\) is complete if it is Noetherian (can not generate infinite sequences of reductions) and confluent, i.e. for any \\(u,u',u''\\in A^*\\), \\(u\\to_{\\mathcal R}^*u'\\), \\(u\\to _{\\mathcal R}^*u''\\) there exists \\(v\\in A^*\\) such that \\(u'\\to_{\\mathcal R}^*v\\), \\(u''\\to_{\\mathcal R}^*v\\). A cross-section for the monoid \\(M\\) generated is a set of words (language) containing exactly one word from each \\(\\leftrightarrow_{\\mathcal R}^*\\)-class. For \\(u,v\\in A^*\\), \\(u\\leftrightarrow_{\\mathcal R}^*v\\), let \\(d_{\\mathcal R}(u,v)\\) be the least number of rules from \\(\\mathcal R\\) needed to reduce \\(u\\) to \\(v\\); the Dehn function \\(D_{M;A,\\mathcal R}(n)=\\max\\{d_{\\mathcal R}(u,v),\\;|u|+|v|\\leqslant n\\}\\).   The authors study a complete rewriting system on four-element alphabet and show that the generated monoid has linear Dehn function, but does not have a regular cross-section. This is in contrast with the situation in groups -- finitely presented groups with linear Dehn function always have regular cross-sections.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247984$252E8E54-46CC-4203-BBBF-45DA71614970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$28CE65DE-6132-487E-8EC4-B7C801DB1613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$C22A000D-FEBA-4F25-B9B7-914636A95151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$1B11289A-AB39-44A6-BDE3-3284193D79E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$AA57CB6E-03D0-4406-BBB4-9464CE37A9C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5393869f703c78de5535bbe050f40454ea47ff39","datavalue":{"value":"6309858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$23D5840F-68C1-49A1-AAAB-1F950EE0C5B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247984$9C6B72CB-A9AB-4380-8E69-6BF1AF670B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba58bfcfc61d9cec4a21180e9a6a79b00d20a84","datavalue":{"value":"cross-sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247984$A6844A5A-A030-4679-9A79-CEF158C8E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cdc4c1fde41e8a0644d63c4d427b4fcbb62fcc","datavalue":{"value":"Dehn functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247984$271F6F6C-3AAC-47C5-8869-6A40CFC4EA80","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":"Q2247984$93E8BA3A-A9D7-4E12-8BCB-519D1280AD49","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":"Q2247984$E60E6F98-AE36-45E1-B6E3-0336CB973C41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9e9f46605e8ec8aa2f0dc22af96226b6b5c66f9","datavalue":{"value":"W3100571336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$76FA0E7C-7E1E-4649-A87C-F7045CDADCA7","rank":"normal"}],"P223":[{"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":"Q2247984$E78DAB26-24F4-4432-9876-64DA98C51BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04478bfe0f9279eab948c888c4527ebb9c19b2e1","datavalue":{"value":{"entity-type":"item","numeric-id":375928,"id":"Q375928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$DBECF068-4118-4CC9-98ED-D1E2A31AE898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cc1e11c722e2c8a6e8d809a80ffa54d9f97bcf","datavalue":{"value":{"entity-type":"item","numeric-id":2923337,"id":"Q2923337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$447C3174-6390-4F80-A5A5-62480FBD3125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5846c308520e18a933917b021effaf2e5d81e419","datavalue":{"value":{"entity-type":"item","numeric-id":4902680,"id":"Q4902680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$0F9DF54C-9D0D-447F-AEFD-D7B57D782017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef209e7922e4cb0876e179948768e364141ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3637970,"id":"Q3637970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$065F6D19-80B2-49D8-BF62-F0E8B535EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77efcc08159cf43aed748fe4663d47c81bd2d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":4819118,"id":"Q4819118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$C6DAFE25-2653-4787-82D7-9884DEAF3DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4ed9693dbb08864eb983816fe8143df72b42fc","datavalue":{"value":{"entity-type":"item","numeric-id":1433428,"id":"Q1433428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$1D558B89-3EE9-4874-BAD4-B31E7B9E28A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$3C387ACC-1DF1-4944-A753-4ABAF2E8784B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45698477093af5b3795c60286f84591dd45a3123","datavalue":{"value":{"entity-type":"item","numeric-id":673144,"id":"Q673144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$19585AB4-B896-439E-B2CE-D687B56FB716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55945a538c8e54b3bccc455f5dda05fbe1fc887","datavalue":{"value":{"entity-type":"item","numeric-id":1273769,"id":"Q1273769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$BD9ECE31-869E-47F2-99E8-9C2ED385B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa198d02e887eaacb50498488e6d6b697d70403","datavalue":{"value":{"entity-type":"item","numeric-id":3838758,"id":"Q3838758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247984$3993564D-6F19-4107-8AE6-C3AA2ADD2D51","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":"Q2247984$CE7DA4D3-585E-4F41-B752-163143BF6676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64bf3bedaf000f229bd0ac3c424276131ebc1fb2","datavalue":{"value":"10.1007/S00233-013-9531-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247984$38C6BD31-1732-44BB-814E-F1C91F1E8BF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edacf34c9f355a30630e94a24f2dd7d70b6c5de3","datavalue":{"value":{"entity-type":"item","numeric-id":4594218,"id":"Q4594218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d740cb11b65071cca5968eaf48d0968c384635","datavalue":{"value":{"amount":"+0.8260650634765625","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":"Q2247984$962E4168-76A6-43EC-B5F5-72AD9017F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a090b6405b5f07b4a2d0beb300124b5bd03846a","datavalue":{"value":{"entity-type":"item","numeric-id":1273769,"id":"Q1273769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37e3c3724206e7add57bb217804d887191d7d07","datavalue":{"value":{"amount":"+0.8132773637771606","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":"Q2247984$BC0471E5-1620-4429-9E5C-ACCA9781C107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b13ec7c6f145959f47e39c546448db685992a7","datavalue":{"value":{"entity-type":"item","numeric-id":673144,"id":"Q673144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4d55f18c5c91233d42e96fa73ea0f3bc47b99d","datavalue":{"value":{"amount":"+0.8081770539283752","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":"Q2247984$FD9DE432-443E-4BEA-9BAC-C79AEDB7D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0137395495b49844ac7875d21e010b5761300ad","datavalue":{"value":{"entity-type":"item","numeric-id":731326,"id":"Q731326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b4c214c1fc65a752515e3e0ecc7cb5c9aecb69","datavalue":{"value":{"amount":"+0.8058341145515442","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":"Q2247984$B3172DC4-088F-4B81-920B-82C8363BBAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1026d4ca08064349b24acaa94c84a68279a7b08","datavalue":{"value":{"entity-type":"item","numeric-id":1399980,"id":"Q1399980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12ca607b56ab1720a03e48b7ae255a0c05ef620","datavalue":{"value":{"amount":"+0.8057103157043457","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":"Q2247984$85C50BC7-E90C-49FC-8BB5-A87A6287BA37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2247984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2247984"}}}}}