{"entities":{"Q3760542":{"pageid":5790448,"ns":120,"title":"Item:Q3760542","lastrevid":51769751,"modified":"2026-01-19T22:53:50Z","type":"item","id":"Q3760542","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4010517"}},"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":"Q3760542$09145189-4502-4817-AB51-0FE772A61DD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce437ddda6434792d6516191e8ec8cf0c2a1a410","datavalue":{"value":"0623.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$ED4E305E-C853-464E-B8C5-D8FC2EE62E78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d9019f5df478a99d81e40ee7474082250fc1fba","datavalue":{"value":{"entity-type":"item","numeric-id":3760541,"id":"Q3760541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3760542$7596E4FA-213A-470A-B3F5-414A3931711B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3760542$9B7A417C-9F50-45E5-BB36-9F5B3D21FF00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$26919AD9-F000-4F05-99E2-90A704C36CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$14E43721-226B-47DB-BD0C-9C6832CE06CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$FDCBA627-AE1E-4419-993A-73282C24EF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$98E2AC6F-1A92-4148-9EE6-50672BC9F5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$D41247E1-3BF2-418E-B57F-4C4BD66C067F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07df94d0bbc767d5df0cd3a7e4b283359a4d0093","datavalue":{"value":"4010517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760542$82AA9965-A7B4-42BC-ABB5-87FE0ADEBA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"501ffe8d8524378cbb55b85e9d59c4253c50ee1d","datavalue":{"value":"constructive foundation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$17D3CB9C-46FE-496D-8699-93ECDFB52CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$72670429-0609-420F-9273-CE9712D1A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24be5f3c880d4c470df2f6505acde58a002b052e","datavalue":{"value":"reductive proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$275517C1-DDED-49E2-BC59-C325486467D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$A6E2F9EC-0567-43FB-810D-9043BD3A01D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$BC3F8CA3-BD57-411F-8E9C-63B52EE059EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3486e8b270978084d6a6d44e6e2122ef040348c6","datavalue":{"value":"ordinal recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$039D65BD-820C-4B56-9930-DB77B86DDB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"380d5a39ec59f18e35776d27b02ca213a6c56ad3","datavalue":{"value":"descending chain principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$555ECFB8-C0C0-4715-97FA-65CBC350B4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be94cbfdc5d69a456ce50847f374a3553666dccb","datavalue":{"value":"G\u00f6del's dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$3C341C7A-B711-4AA9-A49B-26FFE97C8527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c330334592d68b81fd86a2a31e2bd5fa1acfa367","datavalue":{"value":"computation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$BE9AE432-093A-422D-BE09-2289F6073E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1617677cd502f254b00f4af79c46a86cf4fb54d","datavalue":{"value":"classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760542$99038F6E-7A5F-4593-A14A-D1359755D5FE","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":"Q3760542$EA47EA0E-B610-4459-918A-922C6E3DDA83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152274efbde0378996060f440f36682128e14955","datavalue":{"value":{"entity-type":"item","numeric-id":1841001,"id":"Q1841001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61b1c251f93e621281b241d8a5243877f10a1a","datavalue":{"value":{"amount":"+0.79605633020401","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":"Q3760542$B15E9B88-3A7B-4381-868E-83D31F58AE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9642a95ded970a2b8b964d74e7eeca674415c89c","datavalue":{"value":{"entity-type":"item","numeric-id":4551993,"id":"Q4551993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61b1c251f93e621281b241d8a5243877f10a1a","datavalue":{"value":{"amount":"+0.79605633020401","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":"Q3760542$5727431F-2C5D-4A2A-936F-600C01A54579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865cb4e7a9bd5838c8c9f94424fdcc6dcd089f87","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053c39c5e466303dc55636a264c6a30f2d6cf9b0","datavalue":{"value":{"amount":"+0.7770813703536987","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":"Q3760542$2A5A05EE-8A1A-47DF-8600-1C0EA9975109","rank":"normal"},{"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":"55ca0459eba945b6c03229715c1bb310d6c081ec","datavalue":{"value":{"amount":"+0.7661101222038269","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":"Q3760542$5DB6569A-4F59-4DFD-BBBC-16B048004D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535c52bc0cd5800b5f2a94491f7536b290614fac","datavalue":{"value":{"entity-type":"item","numeric-id":3770526,"id":"Q3770526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e31ce34fb9273bc16c8f460f21b7a62f8ff08fc","datavalue":{"value":{"amount":"+0.7645719647407532","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":"Q3760542$120F0CE5-89CA-4893-9DCA-30C94599C2D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3760542","badges":[]}}}}}