{"entities":{"Q1082090":{"pageid":1092842,"ns":120,"title":"Item:Q1082090","lastrevid":70576479,"modified":"2026-04-13T15:33:31Z","type":"item","id":"Q1082090","labels":{"en":{"language":"en","value":"A proof of Ehrenfeucht's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972217"}},"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":"Q1082090$D5708E01-205F-4F1F-854E-D0F77B47FC3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd4e8b4b31d0ab7a457331a2e3f501ac7312b5e3","datavalue":{"value":{"text":"A proof of Ehrenfeucht's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082090$7E574709-DAE3-4A96-B634-AF416837CCAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b404bf4e6eb8b7e5a3983d624a2a09b7c0dc678","datavalue":{"value":"0602.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$3F5C9B15-DA26-4306-9808-0BFEC7217AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc52970feedd23ab23c0b70181c0bc9c5b9dbd19","datavalue":{"value":"10.1016/0304-3975(85)90066-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$B515A3C7-B486-4ABF-8D28-D67C820E5D1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082090$BF69744A-B80E-4AED-B48E-75D8AFCC06F8","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":"Q1082090$1675E62F-D8DC-4E5B-85CD-76D5765DD8A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1082090$F02F7E73-8BE9-40D9-AAF4-F5F4D57A71B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cee0dfc36a8b49d9b5cae1329cf922b1e6f16187","datavalue":{"value":"Ehrenfeucht's conjecture states that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T, then they agree on S. It is the purpose of this note to verify the conjecture.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082090$A6FC28D4-884B-4C64-89A7-FF498C87C29D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$759EAEE6-CE62-48E8-9417-D37FB00E8FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$E98263D3-E6F8-4B5A-8733-2938104FBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$4986CE86-BEAB-4100-9B98-07DBB873860F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d333aa53aafa3ad8843b73b01e83f29971d0574c","datavalue":{"value":"3972217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$411BAE0E-BF80-4BF9-BFBC-9EFA6748A9DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d62d6341e1fbaeb4bdb795d85fa5163962980b","datavalue":{"value":"finitely generated free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082090$BA8613A7-C75A-4BF3-9FCD-A8BB8724E743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f04570def689715b84014013c9f3df4e02641","datavalue":{"value":"endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082090$1615DCEC-C9C0-4033-A695-F425E770EDC1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a47c5f3658c4f16024c4a2e8d0a0329c984fd63d","datavalue":{"value":"Q123342920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$514353E8-3AF2-49DD-9CA6-7ACDB5F7246E","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":"Q1082090$B6821BB4-F4A4-483A-B999-32E5301EC7DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9606409a92114bd8d304ce06e6ea7c2cd5c59ca","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90066-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082090$3256C96C-4561-456B-B685-4BD5BDAB157E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f42349b9757de211029e7d23a32df2c9c76fe1e7","datavalue":{"value":"W1965895990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082090$61FA36E4-59D4-4641-9321-D07B45008CF9","rank":"normal"}],"P223":[{"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":"Q1082090$B62140A3-4017-4224-8A43-0909182A521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13451d46b4265e74f4abff45d3e387762faf308","datavalue":{"value":{"entity-type":"item","numeric-id":1169039,"id":"Q1169039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082090$B5C240C3-E38C-4A82-811C-13FA2220F34E","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":"Q1082090$F5A35276-9E0E-464D-B57C-C49E2B7171D6","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":"Q1082090$11A51C3E-59D2-4C66-AB55-9793EF7C8E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dd6560a229f945959a7293d8e86ffe0f59161c","datavalue":{"value":{"entity-type":"item","numeric-id":5829061,"id":"Q5829061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082090$8778F91F-3756-4315-A425-C5FCF045F99F","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":"Q1082090$8F74B4AF-D764-4541-837F-ACBE12A555DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d746dc5cfc934a3aab082da01f7858276b3119","datavalue":{"value":{"entity-type":"item","numeric-id":3259716,"id":"Q3259716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082090$AFD11879-8208-4F65-A519-70B2E9318251","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e36949c618c1d282447b5fc5934e84ded5408a","datavalue":{"value":{"entity-type":"item","numeric-id":1075775,"id":"Q1075775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c455dceab40f4eb4049af730d5d8f220edae0d48","datavalue":{"value":{"amount":"+0.898987352848053","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":"Q1082090$CE5446BB-8157-4DFF-A575-3F14448DA710","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":"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":"Q1082090$EAFA9B88-4AD0-49B3-B569-4CD044BF2CBF","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":"7d8d3fa5ff14d4d250613c071341ecefeb5e2092","datavalue":{"value":{"amount":"+0.8534409999847412","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":"Q1082090$CDC999F5-5306-48CC-8324-E8C5BBA88B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27068ca645d1f21b780624f0a855e7f9bc0614eb","datavalue":{"value":{"entity-type":"item","numeric-id":3782812,"id":"Q3782812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46be00925f1a23bd729d317c44d84fbc358b6eb0","datavalue":{"value":{"amount":"+0.8224535584449768","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":"Q1082090$38A78363-AC0B-4F40-B4FF-666D45ADF4E4","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":"fd6f1be9ecdbddf2072516d02498a837ef534499","datavalue":{"value":{"amount":"+0.8146575689315796","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":"Q1082090$49A80E38-65B3-458C-B9B5-CF0C530E5112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of Ehrenfeucht's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_Ehrenfeucht%27s_conjecture"}}}}}