{"entities":{"Q3159415":{"pageid":3170131,"ns":120,"title":"Item:Q3159415","lastrevid":45573607,"modified":"2025-12-10T19:00:12Z","type":"item","id":"Q3159415","labels":{"en":{"language":"en","value":"Uniform versions of some axioms of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2134249"}},"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":"Q3159415$00B59226-011A-4889-93DB-45BBA110B32D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d3433378ca2fabb36d32239693867bdf1cbc3a7","datavalue":{"value":{"text":"Uniform versions of some axioms of second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3159415$2281B9BA-DB29-4369-97B3-2EB6B2280E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e7c08b7c44bf90fa1999bbca13b6f7191d6556","datavalue":{"value":"1063.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$77522102-5543-48B5-BA5D-1665E60D0197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55d11e348a8c7148f2ba7d4e9dd84a3d60a2e0eb","datavalue":{"value":{"entity-type":"item","numeric-id":701726,"id":"Q701726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159415$C059CD29-E259-40FB-86F1-9FFC1572A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6bb43a942f467a7751dad22d578372df9f5bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":527336,"id":"Q527336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159415$EBBA4F25-5D42-45DD-A976-9A8BC0051683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3159415$846936BB-C7D5-4F9E-91B8-4BBDE0E0AC60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e1dc4e5d09058a4e51ff5aff35b48498fff31ce","datavalue":{"value":{"time":"+2005-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3159415$B26F729B-2B01-461B-BA81-E993AB749E35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$1FA2654D-ADA1-4464-9162-6C1A2FCDD11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$3DA374FB-E6B8-4096-9A08-2D001979A6C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46c260f24b41c69465c23db5c5e9f8c99a09e55","datavalue":{"value":"2134249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$5A8F194C-00B2-48A9-9F87-061F181BDF2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4890bd7f9d630d115b5470c1e5b846e990aa46","datavalue":{"value":"uniform weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159415$E2A183BD-C58F-46EE-8522-0608EA2E5AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159415$DBA570F4-AFB9-48E5-851D-62C8C2A92599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159415$4E176B65-E2B4-4905-A8B9-7CA84950B4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3159415$C509B250-08ED-48B6-8652-C5813F8347BC","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":"Q3159415$849DC74D-D9E3-44CF-A348-67A261B9E4CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de6220fe7a811c3f8708e56c64b1fc8c3d019b06","datavalue":{"value":"https://doi.org/10.1002/malq.200310122","type":"string"},"datatype":"url"},"type":"statement","id":"Q3159415$920234C8-DEC7-4A20-B10D-AF7FB764A73D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b9bdfc7818bbfac13a1f763d69fe42c956885c8","datavalue":{"value":"W2045199616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$62395E25-1158-4938-80F1-865B68CC3457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be289af5ab815939141c242c8c2704af00ac33fe","datavalue":{"value":"10.1002/MALQ.200310122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3159415$974530BE-F034-45C4-82F3-8CEC85F0A660","rank":"normal"}],"P1643":[{"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":"a28244e5f033e296f1dd295064e13c9d4d33f103","datavalue":{"value":{"amount":"+0.84258926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$FBB1D07C-734F-4E13-B64F-5B05E5A0A06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b704586081cd46afeda25da4081f0c52e1a496","datavalue":{"value":{"amount":"+0.8217751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$97681741-54CD-4518-A7B4-3B408E05C185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1fb85b4b8e0c1e9ca0b7084f978ef63c7e2d5f","datavalue":{"value":{"amount":"+0.8127177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$2C3B4DFB-FECA-4408-854D-936EF3D73848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e042d8d8a0beaca39e28035bb0b03ad9bd98635a","datavalue":{"value":{"entity-type":"item","numeric-id":3360849,"id":"Q3360849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5189258741597d580d1764746f2652d3150114","datavalue":{"value":{"amount":"+0.80978274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$79422430-D015-4DD3-AC1B-DBF30E5425AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37891e23c649d536522fc4eb3a7d84afa97ee28","datavalue":{"value":{"entity-type":"item","numeric-id":3464661,"id":"Q3464661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d06533181fdbbc6ad5aec763243e84ee646be7","datavalue":{"value":{"amount":"+0.7994646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$26275F78-3B12-48AA-8C45-42DB03B03585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd7026202af9519bb2b7191d7e1b2a471537ac7","datavalue":{"value":{"entity-type":"item","numeric-id":6062174,"id":"Q6062174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fd795a8ddbdad65cd1a41cbab96aec99bd979b","datavalue":{"value":{"amount":"+0.7895691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$23C22177-E3F2-4B93-AA9D-52D7FEF79ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0748a92ae7dfbede2db731c9712b2b21ac5608","datavalue":{"value":{"entity-type":"item","numeric-id":3008059,"id":"Q3008059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f79339b7c31c8dcf6921f058e463e83456fedfd","datavalue":{"value":{"amount":"+0.78854835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$B7E5DA85-2A02-4CFC-BBEE-FE84E2A59D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2845a83bf4d08ae01b37f0d67c54a5996b0be2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4968478,"id":"Q4968478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52da70aba35e419116eb793b14e3f1c4b7d3281","datavalue":{"value":{"amount":"+0.7850859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$6D10DF61-3639-4CC6-B36C-1B7A62F3EB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db8d4624cd53d6ac98bc2e37d8bc9fabb47fb41","datavalue":{"value":{"entity-type":"item","numeric-id":2966523,"id":"Q2966523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab18bae92c9f666ef06369e0f53e058b5c9b4c59","datavalue":{"value":{"amount":"+0.7845592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$94A87BCF-BB08-41BE-AB3F-9B6512624120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b36ee2c35c29238818024237fdd2a78acfedd9","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c5cd0f833e6152f9484a52400584a07d13244a","datavalue":{"value":{"amount":"+0.78237176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3159415$AC3D4C94-0B3B-4DE5-947A-6009C3FF4F1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3159415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3159415"}}}}}