{"entities":{"Q4600467":{"pageid":6630050,"ns":120,"title":"Item:Q4600467","lastrevid":58278363,"modified":"2026-04-04T13:15:23Z","type":"item","id":"Q4600467","labels":{"en":{"language":"en","value":"On the decidability of the \\(\\Sigma_2\\) theories of the arithmetic and hyperarithmetic degrees as uppersemilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824528"}},"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":"Q4600467$9BCCD18E-725E-4856-85B7-0D6EF7708B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d62e1807032eb7044f84776d23c2e902f7fa80da","datavalue":{"value":{"text":"ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4600467$D13AC6AE-5904-4E2A-90DA-D5978FB168C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3a091950eb302e04b302666059194a7fa439ce6","datavalue":{"value":"1391.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600467$F934C1C2-359D-452A-9D3A-ECB80A7BD580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d0a9373bc12f91e484a2146723c9584b2cceaf","datavalue":{"value":{"entity-type":"item","numeric-id":4600466,"id":"Q4600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$78011B6D-5919-4711-9F68-6AD906189EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4600467$2A18F4E0-1B3F-4E5F-A7CB-F41C67C65589","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7383239b5849e5a42e2bc46b6700a8aec459060a","datavalue":{"value":"https://arxiv.org/abs/1606.07392","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600467$9DD8DE47-7E11-4A22-A92E-2A011DA284BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600467$7C2C1174-6D7A-4650-99BD-8D0BBC2A3C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6de282df2a0d52837cfdd7245ec1940479ae9fb","datavalue":{"value":"6824528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600467$05C135ED-410E-4DFB-B8B2-7652A24CE94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600467$C94097E5-1B0B-41C8-84ED-9DB19C05113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1b50cf067f9dee3d8088546490c43324510576","datavalue":{"value":"degree theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600467$C104DEE5-9445-46A2-B97D-B8CABE6EBE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf76ec65c5b2cd793a0e5cee73318225ba0c2b9","datavalue":{"value":"hyperarithmetic degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600467$3A5C0316-B733-44F8-99AA-F3487AC8C978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54895b5e436c4f26e4e47e95d0db1fa03d27b2b2","datavalue":{"value":"arithmetic degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600467$80C870FC-C6FA-43E9-A4B2-137E4AF73928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91d9a36e9f83b9646e0153c31d024fd6347a898","datavalue":{"value":"Kumabe-Slaman forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600467$45CE0B2F-0FFA-497E-9124-2CF33233EA9D","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":"Q4600467$BF188E4E-71E4-4B5F-8017-4B61BCAE6C42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"201369a1f3ca3bc6ddfc32b9b518d6a429d127a2","datavalue":{"value":"W2963134242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600467$DBFC86E3-048B-4FB0-91FB-717186D216C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$B72CBE47-DF8B-4464-B739-81C0AA648EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfcc6f5a7085d2fce2cc3dbce48b00140ce31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$F72572B0-3493-4E13-8F87-A5AB036047AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b263f961b581fc3a25b78d3a0446cc8dc34e52a5","datavalue":{"value":{"entity-type":"item","numeric-id":5190191,"id":"Q5190191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$A3C25A12-CDE7-4611-B2C0-437FA89947FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$022B3D70-891F-4676-9988-4BAE824A707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ef596d715f0e42056e138e2c287ca89a8f0c37","datavalue":{"value":{"entity-type":"item","numeric-id":3041177,"id":"Q3041177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$DDE19BBD-D687-4AA7-B896-3F74C0EBD385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$06DA0EF4-A5EC-469F-9CF1-0FA8408CB776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb078a634c706cbd62b7bd9238620283960fed5","datavalue":{"value":{"entity-type":"item","numeric-id":1574741,"id":"Q1574741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600467$2D8E28BE-9515-4C47-A5BE-54ED23411C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83e80366f137cb0316b9c6e15a812b9560fea0f8","datavalue":{"value":"10.1017/JSL.2017.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600467$0C1AE59B-D943-48B1-8C4C-5F14F4322B2A","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":"Q4600467$4B0004A7-4B76-4348-8307-F24CC396C574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7344ecbb2a3d10177b6b4532b2e1c9d7c0114a37","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5600a989bb161325dba00bbfd4263bc2ab95d06","datavalue":{"value":{"amount":"+0.8546678423881531","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":"Q4600467$443CE6EB-B4F7-4441-9D5A-58625328BA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3239e1a5f9ac81ed2a5b182543ce4bdfa6d7e32b","datavalue":{"value":{"entity-type":"item","numeric-id":4650267,"id":"Q4650267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5600a989bb161325dba00bbfd4263bc2ab95d06","datavalue":{"value":{"amount":"+0.8546678423881531","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":"Q4600467$E54918AE-4137-4A04-89D8-5E3323F02B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9eca8c27c0cabde3f72855b8a8e05a10b744ae","datavalue":{"value":{"amount":"+0.7877159118652344","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":"Q4600467$F414231B-5A8F-4F9C-A1F3-58D246E8B485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3522d99d1e1bd4f90d22c08d7b08d05285a5f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71a7de87cb767d1754fe0ee1a199c88548c0e87","datavalue":{"value":{"amount":"+0.7877157926559448","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":"Q4600467$A6E83BCF-4384-4433-B074-468939D30FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c5ccd74b8381258b364da9c8c1fb8aef3424f3","datavalue":{"value":{"entity-type":"item","numeric-id":5190191,"id":"Q5190191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf24b6bef92ae0dabc762baffd93b8bdabcd1a0","datavalue":{"value":{"amount":"+0.7717671394348145","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":"Q4600467$786BCAD9-0A78-4134-84A1-7F0E8849DC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4600467"}}}}}