{"entities":{"Q1351001":{"pageid":1361740,"ns":120,"title":"Item:Q1351001","lastrevid":68531637,"modified":"2026-04-13T00:20:30Z","type":"item","id":"Q1351001","labels":{"en":{"language":"en","value":"On the size of independent systems of equations in semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984229"}},"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":"Q1351001$F3D97910-F270-49CB-9A9B-6F84B2B9066B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0350f0c7de373bb29885c05a57d5ceec46fd449b","datavalue":{"value":{"text":"On the size of independent systems of equations in semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1351001$D8E30649-A124-4AAB-9A87-A2C3FB80F0D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e74988237a3edf444068a42a9ed7f8980390560c","datavalue":{"value":"0877.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$73094594-56AC-43ED-B9F6-4547EB3CF6B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6df5e2b1dbe9302040b6977886f1ed7b55ed6ce","datavalue":{"value":"10.1016/S0304-3975(96)00064-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$78867AC8-79FF-4960-BC95-3AD77D87BCF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91cebe2c3862ce21207f21b89197103c43f307fb","datavalue":{"value":{"entity-type":"item","numeric-id":223814,"id":"Q223814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$94E991B7-1F1D-44B9-A630-5C08988CE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d52cfaca708fdb5e3d01aadbb13f66a0cb02c2","datavalue":{"value":{"entity-type":"item","numeric-id":223816,"id":"Q223816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$28598081-DD74-4F8D-8341-9DFA14877E4D","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":"Q1351001$B49EDB90-0BB3-4E11-A3DC-E61EED4A2646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1351001$7EACE698-8184-4EB3-8905-53E7AC39E5F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3db4e5ff566e8826db70347ddfe89cf276208de0","datavalue":{"value":"Compactness properties, that is properties which although originally specified by an infinite number of conditions are actually specified by a finite subset of these conditions, are of crucial importance in mathematics. One such property has been revealed recently, namely that any system of equations (with a finite number of unknowns) is equivalent to one of its finite subsystems in a free monoid.   Initially, this important property was stated by Ehrenfeucht in connection with formal languages. Namely, he conjectured that for any set of words \\(L\\) over a finite alphabet \\(\\Sigma\\) there exists a finite subset of \\(L\\), say \\(L'\\), such that to test whether any two morphisms \\(h,g\\colon\\Sigma^*\\to\\Sigma^*\\) satisfy ``\\(h(x)=g(x)\\) for all \\(x\\) in \\(L\\)'' it is enough to do that on \\(L'\\). It turned out, that this compactness property of languages is equivalent to the above compactness property of free monoids. A bit later, these properties were shown to be true, essentially as a consequence of the Hilbert basis theorem.   Still another formulation of the above compactness result is as follows: Each independent system of equations (with a finite number of unknowns) over a free monoid is finite. Our goal here is to estimate the maximal size \\(F(n)\\) of such systems in terms of the number \\(n\\) of unknowns. We do this, not only in free monoids, but also in different semigroups and groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$586B18AA-9E43-43D0-BC23-7F2FC604F69F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$E3312BBA-79CC-448C-9C22-77D01F8B3749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$9F673C9F-0B1F-46C0-9E48-69E6EA644EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$0DB19572-FA11-452B-A8A0-A1BAE03F24AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a087b4b257bf2d94cce9a85e73c65efd9387457","datavalue":{"value":"984229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351001$DE19B947-C245-48FA-AD32-AE59DBA029BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$0259A477-7DB3-4595-9559-2A3868BDCE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9666eb16fd0f43698eb12591f3367f9d53e0115d","datavalue":{"value":"compactness properties of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$BFB50811-8AC9-40A6-A9A4-B5D41C51683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d02194c8ea35a2200e04b26ac7b3e53a7e2049","datavalue":{"value":"compactness properties of free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$0813F472-3B3A-4152-9F68-00ACBD9B30DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b282fab99d10285c734c7255101de8070d02264b","datavalue":{"value":"independent systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$35956966-C3A8-4A4C-9548-F75DCB3913B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351001$6E77E4B4-EA50-415C-AC32-D9399844ED52","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":"Q1351001$D67A1111-7EC1-4B65-BCD1-E360AB57D0A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bded8f67469698565087411d6ce4229139e7b50d","datavalue":{"value":{"entity-type":"item","numeric-id":1082090,"id":"Q1082090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$154A4C08-B226-407C-B4B6-E56695C2B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ced197be3b33ee0619c48d8e09045e83983d41","datavalue":{"value":{"entity-type":"item","numeric-id":3708973,"id":"Q3708973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$FF0AD885-C928-4321-9900-4AB832DEA55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20928c7f2c11f2ebfe3e39d3742f5d1cff313dfd","datavalue":{"value":{"entity-type":"item","numeric-id":786545,"id":"Q786545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$2B483A67-665A-4ABE-800D-379D5D6F2CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$6EA01801-F338-4317-B24B-245C18EAF1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d33559c03ddf0f79fbb43f6d7242f6c50aac99","datavalue":{"value":{"entity-type":"item","numeric-id":3751772,"id":"Q3751772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$DAE0A918-D53F-45F1-B48B-2C7C39D7F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61529d6ee2186e3456b208443b1b6c3d33c137dd","datavalue":{"value":{"entity-type":"item","numeric-id":4354689,"id":"Q4354689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$1A568F25-4D54-4D96-ACDF-2AA41F039FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41045e21385cfc9d1375d5714738fbbb3b4b97f","datavalue":{"value":{"entity-type":"item","numeric-id":4745979,"id":"Q4745979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$73816A92-B793-4E08-A47E-2778437C10D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bee5a181d891b451d07326284c0a19b6b74acb2","datavalue":{"value":{"entity-type":"item","numeric-id":798007,"id":"Q798007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$4D49B89E-3A3D-447D-8A6B-14F0457E0BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f6e93c6ebff3e0f9f24e9852a8d52922c49014","datavalue":{"value":{"entity-type":"item","numeric-id":3769982,"id":"Q3769982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$879FA626-7F49-44B6-BB12-7697B9461D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c7ea044502f0920ded4df0ec7f619aa7cdfadd","datavalue":{"value":{"entity-type":"item","numeric-id":1892201,"id":"Q1892201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$6F5C6BA5-B1C3-4E4E-9CEE-A9E1BCF0C303","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":"Q1351001$180E1445-3A6F-4FDE-ABE3-A5F938EA5666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf847c0ce444c15b0c56f8c01ad1df95bd02c56","datavalue":{"value":{"entity-type":"item","numeric-id":4430309,"id":"Q4430309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$894DEA18-38F6-4326-8372-548BF65A39B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$E2C2C153-D9F2-4654-9312-7DB26B2AC290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22651c771064c0bf7d23b26ae97612b909194df3","datavalue":{"value":{"entity-type":"item","numeric-id":4430289,"id":"Q4430289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351001$30037D3F-AB77-45A8-A801-3738D1B89E24","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":"Q1351001$581E12A6-B57F-48D5-BCB6-B66B2C03B79A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6f298dc1b49c85666521116789118ac7b2cf76","datavalue":{"value":{"entity-type":"item","numeric-id":3751772,"id":"Q3751772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249f2bca6d152c42c86f91d8f28a8fedda4ff2a9","datavalue":{"value":{"amount":"+0.8531619906425476","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":"Q1351001$6F115830-894E-4FEE-B036-6F0DA1C20613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e9207415295c681edb1eae699d01f95486abb5","datavalue":{"value":{"entity-type":"item","numeric-id":2333031,"id":"Q2333031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18758c24b92b83f2ed3bbe4efe78f986eb1a7766","datavalue":{"value":{"amount":"+0.8479021191596985","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":"Q1351001$3ACF1E59-5337-49F2-87D9-EA3CBC7A88D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ba756877a12c85c57165082553df46ae81e39a","datavalue":{"value":{"entity-type":"item","numeric-id":2192368,"id":"Q2192368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78b49e3c6e51ea00d0cdfdd47d095b2e9f42d9e","datavalue":{"value":{"amount":"+0.8093920946121216","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":"Q1351001$CFFAD77E-CA75-47C1-9C7F-32F879CDAE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f206250afbcd6a3009f94f404f4c0418a46dbf43","datavalue":{"value":{"entity-type":"item","numeric-id":685449,"id":"Q685449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091e5559620bfb5f132b391ab8c04cfa5093af60","datavalue":{"value":{"amount":"+0.8083488345146179","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":"Q1351001$C92A4DDF-1F19-4EC8-BEC4-92C6E873517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8013726411be90d89698f22f1403d398f2815b7","datavalue":{"value":{"entity-type":"item","numeric-id":4354689,"id":"Q4354689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28810af5845b6d69b596f03b71f851bdc67bafd7","datavalue":{"value":{"amount":"+0.8080147504806519","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":"Q1351001$86086A71-F690-429E-9157-5785766988EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the size of independent systems of equations in semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_size_of_independent_systems_of_equations_in_semigroups"}}}}}