{"entities":{"Q798007":{"pageid":799855,"ns":120,"title":"Item:Q798007","lastrevid":64450839,"modified":"2026-04-11T19:57:32Z","type":"item","id":"Q798007","labels":{"en":{"language":"en","value":"The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870624"}},"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":"Q798007$9433B25D-F247-40E4-A272-76A70FC08A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9e2b44242d2781b2cf5d584437e783f39a02d4a","datavalue":{"value":{"text":"The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798007$B9E8186E-6C87-4F3D-8248-4A7CC8C59F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ba023fde7bd259b6cfa9c5ff3f6c6ed40d5f26f","datavalue":{"value":"0546.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$FA24289B-9263-4A98-8D7F-A0CEBBFD08CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c850b6e2bb212b1d514fe347048407fa95c1d2de","datavalue":{"value":"10.1016/0304-3975(84)90004-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$B3BA26A8-C756-4209-8251-D3F34C122125","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":"Q798007$D28C1054-77CB-486B-A18E-19229355C845","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":"Q798007$162AE876-79BE-4067-8FE6-221BFF91D306","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q798007$66496B46-7C1B-437E-91D8-6ADEBC16E63E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea0763c1c5bfafd68dd31964d4128738b444a7bc","datavalue":{"value":"The author's goal is to survey recent results obtained on the Ehrenfeucht Conjecture: For each language L over a finite alphabet \\(\\Sigma\\) there exists a finite subset F of L such that each pair (g,h) of morphisms on \\(\\Sigma^ x\\) the equation \\(g(x)=h(x)\\) holds for all x in L if and only if it holds for all x in F. - The author discusses an interpretation of the Ehrenfeucht Conjecture in terms of equations in free monoids. Namely, the conjecture is equivalent to the following statement: Each system of equations over a finitely generated monoid and with a finite number of variables has an equivalent finite subsystem. - In the sequel the author discusses the connection of the Ehrenfeucht Conjecture with the so-called HDOL sequence equivalence problems and he turns to consider when the conjecture is known to hold. The next section devoted to establishing to Ehrenfeucht Conjecture for all languages over a binary alphabet. The author concludes that the Ehrenfeucht Conjecture is a well motivated and fundamental problem not only from the point of view of formal languages but also from the point of view of free monoids as a whole.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$E6C0E13A-4539-4895-93E5-F281EBF0E410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$B3BCB61E-E12B-4D5F-8DF4-5561580A5AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$06019D59-7275-4A82-B38F-D5EAD8F81AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$CF4C16FC-A07C-49FB-858F-E7ADFAA40352","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423657b199390f68e076446fe592a28995a06b42","datavalue":{"value":"3870624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$AAA32508-82BD-4DA5-BA81-AEB9C3CD3DAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$57D9012F-2513-4F0D-A97E-32BCC38B7709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289882320c894d4de35d92026090dde45492b13c","datavalue":{"value":"Ehrenfeucht Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$F9D2B323-99ED-456C-BF5D-AC8651B31688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf7d5b95de32eccbb831a9c75f377e03c18b9f4","datavalue":{"value":"equations in free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$263B29FE-20FB-4F04-8081-83F719AC4801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fccd19820d87ac09fc2bfbb7128e2282bcfe27f1","datavalue":{"value":"HDOL sequence equivalence problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$2A1E8E48-A5F2-485E-8307-BF4244569117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b0fd883847b96ac4dc0b422d27caeb4c3b34b3","datavalue":{"value":"languages over a binary alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q798007$9C5053DC-DF5B-4622-A4BA-A1FD3DA81356","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":"Q798007$BC631A14-D019-4107-946F-94140E230658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a2e70953f5cf18c94170e7bc2d45b0df47f513","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90004-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q798007$89B860FD-3489-4A00-A5D5-2FEA996EC356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e86a9ab8c1b7b046707c6bd7e7cf3a4041e0ac9","datavalue":{"value":"W2036991508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$C3075737-7F83-439C-A06F-AA6AD591C620","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae521d5e61a633110edb43c7f62a70b7f22a7acd","datavalue":{"value":"Q123024946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798007$E43A2012-0985-4887-8AE9-0F15CF738778","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb07ca89a63cc1d58eddbd66f8d974a65762099","datavalue":{"value":{"entity-type":"item","numeric-id":3673125,"id":"Q3673125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$466535D3-82CB-4419-8F7D-C87571F031F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eb6c60f510027d4ff56a9965f9e7f4ba861bae","datavalue":{"value":{"entity-type":"item","numeric-id":1837540,"id":"Q1837540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$467A534B-BFE4-4DD7-84AA-F305750C25E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$B7B06FFE-4FB8-4496-8225-5557D94A035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40691ce6cf0d5bcb9135bc062b62084b420222b","datavalue":{"value":{"entity-type":"item","numeric-id":1132974,"id":"Q1132974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$53DAA716-24CE-41D9-AF30-8754EFB4E8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c822ac56edac078ea752527f73f4d5749976935","datavalue":{"value":{"entity-type":"item","numeric-id":4178516,"id":"Q4178516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$1F2E9194-4DD6-494B-8B9B-BCA431D5643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5550b7831b8e7289baaa82c5cca004bd46dd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4140409,"id":"Q4140409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$F499B4F0-E7B9-4580-86E7-3FB4C6CBE996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a6cc612cd69e71b2b1680c5fce10af5da3602a","datavalue":{"value":{"entity-type":"item","numeric-id":3901701,"id":"Q3901701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$75CF5650-A9AE-4BD7-A009-77654B0D6E5B","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":"Q798007$B0641717-CFC8-4337-A71F-08E632D10C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc7891a47fd12c127f67d89374cac701a5407eb","datavalue":{"value":{"entity-type":"item","numeric-id":3334093,"id":"Q3334093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$7F23C547-23E1-4A99-B5B8-84473143B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5b5c8c797bb74ab71d70c87ac20a0456551a72","datavalue":{"value":{"entity-type":"item","numeric-id":3945604,"id":"Q3945604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$468D91C7-4233-4EE4-8361-51F1C534DE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc01f3100301b38f61a7577d1472e11bbe79b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1251076,"id":"Q1251076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$1606D980-F296-47C9-AA24-5B664EE49E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e6c6e76c534f7463056bc07257e9faa9fbf18e","datavalue":{"value":{"entity-type":"item","numeric-id":1148122,"id":"Q1148122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$9B4F4DE9-DB3E-46A3-B5B4-646FA6361EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a73296976af58b36ae65b90e84f976b2cb49ba","datavalue":{"value":{"entity-type":"item","numeric-id":3341932,"id":"Q3341932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$F1FF5CC2-37AF-4F74-B681-2FE13CAF0AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2cc8bce8a19ae76cd76755edd0109ccf1e5909","datavalue":{"value":{"entity-type":"item","numeric-id":1168746,"id":"Q1168746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$FF7CC1E1-BE14-47D4-9AB2-C04204E54170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3c4123c6f16f5598589a408c561cf8e1584d03","datavalue":{"value":{"entity-type":"item","numeric-id":1056551,"id":"Q1056551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$C7ED5223-A2E2-4084-AD55-485782C6B511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9620843b69c16d33c83a056b1e6f656109dde21","datavalue":{"value":{"entity-type":"item","numeric-id":1258182,"id":"Q1258182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$EDF0127D-A32D-4B41-8506-6F837551721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad14a7dd4f445a4e52bb9ac7dce1af5f5adb91c7","datavalue":{"value":{"entity-type":"item","numeric-id":3930659,"id":"Q3930659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$C502AEAF-519C-439F-8A9D-199FD7642296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$83FC35C9-9F73-407C-AF04-215E637CC306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac0a1a323edf8763338426f5187bcb577288f83","datavalue":{"value":{"entity-type":"item","numeric-id":1225612,"id":"Q1225612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$058FAF31-A187-4124-B600-AA808608D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$73F90F6B-1666-4C3F-808B-3B9B64D10DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf779d470f13f85fc280c65c62dc8bfba3cdfc6c","datavalue":{"value":{"entity-type":"item","numeric-id":3962486,"id":"Q3962486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$1EB72FA7-DF8A-48BC-ABC3-F4E50E84ECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b2b228c5eff127e4853142501beb97a44e9a16","datavalue":{"value":{"entity-type":"item","numeric-id":760507,"id":"Q760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$57640BCD-6F94-470A-AECB-62196547FEBD","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":"Q798007$D16306DE-AA27-4F56-8486-05F69CC94540","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":"Q798007$709EFE4A-6C06-44DB-965B-DF10CD1C8958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$390643CE-65B9-487A-8627-6E776A78B075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f862e5982ef76da3452eb1c73e9cabb62764a09","datavalue":{"value":{"entity-type":"item","numeric-id":5610821,"id":"Q5610821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$3D27E0CA-675B-4216-862C-1BB751D12963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e0742007f100a408bd4b2a492da7e38e14b866","datavalue":{"value":{"entity-type":"item","numeric-id":2562694,"id":"Q2562694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$B7BA9919-A37B-4FD2-8039-3339E5D19FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$9515D732-11F2-40B1-8519-1CB2EA8BBE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc979ce7142d13c4bd5ac36a6de3c61811c1695","datavalue":{"value":{"entity-type":"item","numeric-id":1237362,"id":"Q1237362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$B3883C16-0AE2-4646-8668-37A724163F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2272aa4973074398e28346f7bb9b2bf856c1a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4194484,"id":"Q4194484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$BE8F7707-591F-4EC2-9745-D5AD64BCDE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f60764865641217d564887c22fdd45b8531bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3948608,"id":"Q3948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$BD59A10E-53E1-4D3E-B11D-07A4B9904AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798007$EA2A0FF3-9CD2-42DA-84DA-365332242F7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2897c463a581697b12e4f3299f7e9e85f7255f27","datavalue":{"value":{"entity-type":"item","numeric-id":1082090,"id":"Q1082090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b9eb6984f75fde5e4d55f0f8071f66a47e7e8d","datavalue":{"value":{"amount":"+0.8549737334251404","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":"Q798007$7397E049-84EE-4F75-A7DE-AAA3F21B11F0","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":"e114c63c97498db8dec52b7f464f2fb2fb1c8d68","datavalue":{"value":{"amount":"+0.8260753154754639","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":"Q798007$E3828B39-BE14-48BF-BAA7-39EC87BF5A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b98db3757ffc355f2d2a048901c21eec0aaa64","datavalue":{"value":{"entity-type":"item","numeric-id":3793751,"id":"Q3793751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0b060f76f89570b6eeadfe1de48fb9116fa743","datavalue":{"value":{"amount":"+0.8077120780944824","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":"Q798007$9F18CE86-EF08-4CE7-AD89-E2ACDCA8B759","rank":"normal"},{"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":"e61fdf00f2e24ad7fa22b2fed55579bce2358dae","datavalue":{"value":{"amount":"+0.8054086565971375","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":"Q798007$A42E3BF0-CEFA-4D37-8B10-65B74BE77CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be25b6ac92b41bb49929103c1b994fe3ea6f2fb","datavalue":{"value":{"entity-type":"item","numeric-id":1080530,"id":"Q1080530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0d58cca6a481945f7ce70b9e8881630d924693","datavalue":{"value":{"amount":"+0.8029071092605591","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":"Q798007$92A26598-1895-43DD-8526-57FF9515AD6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Ehrenfeucht_conjecture:_A_compactness_claim_for_finitely_generated_free_monoids"}}}}}