{"entities":{"Q557065":{"pageid":558832,"ns":120,"title":"Item:Q557065","lastrevid":62780097,"modified":"2026-04-11T08:24:41Z","type":"item","id":"Q557065","labels":{"en":{"language":"en","value":"On higher order homological finiteness of rewriting systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2182122"}},"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":"Q557065$60FB1E23-761A-4515-9EDB-2EC98A138281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2699aa0268b5bda00fb712fab44d28b67fe567","datavalue":{"value":{"text":"On higher order homological finiteness of rewriting systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557065$366523E0-F0B5-4510-B09C-D3C66E09BC10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55de0c28b5cdadd69b53fb9fe36def97030398e9","datavalue":{"value":"1074.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$F2387364-4E2F-4F92-A182-D2A37D76E6C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b27d9ab2baf59f8298de782da25cc1334ae44a","datavalue":{"value":{"entity-type":"item","numeric-id":531925,"id":"Q531925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$99D4C2E2-0C50-4D40-9974-5EDDB460B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$6E15BCA9-B0E9-4D86-8888-AD5E5936D7F5","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":"Q557065$81735561-DAEB-4604-8755-15EC341CAF8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"248c1efd530ae2f9901b8ca831703cab8c4ba528","datavalue":{"value":{"time":"+2005-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557065$78431430-9EEB-4BF6-8CF2-9535C57E8348","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af52886247b7a3476590591ce55a3903eb957a2b","datavalue":{"value":"For rewriting systems, the homotopical finiteness condition of `finite derivation type' (FDT) and the finiteness condition of `finite homological type' (FHT) have been defined. For finitely presented groups, the two finiteness conditions FDT and FHT are equivalent. In the case of monoids, FDT implies FHT but the converse was shown not to be true in a prior work of Pride and Otto.   In this paper, the authors consider generalizations FHT\\(_n\\) of FHT and FDT\\(_n\\) of FDT to higher dimensions. Extending their prior work, the authors show that for each positive integer \\(n\\), there exists a finitely presented monoid that is not of type FDT, that is of type FHT\\(_n\\) but not of type FHT\\(_{n+1}\\), and that has word problem solvable in quadratic time. This result separates FDT\\(_2\\) from FHT\\(_2\\) answering an open question of McGlashan. This result also shows that FHT\\(_n\\) (\\(n\\geq 1\\)) yield an infinite hierarchy that is independent of FDT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$A4EBFA20-2023-4597-8F01-24191208CB5F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f9e311a53969bed982204d1446a9d77dda26ac9","datavalue":{"value":{"entity-type":"item","numeric-id":591667,"id":"Q591667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$5E02B752-427F-4FFE-8F45-806AE819ED70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$23968EF6-67E2-46C4-9BC5-57FC92073E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$9BF3756F-D78A-42C9-892B-C140397E1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$382840FF-12E1-49F3-986C-A2631A702869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$7B0E36B1-E62A-4ADD-8ADB-1A07EE83BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$14B92540-B5DA-461A-801F-CA55CA0D20E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$5A62F73D-95DF-4B5F-BED8-B45FF49ECEF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c075371dbee89db5fd722d82097e0d2cc4af7d1","datavalue":{"value":"2182122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$28959F7E-0C3B-4E81-9986-F60F291E7434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdfcab95f5aa8135732219b635a034efa8f194e2","datavalue":{"value":"finite rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$42D12B43-5DC1-49B4-A925-EAB8F340F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$05246786-BF92-4B70-B347-B2CE8BE0CC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$8AF5B341-9120-4E15-8CAA-3086F2071AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fe9e00d3b9bde8350c039751fb9221c196a10f","datavalue":{"value":"finite derivation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$98D6694A-88FE-490E-BF8E-B2317B5DCF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc975ae15fdad71f87ada81bb7036fb4f347fa1","datavalue":{"value":"finite homological type","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$60876E4C-B747-4829-9B4B-217057326175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q557065$801BAC36-86D0-4AAF-8C50-6967DBBC360A","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":"Q557065$B4F43E58-0700-4E95-B1CF-46FBF0E987F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9432412dc8de77612a886f1f491c95c37157de6d","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2004.12.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q557065$077E013A-67AD-4D26-859C-37F0A46DE952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"856d6f633d871a2dc395cf09c4f72dc96dbb7c2a","datavalue":{"value":"W1992331355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$6023C239-DB86-4E3F-9865-382050B724A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c177dce29118573a178b7d3a3f0ead05c66dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1132178,"id":"Q1132178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$B77B9CBA-E230-4D4A-A5C7-C59BE7DE800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8c5bceb0035168405e334bee3117684323f567","datavalue":{"value":{"entity-type":"item","numeric-id":1365347,"id":"Q1365347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$1048DF65-9416-40E9-B152-698B96802D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55511a60f9a36c1e30676a120f417ce790c4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4129638,"id":"Q4129638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$32CA35F3-203F-4FC6-A9A5-A5AC113E52E3","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":"Q557065$94461585-8C0D-4021-8607-D8E09612D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$1C901FD9-64AB-4247-ABA5-8D3406CA323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323a98dcf2179f02d4fdf23afc3bc46e0a5440f5","datavalue":{"value":{"entity-type":"item","numeric-id":1425087,"id":"Q1425087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$5285C777-5C11-4D1E-ABE0-75E3F2E1735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39b5869d83034d553bc57e556881374a03bb7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5803291,"id":"Q5803291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$0AC70F8F-BFD2-4A12-AC72-57218348E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c89c9860acd8449ddc840415c54e29397f934e","datavalue":{"value":{"entity-type":"item","numeric-id":5737123,"id":"Q5737123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$EDAFBB41-0B55-423A-8097-C124FC9337E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343d211bbc8a91a1684a2d3f9af72803c1361f89","datavalue":{"value":{"entity-type":"item","numeric-id":1399171,"id":"Q1399171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$B2C1611B-17A1-4C09-A75B-D527AADFAB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09c64d38d4cb87f1510302cd1b1a82fb974aef4","datavalue":{"value":{"entity-type":"item","numeric-id":4680589,"id":"Q4680589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$3A234BE4-9464-4FA0-BFF5-8ADEF72809E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efeb0bf8b8429af9b71997fb443f62fc6243bd","datavalue":{"value":{"entity-type":"item","numeric-id":3827224,"id":"Q3827224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$EA5B29EC-876A-46E1-A5D1-F08C6E5906DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e5acf7942f00edff72a4429b508b855a0850d","datavalue":{"value":{"entity-type":"item","numeric-id":3422798,"id":"Q3422798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$7A4FD557-EC85-4AC9-8C06-0542D45086CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150dec13d767d34a8369927b0d6a0a0579727de","datavalue":{"value":{"entity-type":"item","numeric-id":4819185,"id":"Q4819185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$F61B1D15-6F5B-4516-9FAD-906C54533C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85557f9e07edb66d7ea768f7e24a967054f731c7","datavalue":{"value":{"entity-type":"item","numeric-id":3882615,"id":"Q3882615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$AE516ADB-6B44-4B41-B530-B6EA4B86522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee9f109a61be1fd6f762cfc29a31ea0e447c07a","datavalue":{"value":{"entity-type":"item","numeric-id":5180606,"id":"Q5180606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$F8C15609-0F8B-407B-B6CE-DD8B1C240CC5","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":"Q557065$DAC476DA-951C-4754-BAA1-504235C14B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe524704357470830e25ec5308e614eb43650b89","datavalue":{"value":{"entity-type":"item","numeric-id":1331906,"id":"Q1331906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$1E845A12-F25E-41CD-BD28-09EA2B0BF641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80422c8ae76a53c4e2aa68ca1d792b32d3601624","datavalue":{"value":{"entity-type":"item","numeric-id":4786257,"id":"Q4786257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557065$9F9AFC43-402B-4AB9-B2B9-CA7FAF5D06DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2205b042cb1ac61635968d8a5dbbb09ac8e7771","datavalue":{"value":"10.1016/J.JPAA.2004.12.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557065$9603AF92-7B93-4667-A7B2-169704425A1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b168d7b85995392346513b5fb25de65bb7287396","datavalue":{"value":{"entity-type":"item","numeric-id":4819185,"id":"Q4819185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16468290a7125bff66ba5ce449fd7967ae81d939","datavalue":{"value":{"amount":"+0.8811636567115784","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":"Q557065$9E677519-A19C-4844-90D4-A7BE3661F24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4690dad1bf660794e1148bd6b0d6a28b6b1784","datavalue":{"value":{"entity-type":"item","numeric-id":4942275,"id":"Q4942275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92573aa405a3e212580567178fdbb097083384c3","datavalue":{"value":{"amount":"+0.8693017363548279","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":"Q557065$23E60EF6-4BF0-49D5-A2B0-EDCB574A66BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e601d4ca8b6849fa175eee7c55b5fb3388e1b9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1892306,"id":"Q1892306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64010cfa3a66652c076855eda91aab634c9ca3bb","datavalue":{"value":{"amount":"+0.869301438331604","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":"Q557065$190DC7C5-9EDF-4938-850A-865A263FBF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1130dc3bfbfc63200659c797a0bbde12a3e1f721","datavalue":{"value":{"entity-type":"item","numeric-id":4680589,"id":"Q4680589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be73e9ae9e5030201a9775546beab53326136b5","datavalue":{"value":{"amount":"+0.8620432019233704","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":"Q557065$DF6C2055-8C12-48FB-9929-C162CA61C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5efc9d0d5cc4193d67113bf2c6fd0fb74f6ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5429978,"id":"Q5429978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591994e70b2bd65c15fb375d11d29e2972113143","datavalue":{"value":{"amount":"+0.8462406992912292","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":"Q557065$674A52EA-8B77-4173-BBCB-78DD53F16D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On higher order homological finiteness of rewriting systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_higher_order_homological_finiteness_of_rewriting_systems."}}}}}