{"entities":{"Q5028319":{"pageid":7057896,"ns":120,"title":"Item:Q5028319","lastrevid":54220550,"modified":"2026-01-26T12:04:44Z","type":"item","id":"Q5028319","labels":{"en":{"language":"en","value":"The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471469"}},"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":"Q5028319$2BF7CA0D-0232-4EDC-B3FB-9135AA6AB3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7218b7ae193950167e116177cdedfd0f8fe334e","datavalue":{"value":{"text":"The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028319$741E107E-FAB8-4C67-ADEE-99AD07DFC9BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028319$2F422344-81E1-40D0-AB04-F1C176DCC684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028319$D1A324CB-91D7-46DD-BA5F-48CBC52F20F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028319$59AA1054-1A2F-40A3-AE0B-BB1D65C62C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19eb0132c2ab71891b1dcce39c937c428d514546","datavalue":{"value":"https://arxiv.org/abs/2006.01614","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028319$A4D24C86-86D1-472C-88EC-0F5E1B779CF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$B11AF613-A8CA-4451-A57E-F6DF21A0F768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$FEBF887C-1B09-4B53-B690-46A0D889F9BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90cc62b62d03580eb98fc78fd40374a25e554525","datavalue":{"value":"7471469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$F56B0A03-9DFF-47E6-87C5-58C18D431E4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028319$3441A012-2F42-488B-98E8-CB8954E53DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e238fb668b2ceb95ed83fcdc65c63ca2f393f1ca","datavalue":{"value":"higher-order computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028319$C2B8655C-1C6A-4AE7-A232-9A3C06F09513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028319$3CE0F19E-FDA6-4E1F-B969-590E669BE7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028319$6529A986-8E1C-4655-A033-7FA0B4BEF6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028319$68213012-87AB-4A19-AFD8-D22C3157CA97","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":"Q5028319$C81D268B-768C-487A-8EC2-7E28C36A5813","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9c4377c6fdae97688055d623fb4fe7b7f6ef354d","datavalue":{"value":"Q114009717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$038BADCA-DA10-483C-AA42-4B97FE5848CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a71baa3800ea22c58fed3ee926bca1c677d4f94a","datavalue":{"value":"W3119916969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$543BA889-AE66-4F35-B628-3356DAE924FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3725ac6690ee6c47066d4d9f7901aa8667965f98","datavalue":{"value":"10.1093/LOGCOM/EXAA080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028319$E173F7E7-CCE9-46B6-989F-0FD5F474E0FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028319$BD9A38F9-B38F-4AE0-B338-38930A86E57D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797ad4b28b7206dfda687c16ff2e5c688786ab1b","datavalue":{"value":{"entity-type":"item","numeric-id":5394595,"id":"Q5394595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d969faf2a66b8b4ee02481473fa2f7c8f661215f","datavalue":{"value":{"amount":"+0.7211259603500366","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":"Q5028319$E926DCEB-D1C3-41C6-890C-C692BAE98AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f6677213c71df10208adab80997dfc426dc3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3083466,"id":"Q3083466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966fa52e1d494ee232dc4dd1b02b658974aa0b20","datavalue":{"value":{"amount":"+0.7186868190765381","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":"Q5028319$4DFA2B2F-476A-436E-AC28-8A2B0A0E0B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97485707013226828e6120bcd2e82ed1be489635","datavalue":{"value":{"amount":"+0.7173420190811157","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":"Q5028319$E21314F4-BAE2-4A28-BC02-6E74388C9E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86373fa881e584c4b3d9adf53657f0ac55a32f46","datavalue":{"value":{"entity-type":"item","numeric-id":3313858,"id":"Q3313858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178ef3fd149cfc0c563ecf18f57933b5bdaa0698","datavalue":{"value":{"amount":"+0.7171375751495361","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":"Q5028319$837294FD-017F-46FD-AACA-A3E7323A9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a359d3244d4be13b9504f0d18b47c9e70a4a31","datavalue":{"value":{"entity-type":"item","numeric-id":2326415,"id":"Q2326415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee0528b5c5f48c8562e57b7cd5a26a1aa674ed2","datavalue":{"value":{"amount":"+0.7148754000663757","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":"Q5028319$8FAA11B3-7F21-4CBE-89E2-A8A79772D394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028319"}}}}}