{"entities":{"Q3765755":{"pageid":5795661,"ns":120,"title":"Item:Q3765755","lastrevid":88949453,"modified":"2026-06-04T15:55:47Z","type":"item","id":"Q3765755","labels":{"en":{"language":"en","value":"The arithmetic and Turing degrees are not elementarily equivalent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023253"}},"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":"Q3765755$B150D17B-B0B2-4DBE-9CB6-26E17E05A1CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcf0fd9e1c2b00a117a7515f224a0f1c121f2844","datavalue":{"value":{"text":"The arithmetic and Turing degrees are not elementarily equivalent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3765755$67888404-5EF0-4147-9200-59B5F2EF5006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf4b022eecea28a4bb76d8bf888e4cae7e2561e","datavalue":{"value":"0629.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765755$78BB79ED-03C8-4E71-9E75-714A539984DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"854f45c2efc8ae2f66b38b3cd81b0283ba5dffd4","datavalue":{"value":"10.1007/BF02007145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765755$E0D27CF6-968C-4E25-A9EE-556356DB6544","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$7A371AD3-2886-437A-A2ED-F9044F51AE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$F4B9AAFC-72BA-4D5C-907C-7531EB5A7AF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3765755$5957C84F-0D6D-4300-82CD-41AD4D2EA141","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbecada3a6575efe77b94e7c1f7fbeba8dd590a5","datavalue":{"value":"https://eudml.org/doc/138027","type":"string"},"datatype":"url"},"type":"statement","id":"Q3765755$C7F37109-93CA-4118-8213-E3BD5F6B544E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765755$889CE3A4-03A8-4083-8106-03DF16837063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"245856eb2408307e52aa204c439db8d2b071deb4","datavalue":{"value":"4023253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765755$805985C1-5494-443D-A44F-2DB1F1604A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765755$21CD7835-96ED-4986-8102-389F99AF096B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765755$3AADA560-9956-401D-BC3F-80EBD0EA5893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54895b5e436c4f26e4e47e95d0db1fa03d27b2b2","datavalue":{"value":"arithmetic degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765755$13293C5F-31CA-4F3E-84D1-7EA6E5991D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607bb809d6019f074bdd7c80ac3d25bb129516d7","datavalue":{"value":"cone of degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765755$AC299932-4CF9-499C-8467-9E093463BF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765755$399A1A89-4526-4794-A1C3-C5E4434D88A1","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":"Q3765755$BD1534D6-C61C-4C3E-9379-BA182738A4A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdc477ea51711f0cface25143923945c4f939c6","datavalue":{"value":{"entity-type":"item","numeric-id":5566515,"id":"Q5566515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$F9A9BE77-288C-45E8-9D82-53373B64E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de5ee34c78e4faf764afd1f3b6065ac86d1744d","datavalue":{"value":{"entity-type":"item","numeric-id":4161312,"id":"Q4161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$B5B8FDF8-838B-4F92-83BA-8C695C39F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6792ef4b3b9eda4ca7ac5e1df7783896e36225","datavalue":{"value":{"entity-type":"item","numeric-id":3216640,"id":"Q3216640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$D9EF84FF-419F-488F-B11C-34871EBA0551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff64b88500b64f41644b8a4a778129e38e02e3","datavalue":{"value":{"entity-type":"item","numeric-id":3671144,"id":"Q3671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$F6531E40-7C23-4AC4-9637-59F96ACB5972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8080a060666ce540ac5849f911cb67e9775597c8","datavalue":{"value":{"entity-type":"item","numeric-id":5623675,"id":"Q5623675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765755$BF30E05D-F062-4801-AB00-5460832FC496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847f7a4a895645efbf8579386c86aae94dbdb80a","datavalue":{"value":{"entity-type":"item","numeric-id":3329451,"id":"Q3329451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cec0ba477359ddc805e592a51829e6b60776a3f","datavalue":{"value":{"amount":"+0.8844087719917297","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":"Q3765755$20A81E2A-6AF3-417C-B7DB-E5BE7660F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b0c08a25e5d1b9e4cc107549cefe0edab9cff7","datavalue":{"value":{"entity-type":"item","numeric-id":4011117,"id":"Q4011117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276771ec420234cfb52938e2d8530e8e1b81dbf7","datavalue":{"value":{"amount":"+0.7845606207847595","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":"Q3765755$2C9848CF-B844-425A-9E04-5FE9E7F2C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ef8275c6778deee8b665bb0249896335affef9","datavalue":{"value":{"entity-type":"item","numeric-id":1902619,"id":"Q1902619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f4ba51c3b9552a481a111cfc610f28c59c40b9","datavalue":{"value":{"amount":"+0.7807171940803528","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":"Q3765755$E72F97C1-FEB2-4842-AA12-3239EE6F5B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5262cbbe9c1286bdf8974f21164ade08905be0e2","datavalue":{"value":{"entity-type":"item","numeric-id":3083139,"id":"Q3083139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc31b6584ec2c83f73e9750733b9d0f0f7c982cd","datavalue":{"value":{"amount":"+0.7804082036018372","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":"Q3765755$CA1B57B3-35FB-4C0B-8552-684A7D914B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5ceae3639b097507dda426e37f6fbb74b12574","datavalue":{"value":{"entity-type":"item","numeric-id":3353006,"id":"Q3353006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2391a9d432fc7b2b3d1360accc264d2b0e41c2f","datavalue":{"value":{"amount":"+0.7794285416603088","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":"Q3765755$34CB1FB1-91BD-4352-B6B6-95807FA4B4F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The arithmetic and Turing degrees are not elementarily equivalent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_arithmetic_and_Turing_degrees_are_not_elementarily_equivalent"}}}}}