{"entities":{"Q4212925":{"pageid":6242526,"ns":120,"title":"Item:Q4212925","lastrevid":46596528,"modified":"2025-12-25T04:16:03Z","type":"item","id":"Q4212925","labels":{"en":{"language":"en","value":"On the computational content of the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208093"}},"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":"Q4212925$7D0A0E6F-BF68-4FD1-AE69-F69ED97CBDC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cefc59835c9fe17cd069682fe38d1cb5cb7f939","datavalue":{"value":{"text":"On the computational content of the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4212925$D3EDB1BE-0107-4399-B7AF-5F66C7F09719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d83ee9ecf384119fc7d3b8a5f578767ab51fd799","datavalue":{"value":"0914.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$D7F0BA36-C0CD-4828-A09D-41C9B00DE547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9528cbf2541f671caded2b232d7e73c395661929","datavalue":{"value":"10.2307/2586854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$8ABE8F49-FFE6-4BBF-84BE-DCD007673326","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$8B71E763-5409-4097-B007-AC5F25C8E9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$D093106B-4B0F-4540-B56E-EC0AC4C62782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$1047613B-D812-4B4B-88C8-5A77BE4CE8F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35b3a064d7682b9a13e9899ccb5eebd1ef0414e7","datavalue":{"value":{"time":"+1999-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4212925$980554CD-5074-4284-B39A-8E512F264299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84ed8e71a763d36ea50c83bb3266f986c39c610f","datavalue":{"value":"http://doc.rero.ch/record/293640/files/S0022481200015127.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4212925$8B29CD3E-1678-4F84-B708-419BFD9B8E43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$A287156B-4359-4CEF-997C-31697DBA5C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$7B6825BA-4C87-4E37-BB2F-A2956183CAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$47DA8416-5C9D-404F-8FB7-0D4E1AE8647B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f74dd74de4357c507200e8d45ab5841937ab11f","datavalue":{"value":"1208093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$0C573BD9-42D8-4AD4-86F2-25D31C64A7C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71c16784584965ff94e9bf86e07b066eb046d16","datavalue":{"value":"functional interpretation of classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212925$FCA10CC8-E00F-4D7A-90C9-5C532A379DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212925$266ECCFF-974E-4866-A061-9073092946D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b3d2b6b47dae6657c46e82106c011e81b18bb","datavalue":{"value":"excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212925$809A5C86-F238-45C0-91DE-7550C99D68CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212925$F382BB32-4529-4CAE-81B5-C50D2E521C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4805db54ff31dfa3612bf2d6aa927f25f09aeeae","datavalue":{"value":"higher-order functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212925$C7E8CF1A-B0B7-494F-9BE5-528F56F4D102","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":"Q4212925$A85CA375-7333-4D5E-8E37-86B8A8E28405","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cd3759a2d3c1d71b1539609ce2ac293f884c17f","datavalue":{"value":"W2107359728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$2F44D901-4DB9-415D-8521-CB7CB9EDBFD4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18636b9dc3849cbc665d745b75b1f5d0193738cb","datavalue":{"value":"Q114004528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212925$404D1109-9DF7-414C-8DC0-2F82D1DCC22E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$5DDFE903-1790-4FCA-ABB3-59DDFEAB9B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae10b5ee927ee3a76f4e9eaa03a325cb43fb1e9","datavalue":{"value":{"entity-type":"item","numeric-id":3739119,"id":"Q3739119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$8EADB127-A388-4ECF-AD9B-A406B0A11584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da86d122e48ca47a994dd19a2ed1baa918b81c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3960633,"id":"Q3960633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$E755B785-888E-453E-B8F5-8BA91071C2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$C7410F65-7F5E-4186-BA92-B9B2A46B4C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7789c9a126e9e98096c598ef8a7c46ea7f841f5","datavalue":{"value":{"entity-type":"item","numeric-id":3261419,"id":"Q3261419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$F52F7EAB-E950-40A9-B4F9-77A8684DC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212925$978E92F0-DFFD-4650-9A7E-16DAB1195ECF","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":"Q4212925$A49C7E7A-D94F-4769-BE51-4E6E3B7BE1B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14338fac203005828e9642d20df6d731dbb3b644","datavalue":{"value":{"entity-type":"item","numeric-id":3024822,"id":"Q3024822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ece74a3d963f8ca90c79ea67d54f5456bc525cc","datavalue":{"value":{"amount":"+0.8300814032554626","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":"Q4212925$6E46D0E3-76CC-4A09-AF10-6E099E9553E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7cc0b9e1691c5553d2a1fa764865dc304f866a","datavalue":{"value":{"entity-type":"item","numeric-id":5702662,"id":"Q5702662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d450ec3e56cb40eada71f05936b5af4413d6ab28","datavalue":{"value":{"amount":"+0.7912152409553528","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":"Q4212925$7306DC45-2C6A-4118-A379-DB8C3977FD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f9ea0386ca073eb50bec106e3334b9155c204","datavalue":{"value":{"entity-type":"item","numeric-id":2937797,"id":"Q2937797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee99a0d66b69dbcb357fb7126d8e23b5d7ba30e1","datavalue":{"value":{"amount":"+0.7892425656318665","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":"Q4212925$60DC2BAA-EC26-4B83-95F0-0F9F3447E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec1cfa232afccbd7ee961b0b48c4acba7a21326","datavalue":{"value":{"amount":"+0.7845576405525208","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":"Q4212925$C631FA41-ADA2-4D13-AEE4-77850DB95B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff467da82d6cced4e8f3832d43086d25fb22e85","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d065942156ac9838d24fd5f2da919ae02cf59c","datavalue":{"value":{"amount":"+0.779384434223175","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":"Q4212925$79881DD9-3AB1-44A0-8414-A832209FFB25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4212925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4212925"}}}}}