{"entities":{"Q3437042":{"pageid":3447745,"ns":120,"title":"Item:Q3437042","lastrevid":46292841,"modified":"2025-12-24T12:21:36Z","type":"item","id":"Q3437042","labels":{"en":{"language":"en","value":"Shoenfield is G\u00f6del after Krivine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152286"}},"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":"Q3437042$9F94DE26-ACD5-47C8-8093-E5E7E1A40CAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b38c0c986c3d5e5689e75f3d306c672d8711b2","datavalue":{"value":{"text":"Shoenfield is G\u00f6del after Krivine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437042$7C28A3AA-B119-4DF1-9BB7-5430875C85DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"287b57263de50271f6964b1b1387c74fa62066e7","datavalue":{"value":"1154.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$9A4F2158-FC51-4AA7-9565-7B4BAA9E86AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437042$7A13B827-7101-4DD7-A875-94CBE489AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437042$63E8379C-F0E5-4888-B112-F13B22D04DD3","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":"Q3437042$29CF0D13-1689-4280-894F-3E1014C15B41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437042$A6ABFCDC-CCCA-4901-854A-F2A69564FDFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$030775FF-5F65-49BC-9009-84AF827DB980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$E5CC5DDA-A34B-4C71-B3FD-1F8DC12EE80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$4A14CC62-999B-442F-806C-279AD46AEAAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b6d8de3136e046d5066a635f4eae283f943cd6","datavalue":{"value":"5152286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$E74C3BE8-2C01-454F-BCCC-101628581A26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26d3d0a1114d0df2ca2d15a103642df2172dd96","datavalue":{"value":"intuitionistic and classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437042$06407F33-ED89-4E7A-9FF8-587E2DA6B8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437042$C3EAE606-C57C-4715-BE1E-5D77901AB8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437042$7AF96E4B-F545-41AB-B194-FF952F8CB506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437042$184F644B-E9C2-456D-AAF7-29BDB8D0FE99","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":"Q3437042$F0083E22-1DD1-43DF-84D0-FE2F244EB4A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c17f085b63e9c0c87bdf05e05685ff379a1eba7f","datavalue":{"value":"https://doi.org/10.1002/malq.200610038","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437042$84B97307-4804-4462-82EF-14A19EFB4D55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c9817b07f5d5fd58649991a5689a3704601e86","datavalue":{"value":"W2163947143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$E4F7BB94-A0D4-4924-A669-6AAAD4062762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437042$E71988D3-78F5-46DF-B34F-60F2A8E56CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437042$CD7BF75B-ED8F-49E2-8548-896FD07B6E46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"318a4d4620634ea002d05ebd89558bd501f32e46","datavalue":{"value":"10.1002/MALQ.200610038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437042$CCCDA4D9-113C-4C12-BE2C-5B84263C4DC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c3a4221ee9bfa4d081aa88611d54720b561736","datavalue":{"value":{"entity-type":"item","numeric-id":3424120,"id":"Q3424120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1525e44fc5aa1eb5a2a108319969bd513dd7fca","datavalue":{"value":{"amount":"+0.84800357","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":"Q3437042$1DB538A2-1B33-44A6-88E6-782C2E400438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39102721c56d19003d009b94f0471de74d1a80f","datavalue":{"value":{"entity-type":"item","numeric-id":4360860,"id":"Q4360860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4593e32c9e49d87869704004e8549ec59ac6fa90","datavalue":{"value":{"amount":"+0.83720267","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":"Q3437042$44F7400B-B880-4976-AF69-72C903A6474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39296323f9ce793065d261bc4a86e523dc3cd966","datavalue":{"value":{"entity-type":"item","numeric-id":1063582,"id":"Q1063582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af83e317eb2f9be64dde5a565046c1cdbd0b448c","datavalue":{"value":{"amount":"+0.8254343","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":"Q3437042$767B420C-0F26-43C2-B88F-146CC4BB2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329c78810e523760b7b0ecf4f1605b130e772e2c","datavalue":{"value":{"entity-type":"item","numeric-id":4724583,"id":"Q4724583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af83e317eb2f9be64dde5a565046c1cdbd0b448c","datavalue":{"value":{"amount":"+0.8254343","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":"Q3437042$AF7CD1FD-F3C6-4F64-8E9F-F35CFBF27C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58079c8a8d93bc88b30c81d35ba85f11a579faa1","datavalue":{"value":{"entity-type":"item","numeric-id":3155870,"id":"Q3155870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cda851bc48a1509cbfee41e6357f4b2607da63b","datavalue":{"value":{"amount":"+0.8249541","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":"Q3437042$AC837089-D22B-4287-906B-FF4492CA7358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db6e49c6f2d93a3a29bd3b78015d0bcb31b5d06","datavalue":{"value":{"entity-type":"item","numeric-id":4604262,"id":"Q4604262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e5d2ae2e1cac5975b355846f2ff4e5fef53c68","datavalue":{"value":{"amount":"+0.82495403","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":"Q3437042$51332C04-A40B-4A02-9FCE-3D907EB64DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b655070223a7f4fcb4f98548238038ae380c26bd","datavalue":{"value":{"entity-type":"item","numeric-id":3079627,"id":"Q3079627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a5ea4e80ac2442048c9db1c8cd005ebb5e2a61","datavalue":{"value":{"amount":"+0.81942457","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":"Q3437042$7ABCFB46-3CB5-430B-8B75-BE80F90949E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4549cc09f6a36a3e10d1aa718d49cd81d1e042","datavalue":{"value":{"entity-type":"item","numeric-id":5250219,"id":"Q5250219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2233ca49e2966814d1048dd804345f8c781c9c5","datavalue":{"value":{"amount":"+0.8135733","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":"Q3437042$6F7873CA-2AFE-4454-A9CD-8CD30BFB40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be12868573b4110511a954435d0e3c15d08085","datavalue":{"value":{"entity-type":"item","numeric-id":3305413,"id":"Q3305413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea39ffe4843150346befff6e5971ff6d2ec56f8","datavalue":{"value":{"amount":"+0.80979025","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":"Q3437042$4F0F3175-7FDE-443C-960E-077BCF48168B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3437042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3437042"}}}}}