{"entities":{"Q645357":{"pageid":647206,"ns":120,"title":"Item:Q645357","lastrevid":63392241,"modified":"2026-04-11T12:33:54Z","type":"item","id":"Q645357","labels":{"en":{"language":"en","value":"Cobham's theorem for substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5971515"}},"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":"Q645357$68C7002A-32F9-4804-A9B3-E8811F1F9E57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba51979c79ca377cf96409c46d10ee6c943d5afc","datavalue":{"value":{"text":"Cobham's theorem for substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645357$AF9C3C4B-0EC5-4294-99FF-BB8AB6B33FD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7772e9e88b290c90f1858f8016460347ffbb493b","datavalue":{"value":"1246.11073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$58ADAE54-145C-4F5E-B3DA-AE3DB076752F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"355cd8460f9ab31759c622e8d53486ac5f2f1706","datavalue":{"value":"10.4171/JEMS/294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$7D0431B7-D574-496E-96C7-4BD3EA471B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eeba6660a6c16b2a7a1c0eadcaaa59f25a43d0d","datavalue":{"value":{"entity-type":"item","numeric-id":558364,"id":"Q558364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$0D37FDDD-4A2B-410C-A10B-BCDD22471CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$158EA537-A6E2-48B3-9277-56483AE6E1C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13fd5b80810f40e1c04f503862adc99c74ddd18a","datavalue":{"value":{"time":"+2011-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645357$E857AD3F-6B45-48D4-AE7A-8D7E34A2C1B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"875c57fe0a49a3d895df1aeee130b94b5c6bea0e","datavalue":{"value":"https://arxiv.org/abs/1010.4009","type":"string"},"datatype":"url"},"type":"statement","id":"Q645357$7992A82D-8922-4DD5-98A2-8B47D443781B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$B3BDC525-2D22-4AA1-8A2A-FC8CC37D445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$9B85682F-3912-40F9-8D57-16093C4EADC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386911e757d0719358786469873f8f13ee99f239","datavalue":{"value":"5971515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$2BABD369-9CA7-4AAE-BFF9-7F19D3D35279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q645357$3C51135B-422F-4CFF-A88C-CFDED9832187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21633393c7ae915262a9c381dbbebd71f54e3f0","datavalue":{"value":"substitutive sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q645357$242070AB-E804-49E1-A871-00AFC38233C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60f38173b6097a281c88a3102797f94b9dc3f95","datavalue":{"value":"return words","type":"string"},"datatype":"string"},"type":"statement","id":"Q645357$00D5366B-A749-4A39-B355-86548A1BE0EF","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":"Q645357$07DBF423-250D-4667-94DD-9E3D583106B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61879dad17d3839ab3562bd6f3d2c371b531e9e7","datavalue":{"value":{"entity-type":"item","numeric-id":2474274,"id":"Q2474274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$95D57885-E716-4F96-B097-BF17847BBD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06aea642cb20229412ad2cb6bdf39a88eb2c8179","datavalue":{"value":{"entity-type":"item","numeric-id":3020345,"id":"Q3020345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$A8727267-104E-485A-AA79-17DB92856357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9ee06fdda3c06b87f8c630987e6ea01de395a9","datavalue":{"value":{"entity-type":"item","numeric-id":3128793,"id":"Q3128793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$D30BACEE-8817-4E0B-8919-26A7C6CED26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4e2f7d76a5fde4a464c92ee4d6699957c03ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1193879,"id":"Q1193879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$9DF4E661-059E-4FB4-A34F-396D1E3E403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$CBDA72E7-5936-469A-8724-38633B2361FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47147520089834ddcc27ddc666705af5926949ca","datavalue":{"value":{"entity-type":"item","numeric-id":2654589,"id":"Q2654589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$B9FA114F-1BC4-46B7-9210-B5B4D3CABE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f122cefb7bddfd320047c6391dea275eb8253a8","datavalue":{"value":{"entity-type":"item","numeric-id":4382476,"id":"Q4382476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$150FDE0F-707C-4F9F-9412-3DF66A0455A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a8e997d72a2c267bd8fd677faf16928322a4f0","datavalue":{"value":{"entity-type":"item","numeric-id":4953215,"id":"Q4953215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$8179274A-AE6B-43F1-B056-8D710A3173A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b7a836e71e0ce2b635352f5a5ed06e35f4c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4781602,"id":"Q4781602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$E2C096EF-BC31-4F05-876F-BDE12B591AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3596ef09c5385239a6dd6a522e1288efdd25f","datavalue":{"value":{"entity-type":"item","numeric-id":5428861,"id":"Q5428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$DF305707-6F43-4B92-A9DD-820A40763FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60a075cf3a53ec6d2db5acf1b115568bed5552b","datavalue":{"value":{"entity-type":"item","numeric-id":3519495,"id":"Q3519495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645357$1AE92A2D-E8C8-46A5-9C7C-186B89176BF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9af3c4931e9bfd5bd615b4f051dcbd9fa290512a","datavalue":{"value":"W2963417818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645357$15A49214-2869-41BB-8308-6DC7ABFBDDB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a975e11dabc6e84778d409a8019065d47e6c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4548881,"id":"Q4548881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf00298812c2ec635079a57e44bd7705040a0d4","datavalue":{"value":{"amount":"+0.902207374572754","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":"Q645357$CD0DDE46-9AE3-44B3-8548-F8AB22623978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daad33bb284b55fe5766197f03617a718ac42e07","datavalue":{"value":{"entity-type":"item","numeric-id":2453629,"id":"Q2453629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf00298812c2ec635079a57e44bd7705040a0d4","datavalue":{"value":{"amount":"+0.902207374572754","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":"Q645357$CBB9815E-2B13-42E0-B46D-107D0FF2C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1654823de6c14a194637fcace3f0ca533bfb3813","datavalue":{"value":{"entity-type":"item","numeric-id":4427624,"id":"Q4427624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a68f371417f89796deb1b96de01822628f07c9","datavalue":{"value":{"amount":"+0.8850318193435669","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":"Q645357$D0175220-3554-41B4-B6C4-7264A330571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436dca0542ae272198819e4da4ff6d5a6fcc3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1386653,"id":"Q1386653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e267b1eb1e721ecc8df92c7931ca98abf2f5a9de","datavalue":{"value":{"amount":"+0.8678545355796814","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":"Q645357$6C53E6E2-B1CA-40B0-BFD0-4B78EE225525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699fd18f11c2798402281e0045dc96507397644b","datavalue":{"value":{"entity-type":"item","numeric-id":4314601,"id":"Q4314601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf08e43c8ed80169fd88a8fc3975908f66f38340","datavalue":{"value":{"amount":"+0.8661084771156311","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":"Q645357$23AF2829-5E44-4809-B7A0-57B7E1D1A221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cobham's theorem for substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cobham%27s_theorem_for_substitutions"}}}}}