{"entities":{"Q1014642":{"pageid":1016490,"ns":120,"title":"Item:Q1014642","lastrevid":66614319,"modified":"2026-04-12T11:18:52Z","type":"item","id":"Q1014642","labels":{"en":{"language":"en","value":"A generalization of Cobham's theorem to automata over real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549392"}},"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":"Q1014642$23332E64-89F3-44E9-97BB-76106FFE0C8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"776dac64f88bc450550ca1101e4252e70140e3a5","datavalue":{"value":{"text":"A generalization of Cobham's theorem to automata over real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014642$97EEED6E-9828-446C-80AD-BF8C59D4901E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570d57139735853b018ce85631d2e08445c228a6","datavalue":{"value":"1172.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$7A56B915-84AF-4C92-A669-588980654CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$3E0AEB6F-3880-42D2-BB98-F7C84D590B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"297f2bdae5b25b5bbf845cb67bbedb29e0744724","datavalue":{"value":{"entity-type":"item","numeric-id":1014641,"id":"Q1014641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$3781EF42-4BF9-4C6F-B8C6-6F53887C9D2C","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":"Q1014642$49666A08-E8FA-41FE-BBDD-66DB3E8E76C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014642$9F717A02-A53F-4B73-80BC-4541EA0E0B97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2703e1eaac089c9f6fa37dd7bad203b526f69ea3","datavalue":{"value":"http://orbi.ulg.ac.be/handle/2268/34584","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014642$D89E82B9-8970-454F-8DC3-B004EBF57E50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$DAE56A6D-472F-4A05-BDF3-55F03DE1B2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$417DE289-CDD2-4709-814C-CA4621D88357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$023111FF-80FE-4BD0-AB45-9521A14B6908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9651375a78274809cf4dce858e225d97dfb598c7","datavalue":{"value":"5549392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$F8DADD0E-3FB8-461E-9B31-A584A760BD60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014642$F1A4472C-4284-42CE-93D3-13D35E61CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014642$40396C76-B154-4E6E-8361-D5F5FE59D983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b5e7cc08ea6cf2b726619ddb39fa8d072da2c9","datavalue":{"value":"mixed real-integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014642$A30A6929-6FEC-47F9-802F-64B489BC9300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014642$EA1FEEEB-E221-403E-9B75-9EB1F2D8AB0A","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":"Q1014642$99A9AB35-6AC4-43EC-8E62-AB428149D18B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a885e1904250c353cead8122f7ab69cbabb6e60","datavalue":{"value":"W2140093467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$4B6409D3-6033-4D1B-987D-2E2FF217E6A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e116cce1c060eee7cdfad6aceae8aecf149eab0f","datavalue":{"value":{"entity-type":"item","numeric-id":868941,"id":"Q868941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$36DE6111-2AED-4595-A53F-9884F8B97E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$7ED8DF96-BAE0-48C0-BF65-BC13EFA27116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04223f60d1f018a36ffbd2f789886c28411b34","datavalue":{"value":{"entity-type":"item","numeric-id":1426156,"id":"Q1426156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$5B5AA24E-925E-4A3B-A9F3-FE1FC4E8523B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a575fca10ee711bd18c35cb0091e8c6f5b16d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$145B3348-A415-4277-B14C-1EE5122C7211","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":"Q1014642$1B161E95-987D-44C5-B298-CEC6BCD7EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$9B016BBE-880E-4918-B26A-1A73128362D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827935aacc814cb13869c597193eebf4d3a12a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5569462,"id":"Q5569462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$34444EF8-C64F-4ECA-B78A-32D0F9C79A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3703b1ea87ece826331ee1c48ae157bdb4cced7","datavalue":{"value":{"entity-type":"item","numeric-id":5703760,"id":"Q5703760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$79981C49-2995-46B1-9A61-3E8015628D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$943B7E08-9386-41A0-A38E-CCDAA1533A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40abffd6136ffb8776dbb4de177836663c87927","datavalue":{"value":{"entity-type":"item","numeric-id":1259594,"id":"Q1259594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$979D0D7E-16F2-4C68-8EDA-CB220B1F49F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a07d74386c8af97b41c28d9db66d6bb52703db","datavalue":{"value":{"entity-type":"item","numeric-id":1094412,"id":"Q1094412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$CD8FCA15-B431-40DF-97AD-6694A3913F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0da172c3fb8b7f36c8fa91cdea2c5b8a2280d67","datavalue":{"value":{"entity-type":"item","numeric-id":1202930,"id":"Q1202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$56A4E7B3-8E53-4E73-87A2-E758436EE322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0213241e6f76bb86bdca71a375fa20fdcd0cc0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4281563,"id":"Q4281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014642$861B0A12-2E65-4CFD-B3E8-F3F9A6C3F56F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0122e913b48820444bd15417b215d792ab4d0ee","datavalue":{"value":"10.1016/J.TCS.2008.12.051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014642$7D3F326C-7F58-4067-B0E3-C48EF97347D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fff1afd5ebda19fe7121306ec8a4ffdb6ea8b84","datavalue":{"value":{"entity-type":"item","numeric-id":5428861,"id":"Q5428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3b28ca63dc8ec91e8e941c007b2c88016dc00f","datavalue":{"value":{"amount":"+0.9846866130828856","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":"Q1014642$021CC807-BE9E-4F18-A59A-63DCBB805860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1744f305cac838bb118edb4b957b5ed0254665c","datavalue":{"value":{"entity-type":"item","numeric-id":3519495,"id":"Q3519495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e2948873d3e323eea17d42ee3172f911b43b70","datavalue":{"value":{"amount":"+0.9068856239318848","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":"Q1014642$18DFAC94-0091-4738-A5C5-F23238A79522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca96ab6052cae0def355dd6f425c3332cde0e30","datavalue":{"value":{"entity-type":"item","numeric-id":5190326,"id":"Q5190326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1664899af94d912c9755d0520200c5bb2ad85dcc","datavalue":{"value":{"amount":"+0.9007602334022522","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":"Q1014642$7318EF0F-BB25-4FF6-A532-39540951CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97549e9ea7feadd9f92edf9be8fefc81aff0159b","datavalue":{"value":{"entity-type":"item","numeric-id":5191120,"id":"Q5191120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48741a72b53535b05f9c1a769e687ec2c17fd95f","datavalue":{"value":{"amount":"+0.8216301202774048","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":"Q1014642$CB7E425F-CAF3-4E7F-9522-4CEE99A65462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82150998bb96a1c10c1758eecb012e2d3e7ff31","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e51f9c8a8e91736b9ce9b83fe1874cf79641db","datavalue":{"value":{"amount":"+0.8113973736763","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":"Q1014642$6FEAA1C0-84DA-4E54-8632-FD6DB1F4233B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Cobham's theorem to automata over real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Cobham%27s_theorem_to_automata_over_real_numbers"}}}}}