{"entities":{"Q3206950":{"pageid":3217658,"ns":120,"title":"Item:Q3206950","lastrevid":45687286,"modified":"2025-12-16T10:16:40Z","type":"item","id":"Q3206950","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648704"}},"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":"Q3206950$1BEEFC15-6033-4FCA-A04E-F3EC55F428ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f59ad6067bffe516685b10e034a3717d6d71c56","datavalue":{"value":"0417.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206950$86CC7D09-4AB6-4BFB-9D8F-57ABE93237C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596ce5d9f12334d5b503e9ca575fe131d2a47d15","datavalue":{"value":{"entity-type":"item","numeric-id":234587,"id":"Q234587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206950$39A1F824-A0B6-4F54-A95C-1DE78DA743FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3206950$F4869FB2-3D22-4A1F-8635-49CA7994D4E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206950$F8969412-60A3-44FC-A6DF-4C406CE45B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206950$B93102AC-A3F1-4B4E-9691-A40D40CDA4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206950$12A9CD96-1430-4DBD-96A4-ACF9BF53F0EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e98152e10262a5e96db9bceb2c6abae306b8a9","datavalue":{"value":"3648704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206950$859EE351-72E4-42C0-B5DD-720E6ED6E974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1e701d5c8b428559fe63586d1c99bea21ce041","datavalue":{"value":"dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206950$86CCBD63-3003-4CF1-91B0-09A2E2976EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5421956e89c0ab796777cf8411ba9e640503366c","datavalue":{"value":"modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206950$81996649-EB72-4E1F-9F73-A53D3A914B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206950$206E9B45-F49A-492D-BFD2-7434F03E1EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70b649d86c991ef566d2b4ebe900d0f33f96e1d","datavalue":{"value":"conservative extension of Heyting's arithmetic in all finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206950$502BFB47-1E44-443E-8A68-E8EA631A784D","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":"Q3206950$91C9E5CD-DE34-47D8-9CB3-8EA0C2A8FEBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3206950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3206950"}}}}}