{"entities":{"Q685449":{"pageid":687298,"ns":120,"title":"Item:Q685449","lastrevid":78188987,"modified":"2026-05-06T10:59:58Z","type":"item","id":"Q685449","labels":{"en":{"language":"en","value":"Equations over finite sets of words and equivalence problems in automata theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417373"}},"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":"Q685449$CEE23083-88EB-4773-9D27-F9A82080BD14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1589c6fcde58867f021ae3f9ccf64bbe6fb6b85","datavalue":{"value":{"text":"Equations over finite sets of words and equivalence problems in automata theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685449$06337D71-3061-411E-8044-4AE06888AB2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4112d39662990576abb59268639e033adb11cf4a","datavalue":{"value":"0787.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$C5EBFC96-0C7C-4934-BB89-DD0C72FD6DA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7dbfe732d337e69c97ce39565d47b28f5b1f1e","datavalue":{"value":"10.1016/0304-3975(93)90232-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$EF50F2E2-59EB-4BB0-AEA3-2E9642FF9AD2","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":"Q685449$990C4764-566C-4719-A8E3-4C96FA920628","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":"Q685449$47ABBB71-8E70-48E8-8BC3-67EC5B905AEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685449$E10C7A0B-8687-475D-8CC5-9BC8901D4E47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fac6aa4cc4fc476e3eacf7bb9b156819deb18a01","datavalue":{"value":"Equations over the monoid \\(FS\\) of finite sets of words are studied here. In particular, it is shown that a constant-free equation \\(u = v\\) has a nontrivial solution in the monoid \\(FS\\) if and only if the equation has a nontrivial solution in the free monoid of finite words. The Ehrenfeucht conjecture is proved to hold for the (free) monoid of prefix codes: Each system of equations in a finite number of variables is equivalent to a finite subsystem. A restriction of this statement is proved for the monoid of finite multisets (or polynomials) of words. The paper contains also applications to automata theory and a list of open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$8D2A8615-271D-4476-A87B-1B95D112DFC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$6BE57D69-2A84-4A83-BC0B-5BDA6C02D285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$BE387354-80AC-4280-8EF1-86D75279B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$CBCC8C25-C203-4734-9046-E0446BABDC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$65A3DC21-6C98-4129-A748-895031BDA8DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c203a2a8af8b2dad4669b0d33854537f7d6f48e","datavalue":{"value":"417373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685449$BBC99FD8-5E66-42B6-AE1A-ED9A4A402594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92e2e8738c3dbc594354e1c3b366dc2e7450e32","datavalue":{"value":"finite sets of words","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$064AC054-CC43-4465-9F9A-92B6A40F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$90CE8183-B688-4ECB-B617-9606C8C8F97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d0ffba6115054586d6b15b93afa7ecd639390f","datavalue":{"value":"Ehrenfeucht conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$FA6B9FEE-A296-4113-9B36-DBA573A08672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c258c07110e4934e59f6e503b6034070661c76","datavalue":{"value":"monoid of prefix codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$CD54145E-4176-471C-AEA2-EAFBDF4B1B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a9af3c348dd19e1424bff779d1dfd8fb8311ca","datavalue":{"value":"system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$CF175A6D-DDAF-4A94-9C92-5DC3F3165276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b66abe765ee3a517d98bdf85a9e9f509748a638","datavalue":{"value":"finite subsystem","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$006AC109-4D17-49CA-8F68-56FE83E7ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6132bb9a0b91a7071fbc293ac3ffe7398fa157ab","datavalue":{"value":"monoid of finite multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q685449$B5F12ECF-698C-4C0F-B419-156C658EEBB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$7EDFD3E7-B3AF-4728-8A03-FA693D179467","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":"Q685449$E0249E7F-9DDE-42BA-B1BB-6CDFECE0B8DC","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":"Q685449$4D32C439-BA6B-4891-B86E-396F068C2DFB","rank":"normal"},{"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":"Q685449$CC01FAF7-F8DE-41D0-864C-1CAD6D8B1250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d8ab61fe618e251579fb7fd6341eff659afa85","datavalue":{"value":{"entity-type":"item","numeric-id":5565205,"id":"Q5565205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$F6397906-66F2-4E6C-AB00-E938EEC95970","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":"Q685449$8E7E22FA-C621-47AF-AD28-440DEDDEAC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$820AC18E-1A60-4AFE-90DA-0AE3D641130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$ABE99E58-803D-41A2-B83D-B5FC9E351A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf9fbc11837e969093ea75b7282a8d70f41abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5562665,"id":"Q5562665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$342C8B65-AF61-437E-944E-EA4464F0C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b6305a8e888cf727a2073da3541e6776a8313d","datavalue":{"value":{"entity-type":"item","numeric-id":3808246,"id":"Q3808246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$5468D63A-D109-4398-9795-11F05A412C4A","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":"Q685449$2343BF52-7A52-4E3B-AE3D-12B4F0269CB4","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":"Q685449$F88B53A7-3EA1-4476-98E8-9205C5EED4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35ec6a8cdca9603b6aea05613b5d714a677ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":3711770,"id":"Q3711770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$E7B4C93D-D0A1-4A04-A88C-65F4A869D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239e14608bb684951922f9c8bb30036c33157150","datavalue":{"value":{"entity-type":"item","numeric-id":1090467,"id":"Q1090467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$0B4A09F5-11FC-43C9-AC01-EB9DF93E70B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6725886f940f864a3004b4f1d6caa4c1f95f9b56","datavalue":{"value":{"entity-type":"item","numeric-id":3769988,"id":"Q3769988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$0CFB2809-3540-4E17-856F-49B0CA437351","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":"Q685449$027087F1-6DE7-4426-84CE-6DECF1D644A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$3AC4BE2A-1BC3-476A-9FBD-E7EDAE0994AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$3E34C7D9-7FB2-4D70-AD10-BE286788AF2F","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":"Q685449$39A93B48-CEE9-40C5-9ED3-5C22A1F0C625","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":"Q685449$BF94135C-AD18-4889-B327-A89B3CEADD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d50f449ad80272ed13d423b15ed5757070fde05","datavalue":{"value":{"entity-type":"item","numeric-id":3782812,"id":"Q3782812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$44818B5B-F210-4E83-BD45-1796D10236B6","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":"Q685449$3677C46D-1893-482B-8CD1-7495B0CE82F3","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":"Q685449$FBEF2F3A-E817-4F91-BBDD-B823025F4694","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":"Q685449$ABB0B666-F256-40CF-BDCD-AEFF376A2D67","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":"Q685449$C8CF4CA5-D2F1-480B-B500-BE404005A72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5970ce69b45448d8b71d2b607ee2c1ac2649ead0","datavalue":{"value":{"entity-type":"item","numeric-id":5668358,"id":"Q5668358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$0F55D2BF-CEB0-420F-8975-98BE29F1C61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d9be1d80d14c450812f61cd11e0fdb50e8b8ef","datavalue":{"value":{"entity-type":"item","numeric-id":3031953,"id":"Q3031953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$B2197FC1-D1F8-41DF-B043-14642795DA7C","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":"Q685449$A696EE66-328F-4529-9186-5A8D69749831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$867D140A-E566-4013-9794-548B4981E078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc974d370f3f3f2c0fa14da1160bbca2b962ae53","datavalue":{"value":{"entity-type":"item","numeric-id":1238433,"id":"Q1238433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$6590E25D-3D87-4351-AD2B-C717BA5C1F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a989d5b893328eb4ee90b6b35e09f2cbbef6561b","datavalue":{"value":{"entity-type":"item","numeric-id":4001349,"id":"Q4001349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685449$1341CFF3-FB8A-468A-AB05-4A20234B5DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918df619348b520ac79ce03a64adc319eb985e26","datavalue":{"value":{"entity-type":"item","numeric-id":4347966,"id":"Q4347966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20415a874f301d01855393aacd493264fd5016e","datavalue":{"value":{"amount":"+0.9099820256233216","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":"Q685449$3235AB51-ADA3-4BDD-A7EB-70CBDF8C2C91","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":"33f5a79f3d318eb238a286db61f3151a135f576c","datavalue":{"value":{"amount":"+0.8468677401542664","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":"Q685449$B08327E7-0C33-4D59-A9F4-55B7C4564897","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":"17af69eae18b13716d2258a9e64431a595c76a98","datavalue":{"value":{"amount":"+0.8325247168540955","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":"Q685449$46093F18-EB58-4A7D-90E2-0330B90D7B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8adb08cb4c9911b52fc18c0e28f2699783ce77","datavalue":{"value":{"entity-type":"item","numeric-id":798007,"id":"Q798007"},"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":"Q685449$4DCADC8B-AA0A-4B96-9A20-E5585EC72E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d6d6e2f4b198476e60c4fbceeb5d52456f532c","datavalue":{"value":{"entity-type":"item","numeric-id":1087020,"id":"Q1087020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ce21c4e74fa7804393012d59d1054d6f8a04e7","datavalue":{"value":{"amount":"+0.8084605932235718","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":"Q685449$95747FA8-BB47-4866-B817-EB8EBBED57A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equations over finite sets of words and equivalence problems in automata theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equations_over_finite_sets_of_words_and_equivalence_problems_in_automata_theory"}}}}}