{"entities":{"Q540402":{"pageid":542169,"ns":120,"title":"Item:Q540402","lastrevid":57052722,"modified":"2026-03-26T10:48:11Z","type":"item","id":"Q540402","labels":{"en":{"language":"en","value":"Reverse mathematics and uniformity in proofs without excluded middle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903675"}},"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":"Q540402$A384FD25-4260-4D8E-A920-689F834BF00D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20344ce2edc737d34afc8913ba60df5c8a1fc73b","datavalue":{"value":{"text":"Reverse mathematics and uniformity in proofs without excluded middle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540402$787A2E56-8F0D-4D8C-81BA-F0DDB3E2717C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ea524ce20bc546db18bce9dfec4fdc45164bece","datavalue":{"value":"1225.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$B16CEDB6-CCC2-4EA5-8E38-06B7AFDF1F88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8826004c7d941af51993a1fd01bbb528834d9f0","datavalue":{"value":"10.1215/00294527-1306163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$DE673C23-B9C4-4114-83EA-DFC724037868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540402$26A6C6CC-EEE4-4A53-BED5-9D5C55426109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6fe6778469ced17e25612a269bf91190d4e60c","datavalue":{"value":{"entity-type":"item","numeric-id":375888,"id":"Q375888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540402$713EB520-2B85-4E2C-8715-BC4719330C4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540402$BFB3031B-E7F0-4847-AF82-744D129E641E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540402$413797FC-510C-481C-BE9F-8EE63F48CF72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b952ce7cde3f5c20eff84ffc9cb4f81257a0aab","datavalue":{"value":"https://arxiv.org/abs/1010.5165","type":"string"},"datatype":"url"},"type":"statement","id":"Q540402$DFB51BEE-F3D1-4094-AB6D-5122E8D24319","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"194c03e3509b1d79a306264fb5b2beebaab6ec73","datavalue":{"value":"The paper studies the relationship between systems of intuitionistic arithmetic in all finite types and subsystems of classical second-order arithmetic. It shows that when certain statements are provable in subsystems of the former, using intuitionistic predicate calculus, related sequential statements are provable in weak subsystems of the latter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$1CE111C0-1EBB-444B-9A8D-C492A0DD0956","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e50e51a335ced4910768cba9c791ed218f55775d","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540402$AF44E80D-2130-41F2-A6BE-2A34C467B07C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$559AFFEF-0135-4945-90D9-30B0D27C9246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$5A40C0BA-E7AF-424C-942B-135DF0619FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$E1679AAB-2984-46B3-A7F6-EDBCD28CA094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$0BD6C119-722E-4614-8E07-185FF3100655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab6548d64d8c4d3ff1042238f4deee440e8940b","datavalue":{"value":"5903675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$BB0FCC3E-5D0F-4DB8-8234-A3BF0EC885EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$100D8D27-8F3E-48C7-B740-4AC8F1B67187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$324D963B-C4F8-477E-B2DA-AFDD2A3EBAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$94C0729B-4047-4FF5-B277-C1EBD9540EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1182631142412499643738afe82e0048be7b105e","datavalue":{"value":"uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$5115B8BF-98D0-4CDC-8B2D-9734EA89AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$40C99FE2-E5E0-4EB5-A43D-6BAF036EB8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540402$3B37F10D-1104-4EFE-9389-2F4DBA5B21CA","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":"Q540402$F3C8AA41-9640-41D3-B12A-052AADD8E965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dbc8aba1536d7aec5ab062039d439d30621d4ec","datavalue":{"value":"W2089230867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$D92D251D-190F-453D-BED6-977A840DD0E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"66d27daf12401989aecff5b780d6eb70308e464d","datavalue":{"value":"Q57951149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540402$6B19BA5B-BA93-4D2F-AF83-DC6F068FD925","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02570714d3f4b26522978cfef4de00afbb59789f","datavalue":{"value":{"entity-type":"item","numeric-id":5258475,"id":"Q5258475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008613344408713ca61285b50585fc20b94277d9","datavalue":{"value":{"amount":"+0.8046784400939941","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":"Q540402$8DCDA19B-785A-482C-ACDF-22979BB19A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0af5dd3546940f1c0e7a7027dc0a4b3a95c66e","datavalue":{"value":{"entity-type":"item","numeric-id":3145982,"id":"Q3145982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b48a2dafa4833edb5f74b738f78e688b7636a9f","datavalue":{"value":{"amount":"+0.7774826288223267","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":"Q540402$AFE155DA-F599-4E37-9004-671565F39D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7dd0cd9c361dcba520f59613dd9e567fce713","datavalue":{"value":{"entity-type":"item","numeric-id":2443117,"id":"Q2443117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efeb374fdd85e3c20c12a63539abaadc334ba6b7","datavalue":{"value":{"amount":"+0.7738612294197083","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":"Q540402$787C9715-FDA5-4803-AC83-CCC22E79AEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3ca7d4300263f4fe4328de522ed1ffd35f969a","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c13f0e39a055bfa846839c0214f9ff3d2f280e","datavalue":{"value":{"amount":"+0.7738474011421204","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":"Q540402$949D6C21-3121-46DF-9ED6-E1ED39D70752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c46768c15d7b2e726270845d2e11eb6f07fec58","datavalue":{"value":{"amount":"+0.7700813412666321","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":"Q540402$6483FB42-578F-48F7-8F07-D08C05037705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:540402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:540402"}}}}}