{"entities":{"Q1965269":{"pageid":1976011,"ns":120,"title":"Item:Q1965269","lastrevid":47444059,"modified":"2026-01-01T18:42:43Z","type":"item","id":"Q1965269","labels":{"en":{"language":"en","value":"Hereditarily finitely generated commutative monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400119"}},"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":"Q1965269$50813BA5-AD8D-413A-917F-F4EBDE198A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e928e5b7d6d70d085f86f7786bcf09ab6891bbb0","datavalue":{"value":{"text":"Hereditarily finitely generated commutative monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1965269$D777D10C-D810-4F6D-BA74-CB604B0F9585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c73a979dfc31a24d181a916ad93bcf8b3658c7d3","datavalue":{"value":"0951.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$4602FE5C-036C-45D2-AA1E-D5D4A86B0092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$A580C683-D71A-4A30-AF3D-2CD438A2B531","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f48ba751fa96ccf6bfdbc02f9034cc7445f12315","datavalue":{"value":{"time":"+2000-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1965269$48B3AF3E-EE73-4D39-841B-44C2699096B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac44f68e426f446c82f07d4e3dff89522d33ddbd","datavalue":{"value":"A commutative monoid \\(S\\) is said to be an HFG monoid (for hereditarily finitely generated) if each submonoid of \\(S\\) is finitely generated. In this paper, the authors characterize when \\(F/\\sigma\\) is an HFG monoid, where \\(\\sigma\\) is a congruence on a finitely generated commutative free monoid \\(F\\). They also give an algorithm to determine, from a presentation of \\(\\sigma\\), when \\(F/\\sigma\\) is an HFG monoid. These results are then applied to the case where \\(F/\\sigma\\) is a cancellative HFG monoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$12EA3F20-AEFD-428E-8E96-99E64112BB86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$74A94429-F821-47C1-9312-3008FF79773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$C752F266-CBC6-4932-AAB4-749A271480DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ea42641b34767379380999f1876bdd6b1eafc3b","datavalue":{"value":"1400119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$90D8F52F-CEE5-4486-A2F1-B459743D8C6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dda0f1e725e608a4f3bb8fea753de6134679b1","datavalue":{"value":"hereditarily finitely generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$A003735D-0607-447B-A51C-1B8152D94276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$2359B206-90FC-4D8F-B6A8-2FD37189F81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd56649724e0133ce85bbe053c466b7a8f1a49d4","datavalue":{"value":"finitely generated commutative free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$CB078C78-98C1-4A30-A4D8-92740254229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$18F7DDF8-5C09-43C1-9200-9E8D818DFBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$AA17E998-BA8B-45F6-A23F-22E108812BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7adcb1ac680eb4032466952882250734bc0be104","datavalue":{"value":"cancellative HFG monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965269$586E3C70-CE1B-4452-AA29-52AB84B56647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29967f47dbd6961a13ded7cc20738c4b84e1a4ba","datavalue":{"value":{"entity-type":"item","numeric-id":516942,"id":"Q516942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$10AC2D99-BC6F-4B70-B3FE-D22BB07C3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14ed61dbfbc348610cf9f6a19f2d1237a34a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":667857,"id":"Q667857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$F8267884-5CC3-4087-853E-8EF6AAE45239","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a4ebd5cb8620aae4752809c023f9059a0bcf61c3","datavalue":{"value":{"entity-type":"item","numeric-id":185983,"id":"Q185983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$BD556947-8383-4DF7-99DA-64150A5A9B67","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":"Q1965269$2CB0A030-2273-4B15-B891-55BF4EC928E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dfb1001c088d16c120040eedf85112ac1a11406","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1965269$34AB11A3-BE08-4B46-96CF-45D24756F657","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73135a6549bee382aec0e57343cfebe87c2b3eb6","datavalue":{"value":"W2023002777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$B2E2DDD0-F573-404D-8ACD-BF68E08753F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc8ff76121554c2d4c8e46b695e8facca9529d9","datavalue":{"value":{"entity-type":"item","numeric-id":1171105,"id":"Q1171105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$AA8457EE-6F80-436B-857C-5C760E52D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$52CFE0B7-91B8-4761-9610-0E7A0CF76940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$4EC260E2-562F-4386-ADC4-C2FA7F893C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff46ca4daa3deb211a8ff92300fd21f75c34e9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2544208,"id":"Q2544208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$1216506D-D5C7-4C1F-B7A9-0822BDB93159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$A3EF87DE-40BA-47DA-9BDE-157FC4F5985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$3A1D4D5E-ADAF-4DD7-BEBD-F43EA83A2931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$496502D8-EB9C-4811-B5EB-72807ACDA870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf5d3340f936fc18508394d9a60a2b791dfb29b","datavalue":{"value":{"entity-type":"item","numeric-id":1346309,"id":"Q1346309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965269$A1AAC273-752F-4248-B672-7E784787FC94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d970ab4668632c60b71616c730a59fe196df881","datavalue":{"value":"Q58843089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$07A84416-AAB9-4283-B224-B6F0603944D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77cc894216d674ff7afa502c6377e337fc77dc19","datavalue":{"value":"10.1006/JABR.1999.8039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965269$30E81414-D593-4451-B324-F6BCC85567B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb951def41f1a61271e2b2fe6dc379c444098c85","datavalue":{"value":{"entity-type":"item","numeric-id":2759238,"id":"Q2759238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cddcbb96e92795f3098f64e26d89c613ba0316d","datavalue":{"value":{"amount":"+0.9651585221290588","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":"Q1965269$E5649EE0-13E9-4738-ACE7-E872BD3448BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6daed1721193b20e2df0d9a1efa5fe49c11219","datavalue":{"value":{"entity-type":"item","numeric-id":444650,"id":"Q444650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cddcbb96e92795f3098f64e26d89c613ba0316d","datavalue":{"value":{"amount":"+0.9651585221290588","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":"Q1965269$64E34EF4-E01C-4C25-B4FC-AC185EF776E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d52a6341c19598ed74eee1eb5686912b7a1f60","datavalue":{"value":{"entity-type":"item","numeric-id":4791996,"id":"Q4791996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1768f1e637f79ce27d32b96844a00df7be0ad98e","datavalue":{"value":{"amount":"+0.7781126499176025","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":"Q1965269$5874D04E-E5BC-4623-B89D-BDE724D11951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76eeabfed93a593afe3fe4ebd42f5fea916889c","datavalue":{"value":{"entity-type":"item","numeric-id":1865686,"id":"Q1865686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a87871450872eca100918a05945cebdf7f7521f","datavalue":{"value":{"amount":"+0.7555010914802551","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":"Q1965269$1D10762D-0712-4DDB-A8B3-BC0677C3D23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebf3edaf0c375a2869aa78333dda8c30d072660","datavalue":{"value":{"entity-type":"item","numeric-id":2915378,"id":"Q2915378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcaa32b06e4a61e6f4ed99d5214d4079a140c61","datavalue":{"value":{"amount":"+0.7529771327972412","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":"Q1965269$E2F3DD26-B6C2-48C5-8D2A-739F1C602AA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1965269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1965269"}}}}}