{"entities":{"Q6124959":{"pageid":13259266,"ns":120,"title":"Item:Q6124959","lastrevid":102378206,"modified":"2026-06-06T04:18:59Z","type":"item","id":"Q6124959","labels":{"en":{"language":"en","value":"Decidability for Sturmian words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830380"}},"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":"Q6124959$53BD5E06-1E93-41DE-AAD2-021B636C890A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6f0ee0d8d4751322bc016f613d455675594792","datavalue":{"value":{"entity-type":"item","numeric-id":1650002,"id":"Q1650002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$1ED0E9E9-8315-4943-B292-613F66F5B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"968673cda49dea16ebb933ce23e995b38a73c59e","datavalue":{"value":{"entity-type":"item","numeric-id":6124957,"id":"Q6124957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$188663AE-48AB-47C5-82C0-38036FC87168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0c4e2e8dcbbc99bfff69268ecb6d92f24efdfe","datavalue":{"value":{"entity-type":"item","numeric-id":6124958,"id":"Q6124958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$5DEABCA6-FEBE-4336-962F-BC4FD72D7997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4363d4080e22a7699af7ef2d60ea4397f2860d00","datavalue":{"value":{"entity-type":"item","numeric-id":346251,"id":"Q346251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$8E32CF83-E04A-48CB-9F56-F5BDA9767DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd858a64ccb78f81f47f25667a9e7a771e0830b9","datavalue":{"value":{"entity-type":"item","numeric-id":269739,"id":"Q269739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$02D25B56-21F0-4663-9E13-80B35C6CFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124959$9B6FC429-CD95-4C22-9305-88240C857346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124959$2677CB48-F881-4FAB-95EF-C78B42FE7DEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"938481b8e2b721507f38d4f667a2da7d655575d0","datavalue":{"value":"https://arxiv.org/abs/2102.08207","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124959$2B23AA8A-211A-4EC9-AA03-C4AE923C7A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124959$47ACB03C-0A75-4AF8-83F4-0CE6C3EC0FC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170bc838a5e245799974f6a148c0182ed755a8b0","datavalue":{"value":"7830380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124959$5199B22B-116E-424E-9F11-B047BC7C2180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124959$82EA2B50-7C6E-4E5D-BDE1-4A85A4B91CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4e80b28d1616befd7b765be59308d75f236ae9","datavalue":{"value":"Sturmian words","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124959$382DE9A9-B6F5-4A3E-9040-CEC6A54F7731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a16944aa1e4c7ab74c143f54c7e6925431b55168","datavalue":{"value":"Ostrowski numeration systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124959$81E3E9BA-9E96-41CC-95E8-4C9B52F8FEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124959$9223859C-800F-4D83-A6F0-8820ADCBCC8C","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":"Q6124959$33735A4D-1E07-4EB1-9592-B093B2C85D9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2174e630bac28940c5399612eb76a02f0860afd","datavalue":{"value":"10.4230/LIPICS.CSL.2022.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124959$485A643F-623E-4476-936F-AAB7FCEA0E29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abcedc5baa06a182c41566864b14041b6d3f6321","datavalue":{"value":{"entity-type":"item","numeric-id":2490813,"id":"Q2490813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fbfc99189349d4a2414fa43de061947a31ee9d","datavalue":{"value":{"amount":"+0.7451221346855164","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":"Q6124959$4FD07775-F636-469C-B34C-4677B512E9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90238fdeda0b34351e6d664afdcf0ee4c4ef161d","datavalue":{"value":{"entity-type":"item","numeric-id":4361578,"id":"Q4361578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5016db5b51d6bff6213204f14f8077f747999d","datavalue":{"value":{"amount":"+0.742381751537323","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":"Q6124959$BE9C68B0-117A-4D51-8FB5-D0E2F9E79F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f352c65b3cd04096a7afec1559608417101e75","datavalue":{"value":{"entity-type":"item","numeric-id":2373754,"id":"Q2373754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036dbfc7d41e228b32c3e0d1dfdf61d9bb426682","datavalue":{"value":{"amount":"+0.7298708558082581","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":"Q6124959$0B812CD2-0345-4DFE-9655-34F51BCEC101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec38830a61c819678ba29522a45ab6f11667422","datavalue":{"value":{"entity-type":"item","numeric-id":2222098,"id":"Q2222098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb84a4c9ec67126da403f9204f1777838e49a000","datavalue":{"value":{"amount":"+0.7247933745384216","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":"Q6124959$6AE189D9-4ABE-4988-9CDF-092ACAC256CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9604477311d7708f3cf8d053f8a8a5751f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4227123,"id":"Q4227123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6b068992df9c89df147733eb8da156a69a4760","datavalue":{"value":{"amount":"+0.7217614054679871","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":"Q6124959$4A17898A-C4C2-47D4-B38E-F34A3E1C3421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability for Sturmian words (scientific article; zbMATH DE number 7830380)","badges":[]}}}}}