{"entities":{"Q3674656":{"pageid":5704562,"ns":120,"title":"Item:Q3674656","lastrevid":50010472,"modified":"2026-01-12T15:23:53Z","type":"item","id":"Q3674656","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827862"}},"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":"Q3674656$F5F62718-0310-4D44-BA3C-B9E7938D3E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d63fd4de6c1d329d9df369c3a36c0efb71f3694","datavalue":{"value":"0523.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$2DCF4E36-EF49-405B-8ACC-34536E9D7335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3674656$197C88AA-2B31-4557-B949-BBAFA64060BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$BFF2A4CF-0EFF-41F8-B22F-ED877918D9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$48F52E5B-D333-40AA-9415-63B3F89E2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$3BAE4C3B-FF0D-410F-ACBC-13BB437ECF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$0C6A806D-D865-44E8-853E-AF629EC372E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"397b7aaf72464176e4230e3be47994a4fdcea8a3","datavalue":{"value":"3827862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674656$C3B5F056-8DEC-47EE-A92E-C11F59BC30B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c44fda3decef63197ac5e3111eb904fe1608c3","datavalue":{"value":"objective intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$F48F2E48-3A9D-404A-8B6D-6F0F8B183F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a517b52234115b1f57d03da23d2a5795d26fbb41","datavalue":{"value":"Brouwerian intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$FE5D5319-1988-4150-B0CE-B09C14519580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e13274219028739f3417fac9221e56b5a9b4287","datavalue":{"value":"Martin-Loef's philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$BEEB32BF-70C8-4005-9B17-3A0871C8BDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35b7bb88c08acefeff04451929cad609d0ad2627","datavalue":{"value":"constructive universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$AE7FB866-47A0-4778-9C69-2CBFDBA02779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005a7e102ff70a492615392182490249a970f2e5","datavalue":{"value":"philosophies of constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$A88B081F-E42F-47F4-AB46-3AD5615A400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837095a51f6591d9b3971c031bf56eb1ccd4a847","datavalue":{"value":"Russian constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$BE0F8FDA-880E-4A48-9E25-C5C066024BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0678615780931b4189307c327eeec3a0faebfdc8","datavalue":{"value":"Bishop's constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$015D9550-FB86-49A6-9FCE-32E81162D464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$BD0065D3-1B57-499C-B21A-A2800AA99D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$10ABF43C-446C-47D8-B500-B6B9685956F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$DFDB78A0-98F8-40C9-B3B5-273D50A55A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$450AA2B5-ED33-40C1-A4BE-17BE1BFBF8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$BDF3D096-9270-4294-AEA4-36AEE518A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b1afa5e58f776a82855eca772de0d28c94495","datavalue":{"value":"set existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$7F18DCAF-F3FE-446E-B8C0-BB5BE1C770D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede42bfd23b2090ab2f3fbdee03331f66fa77065","datavalue":{"value":"set-theoretic universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$4C1F154A-6552-4B51-AFCA-BCD71FFADC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0aecb294830fa74274d773ff85c9c5c2dba911a","datavalue":{"value":"power set axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$0D237915-E914-4915-9FC2-FA1428BFE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb17444a0c934bfa9857ba687a7fd5889f986cfe","datavalue":{"value":"cardinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$E593DA66-E466-4181-A078-B2F3A45279A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$E2AC27E3-3EA6-4FA1-A962-5779D5871B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$AD567F27-DCD6-40C0-9CBB-BE36D597D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eae6d0fe7e8654c20fa617fd93018cae37bb0af","datavalue":{"value":"continuity of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$ABDD770E-DF7C-4FBC-8255-9F4A3F761BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749bdb23751743f7c09c9f1d1b5e471a95fb8fa","datavalue":{"value":"Heine-Borel theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$5AC6FB11-A784-4189-8186-AAC914134A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3dd7d7a06b327660ff1c39b0513151942591a6","datavalue":{"value":"recursive real line","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$7150D3D1-D6AF-48B5-B9CF-EA16315CC2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed1ae8f9edd616c1c3d27bdbb15076c0eb95009","datavalue":{"value":"recursive reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674656$062E7B46-18AF-4F56-9343-17D2CD06990A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674656$9C9D5E63-F7F4-457D-9DDC-BBB408CD6223","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":"Q3674656$ACB98D73-8570-4EC7-895B-2927C24853D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3674656"}}}}}