{"entities":{"Q1062465":{"pageid":1073217,"ns":120,"title":"Item:Q1062465","lastrevid":66061554,"modified":"2026-04-12T07:16:36Z","type":"item","id":"Q1062465","labels":{"en":{"language":"en","value":"Une g\u00e9n\u00e9ralisation des th\u00e9or\u00e8mes de Higman et de Simon aux mots infinis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3913709"}},"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":"Q1062465$9EE7FCA7-C799-4B86-A028-E5B7106D3642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4985ce55544440f4a609a78a3ccfad37c64e2d5a","datavalue":{"value":{"text":"Une g\u00e9n\u00e9ralisation des th\u00e9or\u00e8mes de Higman et de Simon aux mots infinis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1062465$47A63473-3D3C-428A-9144-6CF698E7F860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50ae8e9d43b7cf1cec672c8ab7b96764afc06500","datavalue":{"value":"0572.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062465$AC808CAA-D8CF-402E-BC44-7C919DA6F93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d595a59ee867309732d9c6c98cd179d15747f6c5","datavalue":{"value":"10.1016/0304-3975(85)90216-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062465$6C694117-60EC-4049-85E6-AAB555F61913","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":"Q1062465$882DBA71-A276-438D-9D67-CAD2142ABF80","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":"Q1062465$1A76346F-05A9-4F9B-B93C-9DCD341487D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32b6fabff34877b40c3d1f0557a334c420017bbc","datavalue":{"value":"We prove that from an infinite sequence of finite or infinite words on a finite alphabet one can extract an increasing subsequence for the quasi- order 'be a subword of'; that is, the extension of Higman's theorem to infinite words. Then we generalize Simon's theorem for infinite words.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062465$3357B22E-5032-439B-88B4-85AF4B5B6CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062465$F9A8E1ED-9D01-4EE2-805C-B7C1AC178F00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d139c145bbb30c479d7ad4e90a5f32fc290986f","datavalue":{"value":"3913709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062465$703209E1-BAA2-4D91-B9CA-CA123B97C20F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062465$6956C33B-465B-45CB-9CE6-359C53DD9DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9129eb98e7541d9df8d83fe7856664ab823ed593","datavalue":{"value":"subword","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062465$CF0A0D57-10E8-497C-B4D7-FB90FCAEC64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062465$A54BA421-40B8-4F23-9858-EA20F5DF9854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$074318A9-9B43-4245-BAF1-6E14CFAE813A","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":"Q1062465$E800C6DD-D6C1-4614-8F17-511143458990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367bc7a20292e7ae3b8feeb1ce62516441924dd5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90216-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1062465$3247381D-6F2A-4A59-BEBF-49CD037E6F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6c42e43c5491df869ee66cc95f08fe6e20bc4ee","datavalue":{"value":"W2015148487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062465$E84BE59E-D5A9-4E98-9F04-CDD534246A39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$2D11F1EC-489C-4009-BFE7-624C5EC5861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$83CFBA26-6033-479E-803B-8CCF68FCB6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$098E3B1F-A8E0-4C10-ADCD-97C9242AE7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1cf7e426127d502c57b4bb01a758b7cc7fadf5","datavalue":{"value":{"entity-type":"item","numeric-id":5337204,"id":"Q5337204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$39C608BE-8115-43F6-8FAF-1EC3785E3066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d386d53a87bc23f25814956095d35bea72ff30","datavalue":{"value":{"entity-type":"item","numeric-id":5829880,"id":"Q5829880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$CFDCD7A3-1667-4DB2-BA22-066EA587A43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062465$5C0DA4F2-F22B-4461-B460-E4AA03660F68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1231d14c589f411f462b9428274eebb91eab1f","datavalue":{"value":{"entity-type":"item","numeric-id":1069312,"id":"Q1069312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18eec7ffa676b86bce0a546d8d0383feac5490de","datavalue":{"value":{"amount":"+0.765899121761322","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":"Q1062465$E4589A66-4314-45D1-9901-03EA47AE73F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1c622143e8e6faa45816c8d5b9687673db446f","datavalue":{"value":{"entity-type":"item","numeric-id":3495367,"id":"Q3495367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb261ae466a62aa7db3b8556746c941f2388a2f1","datavalue":{"value":{"amount":"+0.7649623155593872","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":"Q1062465$FA9EFC79-D45D-44F3-9264-E1B749B78D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab641dbe61a1ca7b6c8ceb79687400a4efc0e806","datavalue":{"value":{"entity-type":"item","numeric-id":1622959,"id":"Q1622959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ff6fe55419888b825f4f6c683ccf11218e426c","datavalue":{"value":{"amount":"+0.7516666054725647","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":"Q1062465$126D9649-EAC1-4D0A-A092-39518EC98DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d09ae7dd1b2e62f4cc2f5866aae17d60ea52b7","datavalue":{"value":{"amount":"+0.7458462119102478","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":"Q1062465$B7F1672E-B192-408E-817A-033164A7528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e97a19ff4444557dd791d106b87c7fa5686f0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3700854,"id":"Q3700854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e6f77315ea69a47fa5c91b91aa9db38d5dae4a","datavalue":{"value":{"amount":"+0.7399471402168274","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":"Q1062465$0C720879-BD5B-44E2-B02F-2CAE57D5BDAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Une g\u00e9n\u00e9ralisation des th\u00e9or\u00e8mes de Higman et de Simon aux mots infinis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Une_g%C3%A9n%C3%A9ralisation_des_th%C3%A9or%C3%A8mes_de_Higman_et_de_Simon_aux_mots_infinis"}}}}}