{"entities":{"Q4215634":{"pageid":6245235,"ns":120,"title":"Item:Q4215634","lastrevid":40900626,"modified":"2025-04-13T22:30:07Z","type":"item","id":"Q4215634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215497"}},"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":"Q4215634$0417238D-8EEE-4302-ACBA-00E6F3627858","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7574900e6a454f5371678f274c69184d918e1bb2","datavalue":{"value":"0913.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$5CB30B1B-78A2-4D7D-88AC-B03B2C382F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215634$82FBA8D4-262B-4082-A948-932AAFDA758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215634$49493087-8551-4444-8E36-CEA8C5A59EB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10db94ff6ed2fe3888b7e1d453ab09feaeaa4a9e","datavalue":{"value":{"time":"+1998-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215634$A58C4E13-76F1-4E13-899C-E676AA32C491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$3DE9D116-3FB1-404E-8E1C-0945CD4608F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$16922AED-1244-428B-B84B-0B2AE84D56B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$941B09F1-EC92-4CE8-B5A8-491FB122A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$6618C11E-CDEF-42AF-8C6B-A0EDC3131E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$3FD5F04E-9E4B-4F88-83DB-B98794B7D24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$72ABADDF-9749-4A92-A57E-39F9CC04FA95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0a4d71324557b4de21df9826c4a1b33bc379f63","datavalue":{"value":"1215497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215634$7B08B30C-B3F6-4CBA-B0AC-F042E4D0ED27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50645770b57d004f1805e0f28be81f60582d7554","datavalue":{"value":"G\u00f6del functionals of higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$D499DDAE-49D2-48C9-B042-6FEC4D993633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$2CA60FFB-702C-44AE-96C3-CBFBE27E1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d12e0037287b49981e163faa6a692282977eb634","datavalue":{"value":"constructive content of arithmetic and analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$19B14B2C-C4B9-46EE-ABDE-BCB2A33B8C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$11FD7E83-D28A-4444-A3CF-5C0627B80647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$4BBC842B-1C56-42DB-8FE3-B75A2DF38090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$9C09E212-DAB1-4EB0-A3A8-DD592FCA3FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168d1add4c68000e3762cbd73566f91451c8cc3b","datavalue":{"value":"constructive interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$97B832CE-35A3-45C8-813E-D215C9102328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc80b78089c22746ef2e0a8b90465410a612d09a","datavalue":{"value":"second order arithmetic and its subsystems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$F514FF29-C6FE-4718-924D-986FD55D1574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$58D64948-BCBF-44DE-9957-76A90B4E1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff3e7ddcdb10f049003890841b024ca649574c2","datavalue":{"value":"double negation translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$630D1F42-7320-49DF-811F-F4953BC55E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e73fbb125e4bac81ec28b5f266782fff735711ef","datavalue":{"value":"predicative subsystems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215634$22E0F180-F32B-4976-A1E9-0AA8DD3A0F57","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":"Q4215634$3753DEBC-72EA-4D14-B28E-82FC9FDEBBDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5e30af54b8fd880248b60c09d8a4e9cbbd2db6","datavalue":{"value":{"entity-type":"item","numeric-id":3140379,"id":"Q3140379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07879eb232e86e5ae62fb566044006df42c3517f","datavalue":{"value":{"amount":"+0.9414746","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":"Q4215634$04BE2B78-F7EB-48A1-9BA0-4B1E8DED1A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5086713a04db93090c4b0451e2269f3a205401fc","datavalue":{"value":{"entity-type":"item","numeric-id":3422401,"id":"Q3422401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8628e98e93c291bf95b495561929df17bcc21aa2","datavalue":{"value":{"amount":"+0.91130406","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":"Q4215634$B6CF3311-C724-4390-BCD0-3F9A43B63228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef0e538c9eb04383414635eccf7aaca3b4e947f","datavalue":{"value":{"entity-type":"item","numeric-id":4282586,"id":"Q4282586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81030a92739aeabc56278af440df72d9f00c7899","datavalue":{"value":{"amount":"+0.90713525","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":"Q4215634$55E56C05-ABC0-41E3-9510-09970FCF37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747079ecb2c35c90f13d71406f934b23064b5627","datavalue":{"value":{"entity-type":"item","numeric-id":3724330,"id":"Q3724330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa3e19c35e2b99acfcf748437e0428f061e3536","datavalue":{"value":{"amount":"+0.89638245","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":"Q4215634$EC351F70-7487-455D-ADA6-BB76E9BE65FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f463196ca97edc6acaed6a1caabfd4d876770284","datavalue":{"value":{"entity-type":"item","numeric-id":450951,"id":"Q450951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5528e702c982cc2183edb88b03d612a17cd3ebca","datavalue":{"value":{"amount":"+0.8863813","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":"Q4215634$F5A7BFA4-C97C-4C8C-924F-91414BBC0A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a096a85c1c874639a3737997c09a3735c8934b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4635869,"id":"Q4635869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897c44e095bc5c3fd86bb12033cca7f84daae2b1","datavalue":{"value":{"amount":"+0.8843729","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":"Q4215634$59918097-93CC-4FC4-A5CA-47612FB331A9","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":"7ecdd561139b438c7eab15eb3a52a0352f574f9b","datavalue":{"value":{"amount":"+0.88406044","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":"Q4215634$899209AB-99AE-4BB9-928E-3A9FCFD5FFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f3b28bbc3471fb607857dfcfc1ea0388bc1c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4489061,"id":"Q4489061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24cf2bb0a097cb53b5ef4dc40fa8a29669148542","datavalue":{"value":{"amount":"+0.87890524","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":"Q4215634$81DE54EA-D4A7-4AA2-B4AC-199BB49C9F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b50450535d722b08d28ac61dc1fa03a2087bf08","datavalue":{"value":{"entity-type":"item","numeric-id":2682930,"id":"Q2682930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cf8fb4ca84fe317132c11ee104dfe09685aea2","datavalue":{"value":{"amount":"+0.8775871","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":"Q4215634$9B9F15FB-D520-4B32-9F81-9C119EA336CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb1c97b80e708a53cfc0ab098939245525a0f01","datavalue":{"value":{"entity-type":"item","numeric-id":5416147,"id":"Q5416147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a724665821f1fbe93dce89103b3a6ecc04b2c1f","datavalue":{"value":{"amount":"+0.8758062","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":"Q4215634$FCDF3D5E-9423-40B3-A2EB-607CEEDDB48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215634","badges":[]}}}}}