{"entities":{"Q5859683":{"pageid":7889234,"ns":120,"title":"Item:Q5859683","lastrevid":93528200,"modified":"2026-06-05T04:33:06Z","type":"item","id":"Q5859683","labels":{"en":{"language":"en","value":"A more reasonable proof of Cobham's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334855"}},"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":"Q5859683$0A6ABEE0-2F4B-4E50-8384-3DF148351CCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64039d3e311f4daeb101e67743e2ea954cb42785","datavalue":{"value":{"text":"A More Reasonable Proof of Cobham\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5859683$5C60DE9A-9F07-463F-BB32-B0B029AC8773","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9dc713a4b54f8413776f2c3d7f9484b27b644c0","datavalue":{"value":"1484.11092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$48A78B61-5F33-4E44-8205-2E2C897AB6F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e02cc29d9e0a85cb986d963580df6dc7e7a330c","datavalue":{"value":"10.1142/S0129054121500118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$9078DBC1-32E9-488E-8784-7D9A4CCF4353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$6DDC1147-9DA2-4EAB-B22E-5F30362079AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a75ecc8651000ecb4ff9566ba97a118200de08","datavalue":{"value":{"time":"+2021-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5859683$05A6C4C3-B4B9-42EF-9114-D6E3A60273AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc3cf9b0e43e0983f96d21d95219720ad630ab3b","datavalue":{"value":"https://arxiv.org/abs/1801.06704","type":"string"},"datatype":"url"},"type":"statement","id":"Q5859683$60397337-156B-48D4-A2D1-57AC5E937C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$FA465DAE-3052-46AC-96ED-172BC8009B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$F4295BCF-33AA-4330-9F0C-B289FE3BFD2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4bdc4301234ff26c154604cf3bbf3c0b54bc0c1","datavalue":{"value":"7334855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$683ECE19-B258-4E98-9C6A-9FA6D5AA5BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859683$7F3B6CB1-270F-414F-AF32-EBB2173360EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5859683$EBCE47DB-6203-4A4E-AD09-0A96CC210FE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd9e374043bb49bd75c4da0c85fc79d1ba49650","datavalue":{"value":{"entity-type":"item","numeric-id":2258441,"id":"Q2258441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$067B244E-2639-46C4-BE92-110F9BD7B2E3","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":"Q5859683$9332E319-0285-47E4-8DF3-9C9946C02327","rank":"normal"}],"P223":[{"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":"Q5859683$0B2DA3DF-50E2-4683-9166-FA04A01F222C","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":"Q5859683$579A75CF-5FD4-4885-8D98-1413B4C7259A","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":"Q5859683$6A308898-8D7E-4E94-8834-5E544732B72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7142637a2eebbfcb67202a5df7e8024d3cdff2","datavalue":{"value":{"entity-type":"item","numeric-id":691591,"id":"Q691591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$30EA9D78-A6E6-4E5A-874E-06B4A0356730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$B3251507-A749-46B7-BBC7-E2C247F7A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1c31502bd08e136e76231296538e01788689b4","datavalue":{"value":{"entity-type":"item","numeric-id":1781924,"id":"Q1781924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$68718C21-67EA-4D31-B1AE-8CA70591607F","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":"Q5859683$7A800943-7C0B-4989-B0C3-A038091D80DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b592417e77c3fec297bfce0262ca0623201a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3396580,"id":"Q3396580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5859683$D9FC6F31-3875-4F1D-BBBB-1E15288C3BC9","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":"Q5859683$FA8AAAB3-6B42-412A-8E1B-BC06FB4D3F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee42226a195e4d11561c073d0f2b622e8f08bc3e","datavalue":{"value":"W3127768611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5859683$B7A72577-BC87-4B35-ADE3-4EB16C88DC14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314737d1b405a30d519811f6e5be420e919f1b55","datavalue":{"value":{"entity-type":"item","numeric-id":4682402,"id":"Q4682402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499a758234dc794a4063b5d1f1d767cad079d8a0","datavalue":{"value":{"amount":"+0.8914727568626404","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":"Q5859683$482FC11A-E1FE-46FC-AD68-BC247E785638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b408cd504037b3ab8b1c2ef88e728705d70aefb","datavalue":{"value":{"entity-type":"item","numeric-id":5207238,"id":"Q5207238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e1b6302949196207a458ff6522238898b5779b","datavalue":{"value":{"amount":"+0.8630348443984985","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":"Q5859683$3D66E43A-3056-48AF-AE35-16000B3F8208","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":"a4c11b68eb59daa0ece635b8f8b9ce251ae84f12","datavalue":{"value":{"amount":"+0.8497480750083923","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":"Q5859683$B221DA2B-DF5C-4A88-B3D2-53D7E176B14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c94559ac920bcdc70408a35eaa0948d861630e","datavalue":{"value":{"entity-type":"item","numeric-id":5220090,"id":"Q5220090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c11b68eb59daa0ece635b8f8b9ce251ae84f12","datavalue":{"value":{"amount":"+0.8497480750083923","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":"Q5859683$C7C9DDDB-ED1C-4B82-8B00-21A8A2D4C8F0","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":"8f3988cfb356b144e77faa8c19d280b8d6fb84e9","datavalue":{"value":{"amount":"+0.8483081459999084","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":"Q5859683$C03310A8-2B4A-4B4A-8599-78ABB2EF47CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A more reasonable proof of Cobham's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_more_reasonable_proof_of_Cobham%27s_theorem"}}}}}