{"entities":{"Q3066789":{"pageid":3077505,"ns":120,"title":"Item:Q3066789","lastrevid":80012042,"modified":"2026-05-06T15:14:21Z","type":"item","id":"Q3066789","labels":{"en":{"language":"en","value":"Formalizing non-standard arguments in second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835162"}},"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":"Q3066789$C7FE31ED-15B9-41E1-A23A-73E6141B7C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"497e2d72f34ed3bf87bbe4a99b79339f8bf8428f","datavalue":{"value":{"text":"Formalizing non-standard arguments in second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066789$0D88B773-3EC8-43B6-BE8B-FE21D6AF101D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"339153bb8c90600c4f60c7365ad2821daeae48f6","datavalue":{"value":"1214.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$BB897AD7-6EE1-4318-BC67-B6AD745E7FF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$182FA8F1-CC26-4CBF-BA47-5BAA8EB6F822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066789$211FDE69-46F6-4ED6-A240-606A52F31993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$EFB67695-1888-408C-8035-5FB965FCE41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$4E32CD04-526F-4E6C-BB42-55516FBDEEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$1B4D4FA5-A025-4F89-BF45-9785A0E54A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$A0A19650-FBBF-4C93-9D03-02D9B9E45DA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b3902dc813827995c988caf58d23d4827f23e0","datavalue":{"value":"5835162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$CD9CF53C-A57A-4E4F-AA18-F0A792284231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad6e285f78b2965583c1c284ba2aee2f6cc76bf","datavalue":{"value":"nonstandard mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$3B3996F4-B5DA-4DA8-8CA7-E51FC4DB24AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$2F5C22F1-1A3E-4891-84D4-55024AA68AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a60d168bc38c713fc09ce6a31f672be07284903","datavalue":{"value":"ns-WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$5DB7253F-7977-4A35-B598-A40D45520586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095c9d436c1cb33685f38c20ea51cac7c29526c8","datavalue":{"value":"ns-ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$B7666662-0021-4B9D-973D-ADDC06BC7B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$F85A0AB1-D6CC-40E7-90C8-BD0D3F7DC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$BDEB4A0B-6FA3-43B8-B389-EFB1ADC95676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$2823F3C3-AE47-459A-B396-06BF596F30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963b573cb30128c8b3b38efa90aadda6cd4a1405","datavalue":{"value":"G\u00f6del numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066789$631D7FD9-65E2-4A5B-98BA-3D473AC1D377","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":"Q3066789$933B5AB5-2FE2-4399-8BD9-01FFDFB6F2DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd120031e961d0bf7516045d485b303790fc1cb9","datavalue":{"value":"https://doi.org/10.2178/jsl/1286198143","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066789$09E415A8-59C5-475E-8138-2486CDB598CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b620e58e127bfe726da4c9d91906577f92af10ab","datavalue":{"value":"W2137023255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$F87AE1B1-0650-4435-855D-F2231DC92C86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$75FDF586-08DD-43F6-95DE-BF8BCA49C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$00E0AF32-48B3-40B0-9FF6-4FF4E2A44D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d66a24a5a2c7f3d1918a005a090c1355b603de","datavalue":{"value":{"entity-type":"item","numeric-id":3437038,"id":"Q3437038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$39B61BEA-24D7-48F6-A0F7-4DC7F59066DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef1a2f853d54e55c9c98e176228c1775ad9cde","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$38831BCE-AF92-4C56-90FC-D8E21C8372FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$60C50AF3-4B26-4728-9396-22CC7485779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c4df29528d49dafe758344585c98ff817e022","datavalue":{"value":{"entity-type":"item","numeric-id":4351929,"id":"Q4351929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$DD174841-8C8C-4646-9E2E-D52A198E4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$CC8E0B99-8345-4357-8C4E-102B19960AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f98fc09ef31999232f467a1f6733fd3701943a","datavalue":{"value":{"entity-type":"item","numeric-id":884957,"id":"Q884957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$5D2973D0-CA9C-493B-9029-8803F53E32FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff1e3cb97846d725e4e7fa295c1ef2e5b33886f","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$38B45694-B015-41A5-9752-B249F39A48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066789$B5F99620-90BE-408D-B2CD-88581229E736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb91013b4a77b3e33532798a7be46a38636198f4","datavalue":{"value":"10.2178/JSL/1286198143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066789$78DF77A3-80FB-4E23-9E23-72CE7E944DD7","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":"Q3066789$BB1E2B1C-7BB6-4EAC-8294-661F986B7F00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8868a62ec8df3207496bd1c4a4eb27cf563faf1b","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0daa36ac6e1c2a4dbd811edc842269bbd6fd39","datavalue":{"value":{"amount":"+0.9069084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$F3C9DAA4-8D61-4512-AB4F-58B5798DB22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba663276e74c3fcbaf42206435388c48389f17d2","datavalue":{"value":{"entity-type":"item","numeric-id":3312221,"id":"Q3312221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525c17c4bced316b1d2181d09461efe676ef3c52","datavalue":{"value":{"amount":"+0.865232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$34FD9F04-FE6F-4B92-8C63-11FC91629DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6217dc27b4a559c970fb88514067c886088432c6","datavalue":{"value":{"entity-type":"item","numeric-id":3391904,"id":"Q3391904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16eaca5092bd135eb21ac5268a69e80ab74e46bf","datavalue":{"value":{"amount":"+0.8604284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$7ECAE1A6-333A-4041-B725-A62157A2BEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e68142a32a3a5b269b426f5571e03bcec68080","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6ab9458624e6e9b133806a10119f1c7545fd39","datavalue":{"value":{"amount":"+0.85035694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$AC9AEC04-7A53-4579-8B3D-8A4980C9912E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed877c84ddb294c4b61ae1a1a2b7ff08a9e91bb","datavalue":{"value":{"entity-type":"item","numeric-id":882845,"id":"Q882845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c597875013cc184ea354801ff0b4005b46bb7638","datavalue":{"value":{"amount":"+0.8499192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$B931E466-B0DE-4046-B802-278DDA93239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3b70499d07e1a8e9318bf9f33e6372a2e0d3cf","datavalue":{"value":{"amount":"+0.849754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$4B4D13E9-F5F2-4930-87DF-B51C6367B39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89209ccee155a7996ed8c97e00da384ba0b3cbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1919768,"id":"Q1919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c890027504a2627bd798f1a97e372281d7d9c2","datavalue":{"value":{"amount":"+0.8480412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$76607A38-8B9A-45EA-B5EF-58DD51BA5345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036592000298bc13a6d8feab23948c4b2826b88c","datavalue":{"value":{"entity-type":"item","numeric-id":2732276,"id":"Q2732276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64236d2f679d859199d46f561ee4de4483135244","datavalue":{"value":{"amount":"+0.84383976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$8C272441-A130-4BBF-A6F3-0F2F0D855601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb137bdb1747f02c193fec003e3fcc828e790bf","datavalue":{"value":{"entity-type":"item","numeric-id":5717063,"id":"Q5717063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3ba2e93a5579ec99e24b45c1742ae725ce262f","datavalue":{"value":{"amount":"+0.84237874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066789$E409F447-320A-417F-BB78-892517C76709","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing non-standard arguments in second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_non-standard_arguments_in_second-order_arithmetic"}}}}}