{"entities":{"Q4182744":{"pageid":6212345,"ns":120,"title":"Item:Q4182744","lastrevid":96474698,"modified":"2026-06-05T11:22:28Z","type":"item","id":"Q4182744","labels":{"en":{"language":"en","value":"The nonconstructive content of sentences of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3618139"}},"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":"Q4182744$70B07737-2A35-4CAF-B4E3-520602792E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8655052f99be53284738ce3e8820eac908d07dd","datavalue":{"value":{"text":"The nonconstructive content of sentences of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4182744$0A702026-4F7C-4F03-A286-B390FE594ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c0e4874e6b4fd47c5cc268c631fc9287a71d683","datavalue":{"value":"0398.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$ED1C05B2-8B2E-4B9D-87BA-30E006DDAB03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cc6a281437e1a20765a527fa337bb2db3c8b250","datavalue":{"value":"10.2307/2273526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$C9D07D1A-AAF4-4EBE-9971-B07FDD6E9CEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f5a694693fd714c68670980cbac395b2de1c958","datavalue":{"value":{"entity-type":"item","numeric-id":788708,"id":"Q788708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182744$C1850A9F-7C6D-40B8-BDA5-2E6E5079F0AE","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":"Q4182744$DD13BAE0-E34B-4415-82A9-72C151E87004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4182744$B75BB265-349F-4E12-9455-634432F05E07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$FD12942B-1CB1-4BCF-ADF3-C54EC315F606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$BF451B7F-02BD-4635-8471-92B64A75A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$2104243C-5C1C-4D13-A7E2-45EE2E7697A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a8d56c9c4356f5facb56d6587a5665d4f7f209","datavalue":{"value":"3618139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$59864BBC-600E-4960-85E5-40F21527A8D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b410fdd0d38f2cdf5fbce2ee1999065d57dd3b23","datavalue":{"value":"Recursive Function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$3EE6F445-500E-4AA4-88F3-058652EAE4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c98a2ff93e5164a966a5202c2ed9b5fe8c2739","datavalue":{"value":"Provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$C3BFE438-7DB2-4D30-8D87-D4A1AC4195AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5edbb36c7a29b3c6569370c5ae013d7963ddf79","datavalue":{"value":"Intuitionistic Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$84B3A327-B1FC-4C7F-A49F-CD6E1D5546AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9fb7cc29fa79c28f064fe9bd2731ca7fe8572f7","datavalue":{"value":"Heyting's Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$5D6997AF-3B81-4533-8643-A076F218C9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24db1558f4053c9a40c60777cd36860636e63436","datavalue":{"value":"Classical First-Order Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$ADF44201-4D6B-4B2C-A173-9A8D060AEE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bcfb61450877e757da1037e44be1c8dd835bb91","datavalue":{"value":"Finitely Axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182744$A224BF78-36FA-4C25-99B0-E6266703FCD7","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":"Q4182744$04E6D6A3-EC99-4C0C-A09A-580CFC06A430","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ecaf91541e38966354aef7c07169c5ea8d4dd1d","datavalue":{"value":"https://doi.org/10.2307/2273526","type":"string"},"datatype":"url"},"type":"statement","id":"Q4182744$B4B3CCB3-53E2-4130-92B8-20B9D10BB4D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89e18960f88cc27d8d1dcf17ca339b9b8ce5bb8b","datavalue":{"value":"W2124505254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182744$A1A120DF-4D6A-4504-9B2A-730B6A8EE5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The nonconstructive content of sentences of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_nonconstructive_content_of_sentences_of_arithmetic"}}}}}