{"entities":{"Q6622783":{"pageid":14233935,"ns":120,"title":"Item:Q6622783","lastrevid":99905294,"modified":"2026-06-05T20:58:35Z","type":"item","id":"Q6622783","labels":{"en":{"language":"en","value":"The first-order theory of binary overlap-free words is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7930303"}},"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":"Q6622783$26BCAD03-7443-4A6E-BA03-20003044E17A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05a24ad4229d79cdfdfcca8a5013e19f3b7bed0","datavalue":{"value":{"text":"The first-order theory of binary overlap-free words is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622783$37C76F84-EC87-40B0-AF93-493760454DBB","rank":"normal"}],"P16":[{"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":"Q6622783$48C4C5C2-E7A8-4599-940A-71AD2547208C","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":"Q6622783$83971DA9-3824-4346-8C1D-A66549FCBC62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"106914d1bfa95e2474b643b3a7576780d3bbbab1","datavalue":{"value":{"entity-type":"item","numeric-id":2715659,"id":"Q2715659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$A2BB4FD0-BEA5-45D4-AC38-42D50A674D3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"803b60a7353940c911a3ca7727a9523b81ec1b97","datavalue":{"value":{"time":"+2024-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622783$6B991789-81BE-44BA-9E88-B7014BD8E296","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$D8ECAEB2-C5DD-4AED-BBF8-5A150A6B83E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$A9465F3D-9A86-4202-A0DE-FF6563FAF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$28D65BCF-0D24-4B84-8D55-E36EEF6F9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$BAF6EBD1-E632-4AE6-AB22-B058EE95599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$F0F5E895-EF84-422D-B766-6ECD676CE101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fadd0ec9ee46e3769ad6db55513ec3de1595725","datavalue":{"value":"7930303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$2AEEF1DD-D836-48E9-9339-21C1F9A62C3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$EDDABDDB-4536-4C93-ACCB-45F4122D89FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$0B8EC122-3636-4CBB-8602-AC3499883316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037b8c5bb3faee840236c0733f788d6028f41511","datavalue":{"value":"overlap-free word","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$45442118-5876-42D3-8766-022A8614EE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$A164FEB2-241F-4E4A-8536-6DF94A8831CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$DED0045B-AF15-479B-BF03-407766C0066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d9a64d8e4256e1c8c4a7b9ce572aedfe67bacf","datavalue":{"value":"B\u00fcchi arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622783$BA0F3158-07E1-49BE-95C5-E07CDA3BB2BC","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":"Q6622783$A2040327-9B2D-4CB4-8B12-6E199E1F41C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51d24f040da3d45fe405c3ffb20e893b8701892","datavalue":{"value":{"entity-type":"item","numeric-id":1386332,"id":"Q1386332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$BD91EAD8-7954-4665-A045-E50069759410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e141f7d30bc3aed8fcd4bcdb12a2bfc0dc119a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3056218,"id":"Q3056218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$1967315E-A7E6-468F-8D2B-3E4DCAEB14BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee54544ca20ce674677ef774320fe95de52b686","datavalue":{"value":{"entity-type":"item","numeric-id":2271420,"id":"Q2271420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$A6D9D986-1D0D-4BFC-9058-90BD86473FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55000a2bc1c2489bfa9f8abd4df0ca242cccf0ed","datavalue":{"value":{"entity-type":"item","numeric-id":3421909,"id":"Q3421909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$367B86FE-13B2-414C-A1B2-672C8EE8414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$476D553C-D0F6-4CAB-BBC6-DDFDF49AF662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$F14A4420-44B1-4139-B719-661734BCE59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b89bd740e621be6823ec2d38aa28731c00ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1261466,"id":"Q1261466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$9E92D1A4-9E52-49C0-8165-5C5747F47459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d2a25999b92538f4f800196acffe3363e3e3f","datavalue":{"value":{"entity-type":"item","numeric-id":4281523,"id":"Q4281523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$2998523A-4801-445C-8796-70804F2E3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946460a06c8e8ff3f6c30392073e1adfd41fc439","datavalue":{"value":{"entity-type":"item","numeric-id":4902892,"id":"Q4902892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$410262EC-18F6-41E3-ACD6-AD373CDB376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9933019f2479f87f559428fcb585747390b6dd33","datavalue":{"value":{"entity-type":"item","numeric-id":869996,"id":"Q869996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$76165BF0-1934-4D4C-AD96-0CFE66E1E5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48edb664783fa6fbebd3b3c75b27cf76562deead","datavalue":{"value":{"entity-type":"item","numeric-id":2974059,"id":"Q2974059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$E49BCB77-1F03-4381-924F-561DADABD251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1697be0d76747a5e56e40958a9ce12b132bada9","datavalue":{"value":{"entity-type":"item","numeric-id":2672565,"id":"Q2672565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$AC0D1D76-C7BB-40C0-A950-B3E31DBB8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05391693ed4a5625f932e2db56d74fe52d21540b","datavalue":{"value":{"entity-type":"item","numeric-id":3914998,"id":"Q3914998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$906E445E-6FAA-4FE5-801E-DF8A1ACBE08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb7c7ceab59e0be6e96c048aeccef2e62169fc5","datavalue":{"value":{"entity-type":"item","numeric-id":3195678,"id":"Q3195678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$064153DB-45E5-47BB-BE4A-F871406983C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf089c0df38915fb69f9a92610f032d976122abe","datavalue":{"value":{"entity-type":"item","numeric-id":6124959,"id":"Q6124959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$B5C17FE4-D379-4825-9E46-3EF9F3E2A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5516ac22eac3afc35416612254f311cb46bc89a4","datavalue":{"value":{"entity-type":"item","numeric-id":837157,"id":"Q837157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$BF7897DB-2E88-4C4D-83F2-1CD9C94D4B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88797e08049fec61a460a37d3c71918873ac101d","datavalue":{"value":{"entity-type":"item","numeric-id":598459,"id":"Q598459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$ADD3FFFA-B04B-43D7-AF61-FE80B4B1B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf3005b7670eb623d7b5a68242619e9bfdb9fa6","datavalue":{"value":{"entity-type":"item","numeric-id":1078338,"id":"Q1078338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$A8DAD782-30E8-41EC-BA31-67A77EDFBE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a715d7e3c43d304a517cb73f43cbb5be19f6302","datavalue":{"value":{"entity-type":"item","numeric-id":1121031,"id":"Q1121031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$1B13285F-9C1C-4034-A52A-C7E8E1519DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f18c72785d088c5d300492b84fb3f08ba2d234e","datavalue":{"value":{"entity-type":"item","numeric-id":3689370,"id":"Q3689370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$4CD9B0D5-41B5-4A57-A373-61E994237E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587f9bd9b0d3d8b73c6562adbe3d6a22e301f285","datavalue":{"value":{"entity-type":"item","numeric-id":5199983,"id":"Q5199983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$D805A607-5A4F-4F79-91B3-F4A2769E6634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db551149f80e31e109f227cfdcb86710f60d7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2710702,"id":"Q2710702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$4204648F-3196-44FF-AFE5-82B9F85D5B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932014bfbefb5900b9f4a012f8590537e499d23a","datavalue":{"value":{"entity-type":"item","numeric-id":6001896,"id":"Q6001896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$1E0B0682-2439-464A-8A6A-008E0BFF246C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c792647873f348c00671b423e4a954b31f30e1e","datavalue":{"value":"10.4153/S0008414X23000342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622783$EF2C502B-57DC-4484-81CA-F9ECA42394CF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622783$4E86C9E6-6723-4873-B333-F4B54AAC65A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first-order theory of binary overlap-free words is decidable","badges":[]}}}}}