{"entities":{"Q798634":{"pageid":800482,"ns":120,"title":"Item:Q798634","lastrevid":48739669,"modified":"2026-01-05T18:21:10Z","type":"item","id":"Q798634","labels":{"en":{"language":"en","value":"Foundations for analysis and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871283"}},"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":"Q798634$9BF1A252-7F18-4635-95D4-6A3A531FBA3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3745b6ec18b2a35931c7502df4e94f0e617a701d","datavalue":{"value":{"text":"Foundations for analysis and proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798634$C0513232-9F9C-48A2-92B0-041D0D068C13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2e86b170691be3557c08275b45c288855615b1f","datavalue":{"value":"0547.01013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$20DEC9A4-0899-4BE7-8E94-0705F5848FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"822ae186e90605963ddc301b9e8ef0fe257f8dd7","datavalue":{"value":"10.1007/BF00485460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$8E216FBB-0B6E-4738-8AC4-AAE919A8F8E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$C25F7121-6C61-4261-8D0D-4D4B93D75F21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$0E9445D1-A8AC-4CC7-8C83-FFE3B4A6142D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q798634$6BD34D50-E76A-4EE5-ACEC-4C082D14D2BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64a589883e402334e465ab04007760a0a861b89d","datavalue":{"value":"After some rather forced assertions of the primacy of arithmeticising tendencies in late 18th and early 19th-century analysis, the author recalls Dedekind's definition of an irrational number in terms of a cut, Hilbert's interest in the consistency of arithmetic, and Russell's and Whitehead's motivations in Principia mathematica. He then turns to aspects of Hilbert's metamathematics, especially as related to analysis, and moves on to recent studies in, and of, these areas. In his concluding section he appraises the interpretation of analysis as a conservative extension of arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$88E4B969-A03B-43B0-B1A6-14F7FFFFCB83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2a922ab1b3b1dcf1ec340bde90ed5f2085fa30","datavalue":{"value":{"entity-type":"item","numeric-id":792979,"id":"Q792979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$7AB55980-C22B-457B-822D-2729140EB7C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$A774C533-E1FC-4F42-9B9A-6A06AFBCDA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"960b2b9cbff616d3d1f129813c8b4d6f994c8545","datavalue":{"value":"01A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$5DB80FEE-0312-4208-94E8-42AF8AC37374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be000a1ee23d4d447aadbfa42d3f6cb78b7c460d","datavalue":{"value":"26-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$A17EC8EF-2CE1-40D7-8554-0CBE3AD40E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$A71562F0-D915-430A-9C68-9A7225F87371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49a4d9d84fa2516a8d08fe97caf28c616da11e6e","datavalue":{"value":"3871283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$43507394-FE69-493D-87A8-7CC806A38AD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$00825E96-C4DE-407E-8722-256898E9F984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$12297F2F-1A95-4F84-AE1E-79E1953B0720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddd1a3e6603501e950262ee61ae4930ef35d59e","datavalue":{"value":"consistency of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$23AA2CE9-AC6C-470D-8411-86E340D8E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$2A04B13B-1694-4C71-A3A0-36CC81A2A7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q798634$0C2C97BB-C1ED-4DC0-A312-A63CAA84B8B7","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":"Q798634$CA87107E-C716-4556-9BFC-ADED03595F50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e6d79ce0bb1ec29971d378ce6e61dce3fb1828","datavalue":{"value":{"entity-type":"item","numeric-id":4101779,"id":"Q4101779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$430D4AD4-A426-4ED4-A528-75AF5D22762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$277B3C4B-7B4B-462E-BA38-E7429AE8D401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$699CCC68-07D3-42B2-A3CD-D147D1509E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$CAF80D59-20C3-4EFE-8FFC-313204FE212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18833ee5d6be366acf0e86e4da70da9a3f2df977","datavalue":{"value":{"entity-type":"item","numeric-id":5619071,"id":"Q5619071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$B244E559-18E0-45C2-A633-9194F9F425B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d521208e93160ae1e1f9d1f8d44f0eb96bd3e2","datavalue":{"value":{"entity-type":"item","numeric-id":5685038,"id":"Q5685038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$25711304-C1E4-4BD8-A8B4-CAF62B121697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$0BDA972C-22E5-4D69-84FB-535D5AE4754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$F407F0F3-5315-4749-A678-72E6C1CECD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"433391568b007a5c81befc35c452b06b40fdc7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3958419,"id":"Q3958419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$708F2E59-655A-4C66-99ED-824F8F95C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$8E12C31D-C644-4D5A-887D-91A440AE1D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$E4DFF28B-2684-4427-AD5B-023D31A9DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798634$32B3A39C-43FB-46D2-A6B0-029CC6D2923D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b3db1f4b8c6ee51b1ed9b5acfc8021119f1f360","datavalue":{"value":"https://doi.org/10.1007/bf00485460","type":"string"},"datatype":"url"},"type":"statement","id":"Q798634$B8340B56-141D-4059-90B1-5B2D7C3EE2DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66f9919ea7e78046384ff379355fea3c47fbf6a5","datavalue":{"value":"W4241840281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798634$7E4825CC-5669-4276-8FAE-B330D5762F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5b3380bf8849ba02d8fcb12204757024ec8496","datavalue":{"value":{"entity-type":"item","numeric-id":813419,"id":"Q813419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32ee217a0ff09cc240d58a40de79b008f937336","datavalue":{"value":{"amount":"+0.7771135568618774","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":"Q798634$2AA93B1B-3D6E-4C33-BA02-705A7DDE5B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee20ecd4cc07c14e88b41cdf0f0a3d63e46dab","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed770129620c0383e3d23f94a158b2d3da70ed3","datavalue":{"value":{"amount":"+0.7647449970245361","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":"Q798634$87964913-83A3-46BA-BCCA-35D1328169A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b870175be5815b5757a9340adb1aefd3bbf8be13","datavalue":{"value":{"entity-type":"item","numeric-id":3788003,"id":"Q3788003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29afd2577c77cd0c60cebddd7a9ba4938b5965db","datavalue":{"value":{"amount":"+0.7586495280265808","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":"Q798634$DBD1B9BE-C9DD-4F5E-BCEB-418F81AA5073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7c9536704e7dd37f6ca8a95b18b2cbff14265a","datavalue":{"value":{"entity-type":"item","numeric-id":4342447,"id":"Q4342447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cc903fe0b49c14b5c5458ee70c0568f480cb0d","datavalue":{"value":{"amount":"+0.758131742477417","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":"Q798634$469FCFB9-25D9-46C1-B215-0CF650405C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92c21b581c1af17746b432822259d2758d99879","datavalue":{"value":{"entity-type":"item","numeric-id":1900679,"id":"Q1900679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2accfba10d5d8e2569cf3c800f2319786796858a","datavalue":{"value":{"amount":"+0.7581313252449036","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":"Q798634$01CD38F7-8EB7-4E92-8411-EF91C4D5572D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798634"}}}}}