{"entities":{"Q4704657":{"pageid":6734234,"ns":120,"title":"Item:Q4704657","lastrevid":46871862,"modified":"2025-12-25T18:28:26Z","type":"item","id":"Q4704657","labels":{"en":{"language":"en","value":"Can You Add Power\u2010Sets to Martin\u2010Lof's Intuitionistic Set Theory?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369578"}},"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":"Q4704657$F732AF61-E2F6-4AC1-A1EE-5119BE8E6CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a85bb29c031e55021642e99a7a1e9098605b4fc","datavalue":{"value":{"text":"Can You Add Power\u2010Sets to Martin\u2010Lof's Intuitionistic Set Theory?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4704657$F02706D3-9CDC-44EA-9BB7-CE2CF864342C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a1dd12e2c1f4bb4f1ff49465bf83e98de78eff7","datavalue":{"value":"0935.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$F1DB178D-034F-4522-8F4B-5659688EC999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$AFA9929D-574A-40DB-A8CC-F10CBD587B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$3D49002A-0D7F-45EE-B43A-1187D95B605B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$8D4988F6-4889-4B95-9DC2-9DA3F8731819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4704657$AC8F00AA-0CF2-405B-BEB5-56A8EE173155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$BC16A0B5-F12B-4097-9292-7639E2977A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$91FC47FC-EBE9-4167-B943-6A0A861DAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$EEA89562-AD47-4C0D-A6B7-2F761F1D27F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$CD63EEE0-6E02-4BFB-AD9F-87B780C3FCFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95f53f9d1e14ea5822afaec7a10be32a86ed2f37","datavalue":{"value":"1369578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$2194F5BA-4825-4075-A9BE-CC5B78DCD52C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704657$4D16C43D-B08E-4D66-B6BA-D56547F8EA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704657$FDA9E52D-C275-4CB8-A991-5FA345EEB301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d36d2ddf228ecfd67112043b74e5a7ad122433","datavalue":{"value":"extension of Martin-L\u00f6f's intensional set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704657$FEEBD8BD-1B3B-466F-B29A-78A227862651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c58118ae69c699786aedbb8d8187879efa437a8a","datavalue":{"value":"set constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704657$71803ED8-441F-4FC3-A39A-A2EDC25B3E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704657$C49C4081-CB0B-4E1A-8D57-173527DEE184","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":"Q4704657$5BA0C24B-F3C3-4EFB-A3D3-6CD463D9B594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f8a11b0e803ea9aa6b771e31ce9595bccf79b89","datavalue":{"value":"https://doi.org/10.1002/malq.19990450410","type":"string"},"datatype":"url"},"type":"statement","id":"Q4704657$82D3D74A-FB31-4BAD-BED8-81A48BD15604","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90feaf6110efd821683815cbc4009e8c7d81d61","datavalue":{"value":"W2009263137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$91D056AE-D83C-4E3E-921E-985BCC6737CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$AF7091DF-4F22-46B5-A06B-B03840D6EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$70986DF6-A59D-4E83-BDFE-A9642FACC67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$BFF5F7D6-8BA0-4BD4-8B15-82B16A5CB8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f789664d48fd1e6151623ace7329c46099baa0","datavalue":{"value":{"entity-type":"item","numeric-id":583201,"id":"Q583201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$517B13F7-B784-4494-9E40-91DDABBCB339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$17596C05-41F1-42D0-BA36-E3D21AF422F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$35F58CD5-CA16-45FD-8709-CC3B07CF3416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704657$4222DED5-9487-4AA5-A208-72E32B528F77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d74c178fe70206630e33209069bf2c668ee466d8","datavalue":{"value":"10.1002/MALQ.19990450410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704657$A8DAA4A6-B79F-44B5-AC2B-70AF551D743B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091dca3515f9f2576f401dc217c6b4d6fc04241b","datavalue":{"value":{"amount":"+0.7958433628082275","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":"Q4704657$0A226604-8D2B-4A06-9EE9-23897D0D4A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebaeb24d669e8c4387b500d08e63ac916669834","datavalue":{"value":{"entity-type":"item","numeric-id":3720593,"id":"Q3720593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d68ea8aa37cc42f740972ff9079afe3612ad6e","datavalue":{"value":{"amount":"+0.7354974746704102","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":"Q4704657$131AF94B-7B95-4C99-95ED-D6F962694388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0911deb8dfc220c1fa072f54145e697e3dc2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1765158,"id":"Q1765158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f23cd7114a6e38c3c054b5ae76ab86703b0a0b","datavalue":{"value":{"amount":"+0.729905903339386","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":"Q4704657$9840FC22-E378-4DAC-A89F-60DC30D474D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121120b16fde0ef16a7f416c14d4150c04ff45c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7adab17ae6c0c440b011b956c8ab2bb0467dc93","datavalue":{"value":{"amount":"+0.7295234203338623","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":"Q4704657$6420A072-3FBE-4BD0-ACFF-417D7884F784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4704657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4704657"}}}}}