{"entities":{"Q1085284":{"pageid":1096036,"ns":120,"title":"Item:Q1085284","lastrevid":66282711,"modified":"2026-04-12T08:45:36Z","type":"item","id":"Q1085284","labels":{"en":{"language":"en","value":"Commutative monoids have complete presentations by free (non-commutative) monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981440"}},"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":"Q1085284$3B48AA6D-E0BC-48C6-8C87-FA52D498B5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbe79a694ebd8d74b76e5fbf32f805bf7f74996d","datavalue":{"value":{"text":"Commutative monoids have complete presentations by free (non-commutative) monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085284$4FFE2E7F-5695-4AC8-B191-69DAC9FC50C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be49a8c1a4a05efbd44e7b85371dbe35c5952d8a","datavalue":{"value":"0607.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$EC9CF98C-F855-4671-990B-28AADB2FB65F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a11a0570d3916836ca95632f81703bc8be5833c5","datavalue":{"value":"10.1016/0304-3975(86)90037-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$0E9D75F7-1A47-4196-960E-CC3263EBC43C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$00652C87-E0EC-41A6-97B6-8651CD3C9016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$5F5C9245-D84B-4B02-BADD-03649D19B0C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1085284$9AF889B6-7402-4701-B1A4-D8F7876975EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7956713bf02212942eed14c1c9f76ba075f09a36","datavalue":{"value":"It is shown that any finitely generated commutative monoid A has a finite complete presentation in the sense that there exist a finite alphabet X and a finite Noetherian confluent semi-Thue system \\(P\\subset X^*\\times X^*\\) such that A is isomorphic to \\(X^*/P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085284$E6072040-3E5C-4FAE-A6B6-1A7C1B386446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$140461BB-2BC1-4192-A2D0-B5C134059BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$BDA91947-FD9A-4AD9-AFEC-1E50D54676F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$EC55F7DD-65A9-455E-A80D-C3212079D8A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa6dfdd070636d1d798e6a55370a228523c6528","datavalue":{"value":"3981440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$9198323F-B2A6-4C42-B443-8414E154315C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beda7b9ef76ea172f5b6e5aa68672082f172e726","datavalue":{"value":"finitely generated commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085284$A85A8703-6DC9-438A-AC99-3F5C7ED179D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73c4f7f26b3f7519e3361a5fd1a811e58b62c5c","datavalue":{"value":"finite complete presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085284$D8ED2A36-0516-4CB7-B20B-DD26E8B34671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73e2a07dc7c76a1d2c6a9efcd9e7f0989c95cdd","datavalue":{"value":"finite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085284$323E6EC7-8231-42F6-B4B2-F5BEB3454CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac625feb13b02173ca8d3f42db345bb70fae0ae0","datavalue":{"value":"finite Noetherian confluent semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085284$FD934CC2-E082-4395-9E8E-549C4748E1CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$5F52223C-C1C5-4736-8964-95F44C34B498","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":"Q1085284$CCCF5398-06EE-4D1F-8629-0FE1069414B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebb06fffc0f01050548cc70a5275f2146093fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3329652,"id":"Q3329652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$880E2A59-980B-4F05-997A-6D19ECDD5D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$12FC693C-ACD3-4635-89C6-6B4C796C9C6E","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":"Q1085284$36370B98-9FDA-4DC3-B383-491F04989E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf2a01a0ef6feaa31f9c416ebdccea4faeae877","datavalue":{"value":{"entity-type":"item","numeric-id":1087012,"id":"Q1087012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$79E74DAD-0760-4ECC-A863-8EA6DF0091F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$F360D788-83AA-4D10-965C-0F1E0D25E6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6137204e53322ccfd080d9235bd0df957f98274b","datavalue":{"value":{"entity-type":"item","numeric-id":1067781,"id":"Q1067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$0ABF7BEA-6601-4BB8-A4A8-EE320C50705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$37B0D341-E7DE-4EDD-953A-48E87E0E1A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308759ac705132587b3213c202b9009c33f96b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5331568,"id":"Q5331568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085284$3E5F30C9-18F1-44DC-BBD6-7CC0146C40C4","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":"Q1085284$F4F73B0C-BC1E-472E-B4C1-D845106641C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6b097af5aa807126496d8ab007d77e2ad15c33c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90037-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1085284$CFF8C6D2-B631-4326-800F-72F8F885A41F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f95dfcc457b2fc8796e3ee489ab5b1daa0a3b1b3","datavalue":{"value":"W2088247760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085284$258C8392-E7CA-40DD-886F-C2DE6439A6CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040da87aedbc22caccb1695e149f013e6f046cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3329652,"id":"Q3329652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2281cd53cbdc23120dcb642d79ec9ff626a461e4","datavalue":{"value":{"amount":"+0.8000879287719727","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":"Q1085284$CB30C144-5C6C-42CE-A010-BDFF2807C15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fc0464243d6443fb684264812daa6b94c6fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":4513316,"id":"Q4513316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af960d1d1514ace0aaa64b1aa049fe303d369f6","datavalue":{"value":{"amount":"+0.7978785037994385","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":"Q1085284$9954C918-440B-4D47-8A26-4EA8DBEFF91D","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":"0be2ffb00bc90408f560f1ce5f698c12a7216b80","datavalue":{"value":{"amount":"+0.7908667325973511","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":"Q1085284$05AC07DA-BCBE-43C6-8630-D8D2D6E6D521","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":"d9c59f55e8d6c9e53ba6186378ff2289954b665f","datavalue":{"value":{"amount":"+0.7875006198883057","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":"Q1085284$78CF7079-25D1-44C0-89B4-95AF44EE00EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbae16996234fe772f459f71d7a60330184ccf0e","datavalue":{"value":{"entity-type":"item","numeric-id":1357103,"id":"Q1357103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083d6595f611b21a9413ee0fa770581c9ad88a3b","datavalue":{"value":{"amount":"+0.7807848453521729","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":"Q1085284$0C8BA9D0-DED4-46D1-8936-1D2AA76BBFC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commutative monoids have complete presentations by free (non-commutative) monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commutative_monoids_have_complete_presentations_by_free_(non-commutative)_monoids"}}}}}