{"entities":{"Q3612432":{"pageid":5642338,"ns":120,"title":"Item:Q3612432","lastrevid":50600951,"modified":"2026-01-14T12:59:03Z","type":"item","id":"Q3612432","labels":{"en":{"language":"en","value":"Weyl\u2019s Predicative Classical Mathematics as a Logic-Enriched Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527171"}},"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":"Q3612432$1BACA0BA-4B17-4636-93D9-D4607DE85031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2dd817a8e74a1cffad340c3ebb4410d219fafe7","datavalue":{"value":{"text":"Weyl\u2019s Predicative Classical Mathematics as a Logic-Enriched Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612432$7EE4EBBA-2092-4A3A-8F6A-217C02781C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bd79ffce0f2bb458601c0c18e0463c239036641","datavalue":{"value":"1178.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$8815FB5B-BF4B-4807-8E90-EAAA3F226F89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db43f533ce66148c07d00b2379d2365882de376f","datavalue":{"value":"10.1007/978-3-540-74464-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$2B1CBAFA-97A5-4C0C-AB5C-22F8F9F04EBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612432$72DEF5FC-CF89-4A97-BAE9-A81FC3158FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612432$2C6F9B42-6AD9-4F38-8A83-5F15D952CDEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612432$9EAB1595-27C4-48BF-91D8-B05E10FBBD72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612432$D63FA963-09B7-47B9-B4E5-0587222B43DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$E041BB9F-1C3E-4AA6-8365-C11EA9D061FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$EA6FB8E4-0F28-4F01-8368-69E86C67448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$713C276E-ECA2-411F-9438-AA839734A845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$B2EBBD74-196B-4A61-95B9-CF5C04F4C458","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a97bc53386cfaa05f3d95ac242da7dd2a5eb5c3","datavalue":{"value":"5527171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$298A120E-ECB6-401D-ACA4-688DC0A447E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1354cc38681e32cf801bb5dfe69e4f34f99669","datavalue":{"value":"logic-enriched type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612432$595EB9D6-31F7-4CEF-92B7-CC0A968979B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c447e8f4742efb77fa9cd7aff5678d7e3fd9c61","datavalue":{"value":"predicativism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612432$F2F423D0-ADFB-4756-8C96-6976750FF799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612432$67A27273-8B5A-4F29-B99F-DF13EAFC93F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612432$6B4CAFC8-3D43-4B6C-BAB2-A11091E7B582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612432$9CABE7A2-A7D4-40B3-B767-311CB26139FE","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":"Q3612432$0650645B-D83C-49A4-99D5-2BCEDD2FB81D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d51c1c8e84aa06fe77b68187565233440f7389","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612432$8F9C83BB-0D9D-4810-9E4C-4C580A9FEB2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0a56a39eff0aad80cef3300e97423a6b58e6c36","datavalue":{"value":"W2948554469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612432$8B6587C2-DB43-4925-B896-2847D8148F61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f126dc4bfcbf3a0fa91becaa791d312bc1d152d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946599,"id":"Q2946599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639f542c654991e61d48b1f020719752a10ef352","datavalue":{"value":{"amount":"+0.9686647057533264","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":"Q3612432$0AA75163-8D73-4E3F-A37B-CC59C80ACC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8df26d73c403e5112e66bc918b491445fb17b3d","datavalue":{"value":{"amount":"+0.8452097773551941","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":"Q3612432$EE6D2809-B596-4A2F-9EE2-CA562ADD61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2ff7231813aa3f4c3c1a102954c781a5bf44fa","datavalue":{"value":{"entity-type":"item","numeric-id":3998135,"id":"Q3998135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2356d3a149512f7902189da9cf3eb2a46b95741e","datavalue":{"value":{"amount":"+0.7958582043647766","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":"Q3612432$A7FF009F-05D1-4B22-911C-A370AE4EBF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad7cc7be51bcb73ab528462931f1cfd46024993","datavalue":{"value":{"entity-type":"item","numeric-id":3386608,"id":"Q3386608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0978277c323acc701c7426c00a20f24d32ec47","datavalue":{"value":{"amount":"+0.7515143156051636","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":"Q3612432$79E4D875-9069-40E6-8106-90FAF7B4F6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc97bded1a5aa27e293dfb54d07dca99885eaf46","datavalue":{"value":{"amount":"+0.7146576642990112","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":"Q3612432$C8252EB6-7ECC-4083-9716-2AE420F9093A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612432"}}}}}