{"entities":{"Q2438925":{"pageid":2449668,"ns":120,"title":"Item:Q2438925","lastrevid":74113239,"modified":"2026-04-14T18:24:52Z","type":"item","id":"Q2438925","labels":{"en":{"language":"en","value":"Finite semigroups embed in finitely presented congruence-free monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6266185"}},"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":"Q2438925$BF527325-BC65-431F-8E77-885C860A3E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd33255c0cf1a49bbe7d4db18ccc46905992f46","datavalue":{"value":{"text":"Finite semigroups embed in finitely presented congruence-free monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2438925$73F89856-1772-402C-9961-F27D48C23A27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8858b629b9f059fe427831bfd26d82eb1a822b5e","datavalue":{"value":"1297.20061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438925$C158E9CA-BFA1-4607-9C3D-4D95AC5734E3","rank":"normal"}],"P16":[{"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":"Q2438925$053D15DB-59FC-465D-944E-0E9106DD6A77","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":"Q2438925$C9AA6D02-3EC5-4B60-90B0-F22236E22D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7d486a88e3a9cf7cc77a220be4754c2da96ea4f","datavalue":{"value":{"time":"+2014-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2438925$C36462BB-861E-454B-AA1F-0D4483360249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20af980d809deb07f7e32e7eab35c4b3f93ebeb9","datavalue":{"value":"https://arxiv.org/abs/1301.5336","type":"string"},"datatype":"url"},"type":"statement","id":"Q2438925$7374B525-0D08-4A5C-B48D-CC7F4E8C759E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d9a1a6528bae89b446605ed7af454497c852e89","datavalue":{"value":"The author proves the theorem stated in the title, as a first step to investigating the question of whether any finitely generated semigroup embeds in a finitely presented congruence-free semigroup, the semigroup counterpart of the Boone-Higman conjecture. He notes that evidence of a different kind for validity of the conjecture is provided by the result of \\textit{K. Byleen} [Semigroup Forum 41, No. 2, 145-153 (1990; Zbl 0702.20045)] that any countable semigroup is embeddable in a two-generated congruence-free monoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$D468F413-B7FE-45EB-9B3A-8A42A07359FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438925$5070967D-FCD0-4192-8030-576740C274A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea3b0b9c6a88690a6dc43bf78bcc02b1dfdc21f","datavalue":{"value":"6266185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438925$FD0EF7E9-67D5-4DFD-8A42-DE51FB97A477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2dd86810665eb271518fe600a550400120578ed","datavalue":{"value":"congruence-free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$35A3D368-917C-42D2-AD75-FCAEA0487AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$E6F6EDA5-D258-4F7B-BDC3-9D43C5669FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$7F698547-0F14-4362-800C-64065F64A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73a2f146136b5248618c92e0def0f01e98ed72","datavalue":{"value":"embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$122910B0-0572-4E8E-A484-A11B6694C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2438925$9E9C1E16-99E7-446C-9B23-4255337391E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$EEC88371-C6AD-4379-892F-E9BBC5C739F4","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":"Q2438925$E158FACB-00E1-4F5C-A0D8-35048CC5E36F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb4f629be6057088446028a297feb618458ef7c0","datavalue":{"value":"W2035002666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438925$BB7B6628-6EC9-4B1E-94F7-F29FC0B074D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1373296e6e7b6474e47734294e7c6a662d96712d","datavalue":{"value":{"entity-type":"item","numeric-id":1849635,"id":"Q1849635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$28C1FF8C-53C1-4FE9-8AF7-3171B80B2353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b028c055e242ea9fa612cc89d8690b5c258969","datavalue":{"value":{"entity-type":"item","numeric-id":4059096,"id":"Q4059096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$C03B6F70-6ACC-469D-892D-8BF7C3F76E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f0e3a68bce3d8a3e76cd3e46a3652ba39a5598","datavalue":{"value":{"entity-type":"item","numeric-id":3324157,"id":"Q3324157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$5E50169F-50D0-491E-9D4A-81F88F978973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f716045dfd388585fbc8809fed50b600c74872d7","datavalue":{"value":{"entity-type":"item","numeric-id":3785047,"id":"Q3785047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$5DEFBCDA-DF3C-435E-B4F9-7818A3EDED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c69b8946347c1ca4c62e5cff7b2e5be566c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":914849,"id":"Q914849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$A8DE8453-97CF-40CE-AEDC-E3F005BAFE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797506a05fe41bc7e1b8b799a00c755dfe7a2bd1","datavalue":{"value":{"entity-type":"item","numeric-id":3643581,"id":"Q3643581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$AE0B20A0-8DDC-4131-9BCE-59E5DB1C9CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$2B5FC76F-B9A5-4172-BB95-B63249D77FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$6C313756-94EC-4928-9927-EBD8C0F89984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f51fda0d7d53966cef93cf1d3242840e458f7","datavalue":{"value":{"entity-type":"item","numeric-id":1845087,"id":"Q1845087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2438925$F84DBD18-7FAF-4733-A139-DE6388D1706C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d00400e77413b6c49cb2f8671be0f72e57dd3fa","datavalue":{"value":"10.1016/J.JALGEBRA.2013.05.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2438925$EB0E2A46-2BC9-4623-9DFA-3B5B7A18C3A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bff28bdf1787f05c1f5e8fb4524a722dca2a1","datavalue":{"value":{"entity-type":"item","numeric-id":1421247,"id":"Q1421247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f584026d3e5f5621f0bbdd1407f1b077ff74ed62","datavalue":{"value":{"amount":"+0.819981038570404","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":"Q2438925$6209BC9D-48DE-4FE4-88BB-5EFEB5700BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad7f94d50df303f4811123edef6b25d866fe740","datavalue":{"value":{"entity-type":"item","numeric-id":914849,"id":"Q914849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2f08ada887836cbc492b075b37ce9624de522a","datavalue":{"value":{"amount":"+0.8131744265556335","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":"Q2438925$C95E5B9C-0ECE-456A-B01E-6291F540E769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff17f0553a98e3944d81f5110d5d92a49d008067","datavalue":{"value":{"entity-type":"item","numeric-id":5962334,"id":"Q5962334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f883dc1f907fae409cc8493daec5743f712acc38","datavalue":{"value":{"amount":"+0.8123815059661865","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":"Q2438925$D6E449BA-36E6-4467-8F54-E2E1E2C60162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6521a27aab73860b2686ad28efa193408612f17","datavalue":{"value":{"entity-type":"item","numeric-id":2834201,"id":"Q2834201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c31734d53ab1600abd2f6026d6b300393ad4a4","datavalue":{"value":{"amount":"+0.8061273694038391","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":"Q2438925$B839609E-DB03-4C74-80AD-ED5FAE81F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e39502f2cdb3024f1552c992871c8d250b7e05","datavalue":{"value":{"entity-type":"item","numeric-id":1272151,"id":"Q1272151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16efabbc2e9b2687955f9bc36ba2cf6aa1d27d02","datavalue":{"value":{"amount":"+0.7633587121963501","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":"Q2438925$108DF735-1C2A-4697-A7FD-B0D860FA9857","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite semigroups embed in finitely presented congruence-free monoids.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_semigroups_embed_in_finitely_presented_congruence-free_monoids."}}}}}