{"entities":{"Q1075439":{"pageid":1086191,"ns":120,"title":"Item:Q1075439","lastrevid":66088209,"modified":"2026-04-12T07:28:13Z","type":"item","id":"Q1075439","labels":{"en":{"language":"en","value":"On deciding whether a monoid is a free monoid or is a group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3950850"}},"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":"Q1075439$E6C0855B-E99F-4E09-86F1-50C8E471CB4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"683b6077676494e7e78cd1b3fd064b55a3379c8a","datavalue":{"value":{"text":"On deciding whether a monoid is a free monoid or is a group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075439$67D70AD9-5C4F-46C5-8E0E-5FEE0234A107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0736f5c2457ec58d27aecf8709d59244733f30e6","datavalue":{"value":"0592.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$105F25E6-C055-484D-B015-F7C26F10AA2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac7e7c784f81eb0766c73f8041cb7e3c5f054bec","datavalue":{"value":"10.1007/BF00268077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$CE648473-7CBE-484E-A797-A08E31C0ACD9","rank":"normal"}],"P16":[{"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":"Q1075439$6341D93E-8864-4868-8AAF-36267D78AC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$8757535B-FC35-416A-83E1-9E0700563DA4","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":"Q1075439$47D1D36F-F47C-4EF2-AA00-215E7F97C19E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2fb8547f77ff647ac979bcfe8eab387494bd527","datavalue":{"value":"Monoids which are described by a given finite presentation (\\(\\Sigma\\) ;R), i.e. \\(\\Sigma\\) is a finite alphabet and R is a finite string-rewriting system on \\(\\Sigma\\), are considered. It is shown that the problem whether or not such a monoid is a free one or a group are undecidable in general. However it is shown that both these problems are effectively reducible to a very restricted form of the uniform word problem. So whenever for some class of presentations this restricted form of the uniform word problem is decidable then the above decision problems become decidable. It is proved that this holds in particular for the class of all presentations involving finite complete string-rewriting systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075439$63AB2519-556B-40D8-84CF-CD76CF3F2E8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$5E939362-DB73-45DD-AD07-03925041E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$9C620697-7992-41C8-A91C-91D64F8C9248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$07D99575-F992-4CC1-B698-33F8CA9EE71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd1758dc22b6fbae10f1a15cf1aa93a79d9d410","datavalue":{"value":"3950850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$0D658CD1-8D4B-4B04-9A30-86229485C3A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808c05c220e474ef429d17a05533e11c23cae1e5","datavalue":{"value":"finite presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075439$64E9C365-55F6-45CB-92A2-EE38C4CDD158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6082e1c99895a2b8a7209db0169ba528dfff5cf","datavalue":{"value":"uniform word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075439$5AE85968-D955-4521-9166-32245CC3BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40a5f0e80dae57ee5ec0257fb1e7c1cfca49d48","datavalue":{"value":"finite complete string- rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075439$68A66EEA-158D-41E2-BA55-B96FA92C9D1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8e5e75dedf8ab0bb7287ae40896accfbf134619f","datavalue":{"value":{"entity-type":"item","numeric-id":1770495,"id":"Q1770495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$0830B073-C5AF-47F7-8A83-D404E0485E59","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":"Q1075439$5F40B8C7-3881-45CC-9A32-4A5EAAAA2F5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"782ba884bddceeeeea0c893b705ae4c41557b763","datavalue":{"value":{"entity-type":"item","numeric-id":1166924,"id":"Q1166924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$5FEE588E-A0EA-4391-A350-3B46090C9DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$3C4D8777-B0BF-4143-925D-DA027A93A239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43031065c876269a31b41291423c89705f79e40a","datavalue":{"value":{"entity-type":"item","numeric-id":3714064,"id":"Q3714064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$DD3350E1-E0A3-489E-9F66-CF796A001A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$D0CCF4D8-E87E-4C51-8903-F23C11CB81D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$E07A07C7-F364-4A22-BA0A-72C350F0D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac80fd37ae52a4473f445e2dd3a2ffd75ffad640","datavalue":{"value":{"entity-type":"item","numeric-id":1073015,"id":"Q1073015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$A788C781-CAE9-47EA-970E-7188B3850ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13354f860f564233e3fdc040eb05000a09a267ad","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$B9F84ECA-86D0-4869-8A70-85FF35CE60FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ae0c688904d1907fc05177be62297d8dcf54e3","datavalue":{"value":{"entity-type":"item","numeric-id":3734715,"id":"Q3734715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075439$A44958B2-7303-4452-BC02-256757724FDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c796275f531b13ffebc066ba3b0c03b3e87968c2","datavalue":{"value":"https://doi.org/10.1007/bf00268077","type":"string"},"datatype":"url"},"type":"statement","id":"Q1075439$98F60615-B905-4A75-984A-95A708B59164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c684eb969a8e4aac5773a9b117d939b5384b23df","datavalue":{"value":"W2090238248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075439$759316B4-4D69-47D3-B58A-8A7EDAD70298","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3d91a2de6916ffa72e64e63c74ba84eb7037da","datavalue":{"value":{"entity-type":"item","numeric-id":4594219,"id":"Q4594219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e42c4f223d1c128b2d7c352f99580997693669b","datavalue":{"value":{"amount":"+0.884943962097168","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":"Q1075439$9B6C5A6D-5781-4A97-B29F-B0801264B0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6ae5adfff606f4c874fd6335a3ef181c6fc4bd","datavalue":{"value":{"entity-type":"item","numeric-id":910850,"id":"Q910850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ca0bcaf80db61cef5957f5aff70e7c748219bb","datavalue":{"value":{"amount":"+0.8592702150344849","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":"Q1075439$B9CEEE22-8713-4E2F-9586-712A66FE3C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfec968b80fe1b8d2fcbfc7135a616919ef657b","datavalue":{"value":{"amount":"+0.8473960161209106","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":"Q1075439$AB9469CC-F498-45C5-9377-D92BA1E75952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1893bb284e47b5d95cb1550c7d4ac622198f843e","datavalue":{"value":{"entity-type":"item","numeric-id":3734715,"id":"Q3734715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c13cb28f458d35bab0433fa199f36d1baa5526","datavalue":{"value":{"amount":"+0.8469465970993042","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":"Q1075439$AF3D3E94-8EC2-4B66-8A60-09E30BCA0762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b9ea1c41797f2c66e1109b6d2a4cd35a982504","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ca6b8c2db0b70ac9dddf1ae1bd033611bd9ee2","datavalue":{"value":{"amount":"+0.8386082053184509","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":"Q1075439$C7FB7D3F-2D2F-4787-B352-24C9EBD901F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deciding whether a monoid is a free monoid or is a group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_deciding_whether_a_monoid_is_a_free_monoid_or_is_a_group"}}}}}