{"entities":{"Q1908450":{"pageid":1919192,"ns":120,"title":"Item:Q1908450","lastrevid":47019660,"modified":"2025-12-26T01:39:36Z","type":"item","id":"Q1908450","labels":{"en":{"language":"en","value":"The last question on recursively enumerable \\(m\\)-degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 848943"}},"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":"Q1908450$2DA0B769-9AEF-4B2E-A9BD-E79A23F09124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"734f08125c30b01ff8d9cdacbd806efd7fc7a1c9","datavalue":{"value":{"text":"The last question on recursively enumerable \\(m\\)-degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908450$A99BD6B9-FBF4-41A8-BC1D-B692B8F5277A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89d238ffc21e3a3211ddc94017558a5a6c40ad39","datavalue":{"value":"0846.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$B35EF730-7C0B-4F9B-897A-AD810378426F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c79d73917ca7d2ac10d9295b593696ae92d4dbf1","datavalue":{"value":"10.1007/BF00739571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$A2DEA9AD-AA14-41D9-9C8D-271E91E07DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$EB98C6F2-ED0C-4050-8FB4-1FF4D921AEB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$2E1DB79B-C5A6-464B-B550-115C88236DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40ccef3c37e60b278799f9ec64c66ebcb5a6eeed","datavalue":{"value":{"time":"+1996-03-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":"Q1908450$DD628E45-2D79-4942-A986-331A54AC677F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"276a726d51a1c9cc172c27347d06d9803f6de30c","datavalue":{"value":"https://eudml.org/doc/187699","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908450$BB423A1F-4FA9-4A12-9D37-5BF50806E2DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f46057d204303699d415ebbb4051e3756e21e81f","datavalue":{"value":"This paper shows that true arithmetic can be interpreted in the elementary theory of \\(R_m\\), the structure of r.e. \\(m\\)-degrees. Hence, the theory of r.e. \\(m\\)-degrees has the same computational complexity as true first-order arithmetic. Furthermore, it is proved that a standard model of arithmetic can be defined in \\(R_m\\) without parameters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908450$60DBAE7F-BD41-473B-A63D-5B6B0CD30D41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$21F4237D-64C8-4339-9059-6FADA2681BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$EED10352-07C2-4785-B7B3-BF74A233B7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$C48EAF10-2E56-4846-A25B-94A347F33AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$79894944-69F4-4FFC-A8E7-801B7EB5BE2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a41249b8ff5fcf38040bb9a45975d2ec5c294355","datavalue":{"value":"848943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$3FDED63E-525F-4183-96E0-09670843A6D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bfad4c5495d890bef68e969a82819199b1871fd","datavalue":{"value":"recursively enumerable \\(m\\)-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908450$EC7EC263-279D-451A-B694-6D851397AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908450$AA925BC9-24FB-481D-A1E6-DA42E8F5FC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908450$658E0998-822B-4D0D-B7A6-B55CA9F90501","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$1A0C549E-14D7-4C00-A91F-71966E424C68","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":"Q1908450$EC6C8960-1A89-43D3-BB6B-C3525852860D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67808433a6f34aca26755eb56dfb1e680e10afb5","datavalue":{"value":{"entity-type":"item","numeric-id":1843427,"id":"Q1843427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$67D046CE-196C-4BBB-A865-05ADE4A0CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c6dd6ab9c729d47d83683aec901c0cf8bce0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1906521,"id":"Q1906521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$92036F15-E66E-46BC-8F1D-0B85F44D6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$3CFA9AF8-27F0-47E1-9CE9-2EDCDC0C8636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced993f36d10a145c00c6bd7090e0e4ebe35bfca","datavalue":{"value":{"entity-type":"item","numeric-id":3922661,"id":"Q3922661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$CB038BB7-AB54-458C-A0F3-DFD88E071398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42848f3805a9830a011cafea2fd1b07276c6db82","datavalue":{"value":{"entity-type":"item","numeric-id":1902619,"id":"Q1902619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$E0EAABE1-746C-4E14-901B-F460052497BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$108C6845-9A5A-49D8-BFA6-A19D1D041B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fbf34f83d52cf19f0f864caa264d2ea2b425b1","datavalue":{"value":{"entity-type":"item","numeric-id":4511663,"id":"Q4511663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$8A7EC211-2581-4B3C-974C-2C9190D60DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ce067c8b5894e0c81d7ccc6c7ce7fcf53a63a1","datavalue":{"value":{"entity-type":"item","numeric-id":4032867,"id":"Q4032867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908450$81E877A0-F8FF-4E6E-84B7-AE3B48FA9896","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8dfcf8b5c83936cdf74db375806705d93b68fe2","datavalue":{"value":"W2034985264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908450$A1725D3D-F342-4987-9406-3D84E303A363","rank":"normal"}],"P1643":[{"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":"6d7b3097df47f4737642efc527cd47143a77d4f4","datavalue":{"value":{"amount":"+0.8359216451644897","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":"Q1908450$07ABA7FB-99E1-47C0-83D4-9484AC098916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c163a3216ebbca593665cc5423920aed2a7c2b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4282612,"id":"Q4282612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdbc18cc27dc4ee81e2a1214fafdc418a213655","datavalue":{"value":{"amount":"+0.8076488375663757","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":"Q1908450$9A28D883-5234-4771-97D0-283F4CC0464B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1440bb4a2ea730c556f43c7bb3f568ccfb8152","datavalue":{"value":{"entity-type":"item","numeric-id":5485749,"id":"Q5485749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14ff8af24436e35db879aea49f479b4884154db","datavalue":{"value":{"amount":"+0.7904890179634094","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":"Q1908450$5A6C391A-5CA3-47B9-A006-604F26B70BF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908450"}}}}}