{"entities":{"Q4897040":{"pageid":6926619,"ns":120,"title":"Item:Q4897040","lastrevid":47418601,"modified":"2026-01-01T16:52:00Z","type":"item","id":"Q4897040","labels":{"en":{"language":"en","value":"Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 938824"}},"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":"Q4897040$B462BB54-9618-4FF2-BFC3-739A58AB8C84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32b3970e9e8fefd6cca4b795734ffce9177c87cb","datavalue":{"value":{"text":"Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4897040$1897CD97-3E65-474E-9EA3-C0D2B3C90038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48743dd41d15ae8b63027986bcb04603d4ea16fd","datavalue":{"value":"0861.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$201B99FA-5833-4124-99F8-4427DE783B91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6017676200d927001b6958b24d90ee58c50bf2be","datavalue":{"value":"10.2307/421108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$716AE4BA-D01A-45EE-A688-06E1B092A878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$0883149F-1624-430B-AF3C-08D59F979F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6c12cf0fa9e38f832c0f5cac78fe70e7e278753","datavalue":{"value":{"time":"+1997-05-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":"Q4897040$6B8211E8-712A-4CCE-AB2B-F856E0FA9CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f2816f83f8652e6dfbc84b36356366b5a1f97b6","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0202-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4897040$A9955FA1-017C-403D-856C-5A603E253A20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$0961A7D5-E9DB-45B0-A73C-704510E6F4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$09FC508E-5335-4AD6-9EE9-EB7BF0EEAEC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e058455d93af8638850c25504794ece77121f5","datavalue":{"value":"938824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$57CC30CF-2474-4983-B281-57B99A032B30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$D787AEC7-D768-4851-B539-9952700AD32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18ad871c6fd05d20dc5e37a13e4d9adb2369e9f8","datavalue":{"value":"report of the present status","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$3F3D7BD6-A977-49BC-A762-50EBC5C1FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$CC698516-3FA4-4F74-8D5F-7EFE9F632FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$0132F32A-2757-4294-A568-7341D8DB1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$58D52F87-2D16-49DB-8F46-F8F490D23869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$151B65F7-EADE-4678-84F0-AD57067AB394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f5cb92768365702c0b89d3647f6f23b5d35e","datavalue":{"value":"constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$569975D2-412A-4B56-86EC-7369D26088CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595a1e75b49a7c35cfd3caaaff3a4e298be5d31b","datavalue":{"value":"proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$4FFCCCD5-E64E-48A4-AFD1-64F2981ABF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad9b328eca8555ff60a38692711665051a74e61","datavalue":{"value":"collapsing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$01E889BE-F226-4472-8BE7-352108C3DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02efba5a38516906df7b3752b37b488aaef7133","datavalue":{"value":"local predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$F415176F-1BF4-4BD6-9FDB-B8EB22C2F480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897040$65E9BB3D-1FCC-4FE8-A3B9-E41DDCFB85BA","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":"Q4897040$B00AA301-2E37-45F4-9EC7-6A3C8A55BE75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33665549ffa618af673041e2393267ac50291ed4","datavalue":{"value":"W1604936433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897040$34EF63BF-821C-42EB-8F10-B107BA4ACAB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$1EA0EE9A-2014-49D9-A287-F35DDFB7A606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$42B19B37-AF89-4B01-82FD-8D7046DE2547","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":"Q4897040$C9DA84E8-C9FE-4817-B57D-8232A83E4323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab381919a0f8ddd112866505d097b2c043172f","datavalue":{"value":{"entity-type":"item","numeric-id":1322453,"id":"Q1322453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$01F65438-3935-4C45-BD15-C5B69DC77DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$9FC1CCB1-6C30-42BA-A49F-2F0FFD97752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$402DBCEB-4BF3-471D-A130-2C107E7BEE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$044A3181-D57B-498B-A830-F0D2C039217F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f17097cf3f2689a33d4dde334b893a41f9ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":3919715,"id":"Q3919715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$0D2AF4AE-7A25-4211-A7F2-FB67835D1116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$710FBF6D-C9CB-4330-BD86-1189E6C0A7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$AAFFF47A-9EF3-4E24-9703-484285087C7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897040$BC4B19DC-D5BF-4E13-9B2F-66ECEB49FFA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d993537511d6f2c91b76b3d640c234ce662a6f2","datavalue":{"value":{"amount":"+0.8519020080566406","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":"Q4897040$7C33C1E9-BB1C-4FA3-B2AB-D365D7B0A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eec386bd8861de82173f433acbe111d11a1060","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87502f48cf3b7d1c3eb414dadcd81e7e9b28d7b0","datavalue":{"value":{"amount":"+0.7979118227958679","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":"Q4897040$38EB2778-8004-492F-8F3D-3BB6FBAAB78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af74796f9a1f2eebd44fd8c031cdf0377bc351be","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65331e04c46255a6142c207cf7aa99c2b2326f73","datavalue":{"value":{"amount":"+0.7965260148048401","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":"Q4897040$0AABF10B-F3D7-4513-85C9-86F0409C4269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c6e74f0dc692143d060bf08d947a0a68fceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4325775,"id":"Q4325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474dc4641214800649691a4da08468cbf144529d","datavalue":{"value":{"amount":"+0.7947324514389038","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":"Q4897040$7AC7F238-40E8-4F94-92E1-5B51F0248904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b1c917e05468129eb6bdafc323c26e423c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a5d4f95338181d15e030abfe170595ffa534f9","datavalue":{"value":{"amount":"+0.7930381894111633","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":"Q4897040$2809FDC8-C159-4206-AFF2-4F396686AA4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4897040","badges":[]}}}}}