{"entities":{"Q4211072":{"pageid":6240673,"ns":120,"title":"Item:Q4211072","lastrevid":46882197,"modified":"2025-12-25T18:59:41Z","type":"item","id":"Q4211072","labels":{"en":{"language":"en","value":"The $\\Pi _3$-theory of the computably enumerable Turing degrees is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1198494"}},"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":"Q4211072$FC2C1BDC-C8D9-49D9-AE98-F92257F3B1E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e65c69fd1dce812e25e0666c3f95f37dd52ff8c1","datavalue":{"value":{"text":"The $\\Pi _3$-theory of the computably enumerable Turing degrees is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4211072$37B78D9D-70F5-44E8-A649-4CC23986A41B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e115554a1b0185a2626d293c0a0c2629ca8fa21e","datavalue":{"value":"0904.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$4E662D98-EEEA-4436-BBA2-2BA53DB16903","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1718a73acb0a164884cb01f82301355efdf7ab77","datavalue":{"value":"10.1090/S0002-9947-98-01800-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$55FB9FBC-0E04-4921-B4DA-7353608890B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$3662B0E1-A927-437B-8ED9-F21CF931C801","rank":"normal"},{"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":"Q4211072$B3AD2F69-B33A-4859-829B-10F9FD1A77DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$CFE59438-CCA0-4046-957C-CCCBB82B8E16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$A4204BC0-2678-43D7-98E3-1A69997BFD6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0d45ee9df76ca8b87880e2aeb203d027e791992","datavalue":{"value":{"time":"+1998-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4211072$4370EE8A-1F20-4749-8515-839708F62A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$C50B654C-11A7-44AE-B2CE-E7481815C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$3A1E36E4-B01C-4069-9AF7-6DE776FB570B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe83c51dbbd8ab197a4e3ba1a21166eb418d7eb","datavalue":{"value":"1198494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$D581AC07-5979-4327-8FB9-7D119F6ADFBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$4FF67888-9B13-4108-8DC9-13D58BF5980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$5536D07A-3ED5-4203-8DD3-95E653CE44B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5114f1e438678b16cf0a9b1a490f653ba8cdaca2","datavalue":{"value":"\\(\\Pi_3\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$4D1E0035-29AC-427B-9E58-94264DC87E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13fd43402d44fe88c6e50eada77a8d7badc269b","datavalue":{"value":"fragment of first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$49E470C2-EABE-4EAF-90E4-B5868E49B690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$AA5E7418-62C5-4F28-B86C-8F485173C6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211072$383A8694-BA6E-4EB3-9ADD-6B3776A4C5AA","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":"Q4211072$8997B5C1-48D5-4F44-AFBC-1D7D983E2E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad8e800dca90055c7ab7841ac69c777c0f82200","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$4E7BAB61-5BE4-4EF4-A3A2-C0AC14721918","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":"Q4211072$2C2CE102-F444-4EBB-A2AD-94CE69B87E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$AAC80AFC-CDC1-460C-A8E1-64C0D95DC589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905afa414dfecac000db41cd2e608dea46c7ecfd","datavalue":{"value":{"entity-type":"item","numeric-id":1368585,"id":"Q1368585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$6C5B95D6-3B5A-48E1-9E93-BAF8D21E73A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0d337dfd6546c229cbae3bb98266ce71dfcee","datavalue":{"value":{"entity-type":"item","numeric-id":4859902,"id":"Q4859902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$710455DF-FEFD-4CBE-A1F7-8B524C09829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ffd0629c61d6edc89afd699229a72601ddc818","datavalue":{"value":{"entity-type":"item","numeric-id":4876314,"id":"Q4876314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$8BEFC32D-0693-4C12-BF6E-DF13F697462B","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":"Q4211072$30B61020-62C8-4E1F-B0B3-142348EE27EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$4822355A-9C38-4DB8-BAE3-8BF176476104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dec668d27b17236d20c4d0c731e94df29b5e12e","datavalue":{"value":{"entity-type":"item","numeric-id":5519129,"id":"Q5519129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$E2E7AF48-3CFA-4F58-B8CA-03B6F96139D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$8E814CAA-B860-41C9-9CC3-87F003FBB730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d758df723c0147bc486dfb831c7e0fdaded67c22","datavalue":{"value":{"entity-type":"item","numeric-id":5586291,"id":"Q5586291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$CA5DDDD3-1B4F-40FC-BD14-AA0AF5C75BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b1d3ee86794cc71b8c3535ff1f821a61ddd385","datavalue":{"value":{"entity-type":"item","numeric-id":5945541,"id":"Q5945541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$2C0EE49C-3643-4BC8-9958-3FB0EDD5D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$68E42240-15DD-4F12-A248-BA4AF7664F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4211072$A9AC0968-BE87-48DD-8857-A204ED0F1F53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b7747d3e9bfaba4371ffdddbb1b4464ad4bb4a","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-98-01800-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4211072$1C17A087-B8CA-4032-B7CB-1A12427613F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7adabf738910015deabfe24184c58e4f92f9348b","datavalue":{"value":"W1924972752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211072$925CD8A4-B8FF-4627-92B0-5322E45BD1F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1162d3cf08fa88c5f628b43ca78046adbb9c53bc","datavalue":{"value":{"entity-type":"item","numeric-id":3416114,"id":"Q3416114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94ce704c13ae699146cb95c58a730d3ef738f4c","datavalue":{"value":{"amount":"+0.8772454857826233","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":"Q4211072$35A26DD2-E318-4502-86E2-439582DC1B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af419303e51c1601102a2e9bb03ec7950cce012","datavalue":{"value":{"entity-type":"item","numeric-id":4876314,"id":"Q4876314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f786694686c3e208fb1a6c0e094e4d09d4f006","datavalue":{"value":{"amount":"+0.8381385207176208","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":"Q4211072$0EB90CFC-2AF4-4247-A4FE-861A676351F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa8d9433e7090ad2869146de2c96a503dfe72b2","datavalue":{"value":{"entity-type":"item","numeric-id":1591201,"id":"Q1591201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56850c8bfe0a602c0be3c5a7728b6fcb6550f68","datavalue":{"value":{"amount":"+0.815029501914978","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":"Q4211072$EF8BF181-5C4C-4BB4-BD94-797B26881CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5045f654be472f29e03fe9c332e8e0d0b15991d8","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee7da807fa91f30371760dded7d9b32a5c97b7a","datavalue":{"value":{"amount":"+0.7974631786346436","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":"Q4211072$10238E30-22B2-4379-8F4B-FB1A2AC9DFD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4211072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4211072"}}}}}