{"entities":{"Q4382476":{"pageid":6412075,"ns":120,"title":"Item:Q4382476","lastrevid":41631569,"modified":"2025-05-06T14:33:01Z","type":"item","id":"Q4382476","labels":{"en":{"language":"en","value":"Undecidable extensions of B\u00fcchi arithmetic and Cobham-Sem\u00ebnov Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130656"}},"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":"Q4382476$0F63E2D2-9EB6-47B9-91BB-9B762BE62489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0077ae9e8490366e257f9b49143c0cb1d415f68","datavalue":{"value":{"text":"Undecidable extensions of B\u00fcchi arithmetic and Cobham-Sem\u00ebnov Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382476$0036AD3C-6D6E-496C-9C22-F054CABBABEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f081b20538121d35fcae1a2047fa3143e3912db4","datavalue":{"value":"0896.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$210364F1-0E04-49CF-8F6E-E083603D03EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44edb4300af69c831de2fd93e8345f7ee70b5fb2","datavalue":{"value":"10.2307/2275643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$10EC3B42-D46C-44C3-BA2B-F817AAEDBC40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382476$9DE4F8F5-84A5-4F2E-B5F6-79BC3945870A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382476$0A3776D4-A00A-47C8-9C18-605FC00ADAA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999f03c13835e1923a8e900c7129f49e6e75be1c","datavalue":{"value":{"time":"+1998-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382476$1FD6CA8D-816E-4118-A300-D2574C6E9311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$50843100-93AA-4341-91F6-4E277871DD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$2EFF9FB6-E4A6-4FE2-B7C0-A32E1644020D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe03d6916541ea3d9aff44099e3ffb4bcc8af95","datavalue":{"value":"1130656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$59824BBF-00DE-4282-83B1-56BB58203DBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c3a4350121649a0cf2cba5c20d2a5ef0c7b56d","datavalue":{"value":"decidable and undecidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382476$58D2B039-4E03-40A8-9EB8-9A574382D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382476$3FC8C253-5702-45A3-AF51-7B8C68069AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382476$AB428DA3-7A2B-4B51-9667-D837D7E68107","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":"Q4382476$82A34340-E583-46A0-BDA3-0B90DC067EB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f010b6b2125513375516b4fa1712a09e985a564","datavalue":{"value":"https://doi.org/10.2307/2275643","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382476$B116A0D1-6165-44EF-BA3E-2672C90B9F17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b079fe6d7aa314c6c75bc2794fb3880500412b4b","datavalue":{"value":"W2058960916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382476$2316614A-16A1-4479-A820-A67ED635648A","rank":"normal"}],"P223":[{"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":"Q4382476$398E428F-1C2D-498D-83B9-630D46E00F97","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":"Q4382476$0CBE7BC4-36C4-4348-9242-CF878FC02D48","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":"Q4382476$9F268729-FB60-4F95-9FF9-BA4AC654E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd25d0d706ed055f0870402abd89c65b6aee8136","datavalue":{"value":{"entity-type":"item","numeric-id":1273991,"id":"Q1273991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382476$51A81D02-1BB9-42F4-B2A2-0994B7FD1DA1","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":"Q4382476$616B6067-48C9-4F8C-9273-2B0A0EC04126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5af5089b6085c757f8891a7230e6fa9ac45fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1919534,"id":"Q1919534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382476$2437247B-64C8-4EB5-891E-C370A70904D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d16eaebef48efb59558189ec48771d81154c86","datavalue":{"value":{"entity-type":"item","numeric-id":4088806,"id":"Q4088806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382476$399FD682-09B0-436D-81BC-6452DCFD4476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f565976a5896d10dc0c206d2ac6ef6030ee6a905","datavalue":{"value":{"entity-type":"item","numeric-id":4717487,"id":"Q4717487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbe6ecedaf785377fbdbeec641f484458c95473","datavalue":{"value":{"amount":"+0.9218288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$5D31A548-839D-4118-BC3F-C001973F57D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcfdf6d125552cdefacfbfe21e972334e65a7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4212909,"id":"Q4212909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbe6ecedaf785377fbdbeec641f484458c95473","datavalue":{"value":{"amount":"+0.9218288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$57DD4BB6-5C94-4AC2-BDE1-08AA5FFB05BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a250ef3239b28e902972a32b55b9ceb834228e7","datavalue":{"value":{"entity-type":"item","numeric-id":4392769,"id":"Q4392769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a81703e15b9ccf173ba33b32f060b0c591ce9f9","datavalue":{"value":{"amount":"+0.8967705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$4FF5EAF1-6E52-42FE-BDA0-5141FB14A7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef52921727a357bf849ae4a9121696f55547fd","datavalue":{"value":{"entity-type":"item","numeric-id":1821098,"id":"Q1821098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db28db43cabd600338aa7180c030cc2e69263f74","datavalue":{"value":{"amount":"+0.8923927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$04A85C63-AB52-409E-A5C6-37FCF128BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5d1578a7a2973d2b2d377078c2cc2e798b1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":3237141,"id":"Q3237141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785eb2f4d56449eae549d8e7160a41ed939d3b46","datavalue":{"value":{"amount":"+0.8910004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$F48D89FD-E295-4754-AE83-F1AD322F637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbf31b0f9783f8f3394914bf5ca09230813ba3b","datavalue":{"value":{"entity-type":"item","numeric-id":3772199,"id":"Q3772199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a77cda5e62067ed89e4c757f2c3b08b41f468cd","datavalue":{"value":{"amount":"+0.8878827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$02A44656-9847-4D39-B4AD-AD52CB9220A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306a988db9f710c9b951868fca87678dc2a77cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3813816,"id":"Q3813816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4657130e0a42db641e6af356644e959ad90656","datavalue":{"value":{"amount":"+0.8849458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$E24E7E6E-D94F-4DD4-BD6C-26DB5A883876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f204f2e6eb89b03a3b0f50998865451ac234840b","datavalue":{"value":{"entity-type":"item","numeric-id":3691669,"id":"Q3691669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee42610e5c1848210bf5e7e8f954057afc867710","datavalue":{"value":{"amount":"+0.88147116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$3563DAF2-E4FB-4A5F-9DF1-5C1B4BBECB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b6f48a24e0aec235409297c48eb614132f73a8","datavalue":{"value":{"entity-type":"item","numeric-id":3677758,"id":"Q3677758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a9d6efd97c0b3f892b8c759b8ae6701d062a9d","datavalue":{"value":{"amount":"+0.8809995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$B21212F5-88EA-4867-A156-5E066DB1C9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dd019886970dd6477aaa04c7d04858916d70a1","datavalue":{"value":{"entity-type":"item","numeric-id":3795673,"id":"Q3795673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7347a99485930742d8a6967d32083855402b4d95","datavalue":{"value":{"amount":"+0.8786545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382476$8E9736DB-0B77-4EA6-9CD2-4C977CA679E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4382476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4382476"}}}}}