{"entities":{"Q6083570":{"pageid":13217877,"ns":120,"title":"Item:Q6083570","lastrevid":58668336,"modified":"2026-04-06T06:19:44Z","type":"item","id":"Q6083570","labels":{"en":{"language":"en","value":"A strong version of Cobham\u2019s theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774408"}},"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":"Q6083570$6B6B05DF-FE28-4CD0-8928-A0A431F23B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b504a0b4d8b901da14e0852872bfd5df633468fb","datavalue":{"value":{"text":"A strong version of Cobham\u2019s theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083570$09E42980-5A17-4C61-ACF0-A7B438E12AEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d99f1d6437404d965e5d28b1786dfcf24fed4f0","datavalue":{"value":"10.1145/3519935.3519958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083570$8992B59D-B101-4563-AC65-D7056D797D0F","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":"Q6083570$4F70724D-691D-4292-B1AF-47CAFFEBE0E5","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":"Q6083570$BE3C6228-25C9-499D-AF16-AD821AA626B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4fd533ced917d6a4c70ffdba90a2023dcab86ef","datavalue":{"value":{"entity-type":"item","numeric-id":6083453,"id":"Q6083453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083570$83C9BFAD-C570-46C8-8038-1F3251A10BF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083570$873FB373-5D63-4916-B4B3-75B7A944597D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f2a0cfde763c09fb79eea0858910c2d86ba5c1","datavalue":{"value":"https://arxiv.org/abs/2110.11858","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083570$8DB15628-7B01-41CC-B2C4-2167ED205C7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083570$8A786E31-2FC0-4B81-A387-198493425D29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ebcbea5470475fb4ecf033c5caef38d1214f35c","datavalue":{"value":"7774408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083570$30169B13-FB67-45C0-836F-835CA916FA3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083570$213A1AAA-29AC-4323-B794-BD3B378E2A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083570$96487296-35DE-4901-B210-E916C962BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2400f038a313a4b0f1ef5407932d4864ff4e95fa","datavalue":{"value":"logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083570$DD9FBA24-789F-495D-9475-694EEDCD1680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083570$11CA6811-1E98-40DB-AD7A-023742AB2326","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":"Q6083570$D69AF179-C378-441C-95D3-AB8689C692FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef46bd47b8ad711576fab158e56f65a422ef9002","datavalue":{"value":"W3209732136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083570$21F70A2B-97D6-4924-851B-A4A321210BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6083570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6083570"}}}}}