{"entities":{"Q1892306":{"pageid":1903048,"ns":120,"title":"Item:Q1892306","lastrevid":69200733,"modified":"2026-04-13T05:26:26Z","type":"item","id":"Q1892306","labels":{"en":{"language":"en","value":"A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762340"}},"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":"Q1892306$9D8AC308-8930-4E2B-BDAD-4DEA6E1B1BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f819eb89fb5f47fadfbf045edcf2858c5dc25864","datavalue":{"value":{"text":"A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892306$94EE4CEF-617B-488A-821C-C0CF68667D4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c73ea79e990aeafe64d35fae3a7039a42321379e","datavalue":{"value":"0832.20080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$9CBCD26A-75F4-4A37-9024-0FC41CD498BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d87ad78a7e74766eb254595e8d623f3bfa26be6f","datavalue":{"value":"10.1016/0022-4049(94)00043-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$A759BD63-A113-4270-B4A9-72C1B2A545CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651e04b9287b8d0ec0024aa20b22bd0b7aef55b","datavalue":{"value":{"entity-type":"item","numeric-id":973941,"id":"Q973941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$996864D9-2A5B-484F-AE80-B907F2AE9700","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":"Q1892306$A19C5891-9407-4BD0-90E6-E7BF4FB6270C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892306$2275B2DF-40AD-4025-AA6E-BCC09A1619D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38a24513564dd16e5af912c3ccf2b86526c83836","datavalue":{"value":"The paper deals with Squier's arguments on finite derivation type [\\textit{C. C. Squier}, J. Pure Appl. Algebra 49, 201-217 (1987; Zbl 0648.20045); \\textit{C. C. Squier} and \\textit{F. Otto}, Lect. Notes Comput. Sci. 256, 74-82 (1987; Zbl 0625.03023)]. Proofs are made shorter and easier by categorical machinery. Squier's finiteness condition is of invariant type. It can be defined in terms of a finite presentation, but does not depend on the choice of this presentation. The result is that if a monoid has finite derivation type, then its third homology group is of finite type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$BAD98D8D-D38E-44E5-9962-148EA8BE06FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$49042EC0-8FDB-4865-96A7-9F30B8B4AD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$114FD5A5-C5C7-4B2B-AB56-AB95A6A32167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$236BBA8A-2664-4B8C-BF7C-23AAA1119ADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7449b749efa69d571e86c9367befba3f7431e970","datavalue":{"value":"762340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892306$21D3ED78-BE24-492D-8A48-6A2FB1405AE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fe9e00d3b9bde8350c039751fb9221c196a10f","datavalue":{"value":"finite derivation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$DA9DD601-4188-4117-B995-4220AAE236AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de7179bcf60eb7b23e4e1813b7a364b7c49233c","datavalue":{"value":"finiteness condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$83CF3CA6-DCE5-4290-8E43-015CFBC85D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808c05c220e474ef429d17a05533e11c23cae1e5","datavalue":{"value":"finite presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$4E026A5E-8E27-4226-A195-46BA27C6CD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$A2FF61A7-1AC2-4AA1-AA97-3FC18631BEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c97ae1f693a38af6eb9b9e067bc12762b580d","datavalue":{"value":"homology group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892306$FC23B40B-71CB-4983-AB7F-F6F6D2EF7700","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$49B71D3A-D3E3-4DA9-BE65-EE1CD7F81247","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":"Q1892306$F8F10671-AB23-4337-98D5-19B8CD746D7F","rank":"normal"}],"P223":[{"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":"Q1892306$5546E138-BEFF-4DFB-BC9C-421C369317FC","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":"Q1892306$D49A8900-10DA-48D0-BA5C-5838DC889EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36577aeb4599c4c6606289f398eb3b928ff6e5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3358944,"id":"Q3358944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$3B172F7F-C7C0-414F-8212-D77E3FB3ADB2","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":"Q1892306$871BB567-3E60-4BEC-8FA5-4E14D5845C8D","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":"Q1892306$7EAD2CB8-B7FF-4BA2-B128-24E6A08A5478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd3f4b84ca04c5d75d0ad23e64bd845eaff3bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4006234,"id":"Q4006234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$6D3FE534-20E0-422F-9737-B0D80311F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$B11D5500-201D-4F31-973A-D1D7CBED2BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$6765D082-5339-4D4F-8160-7FEAB66DF02D","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":"Q1892306$93F9D6CC-93BF-4CB7-8747-961A10744346","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":"Q1892306$A0F3BC81-C4ED-4E2C-8FAA-4FBEBDD5F543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7fb8dd267bfb595978db6cc0a348c3bd3eaf6b","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892306$77D3FCA4-B1E7-41E9-9DD7-967B9C72660C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abac8c8afd2492bace0d257a9c322d903a4ab34c","datavalue":{"value":{"entity-type":"item","numeric-id":3130298,"id":"Q3130298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c995f85bb82900b779696aaacbd8f83d0c7866","datavalue":{"value":{"amount":"+0.8745405077934265","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":"Q1892306$8FD7B8F0-E6CD-45D7-9F8F-3B4177A16BEB","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":"117fb5d89d76f34df8eaabe1dad4ccc515502f2b","datavalue":{"value":{"amount":"+0.870945930480957","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":"Q1892306$979716EC-DF92-447C-A728-01E58639126F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ea3ce3dd2bfc77d21f84945f0941526806a2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1338340,"id":"Q1338340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a009c55ba66b156d618606a724d0838730051","datavalue":{"value":{"amount":"+0.862190306186676","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":"Q1892306$384A3B38-1B77-4EF7-816A-47B38F8C4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97392bf2e1546d0937496d0e0eca814822d09c4","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ddf44799f83a4bcc3e0a04d19c32056869a907","datavalue":{"value":{"amount":"+0.8587504625320435","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":"Q1892306$8426E57F-8AE9-433D-8E77-3CC6067E682C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_finiteness_condition_for_monoids_presented_by_complete_rewriting_systems_(after_Craig_C._Squier)"}}}}}