{"entities":{"Q650477":{"pageid":652326,"ns":120,"title":"Item:Q650477","lastrevid":42624897,"modified":"2025-07-07T08:19:26Z","type":"item","id":"Q650477","labels":{"en":{"language":"en","value":"Effectivity properties of intuitionistic set theory with collection scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5980810"}},"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":"Q650477$B3E8EBC6-A126-409C-88F6-B2659EF84E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07bb1c17e29ecba91bb8cd802da2d3836bf02968","datavalue":{"value":{"text":"Effectivity properties of intuitionistic set theory with collection scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650477$8B80912C-3E9F-486D-ACEF-5E29372C4636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2728113cf516be178dc2f28b1e40dd45df91a587","datavalue":{"value":"1235.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$356CDFB8-0AD5-4812-A368-97D7C20E80DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90a8d0ab469493b0daa9dcd6918cdc53148a33ac","datavalue":{"value":"10.1134/S0001434611050038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$1742B076-C188-46C9-916C-7CCA2C66904E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0810fdd2acb888e796e6393fe73000d87a3c4c","datavalue":{"value":{"entity-type":"item","numeric-id":650476,"id":"Q650476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$87D4687A-7CCE-43E5-8355-AD1A6BBF7BF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$E1277929-804E-4E97-A835-40FECB0ED642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650477$85D4231E-30B4-4E02-9790-4C7604F0F8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$ABE67F7A-B282-4277-9B8D-972EF7428239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$F687C6BB-4B5D-4C9E-A5CB-6E0EE0B2A8CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83a37509d18ae7d97a04abf8cb9144b933ce40f","datavalue":{"value":"5980810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$8EE6F269-D9CE-4530-85A1-546E8A547B8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$0E4C4C98-4530-458D-82E7-B8382E840DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dea9cde1868be8f4112b644c40480ae52e23f1a","datavalue":{"value":"two-sorted language","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$56ACA48F-5960-4DB4-8731-33744A3540F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0956aff68f2346da0403bf57a98cc707ac21fbe4","datavalue":{"value":"collection scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$EF97918B-A64B-46B3-959F-152E7E2F74D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2237c04c3169872dde633b8a959c189a0d980ad4","datavalue":{"value":"effectivity properties of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$4F91765A-5BB8-4E8B-84F5-03FBF6AACB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$14F614DF-3CB8-442B-BF16-3890DF4956A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$FDE0A031-0726-4546-8D02-F88378E61449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e94ecd4a9d79cc87cea497f186c7e49213f262","datavalue":{"value":"uniformization principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$A8CFF8C7-9CC3-4EAC-BE53-0AB3C8F64E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9316818518de48ee256caf1c4d7876d904821c0","datavalue":{"value":"Kleene recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q650477$C4D38CAD-C3CC-4CCD-BDA4-BE66D4185229","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":"Q650477$9457D6A9-4B22-4461-BAA7-73C1BAC29256","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$FD587846-77C8-4FBB-AC15-459F017E3D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$C6F97AEE-113D-4323-BF70-9A10E4878F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$585AB8CE-F401-44A1-ABAC-280878985335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$E5045764-46EA-4AD9-8ABE-7D67F70130AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$0EAECFE1-5BBD-4FDA-AE68-389C648DEC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc94bf2f79788b303de4c0b01e828977dca54a3","datavalue":{"value":{"entity-type":"item","numeric-id":3866108,"id":"Q3866108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$D241B0D6-A2D5-4631-8527-FF1FC2F1E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c7c29522e75bc7672cda3f2169f307cb288ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4268417,"id":"Q4268417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$44E34E05-FA4A-440D-8398-B65C9BAE5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbe8206a17c7934f7f8dbaf2f4915237b128bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1902734,"id":"Q1902734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$75F2BB8E-ACF3-4AC3-86EB-A52BDA805D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f57b15a7ec211d430a74dca8405335fa0927cb","datavalue":{"value":{"entity-type":"item","numeric-id":4232316,"id":"Q4232316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650477$7F763AFB-823D-466D-8ED1-AC9C143B1D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d8e2fbf5419719bfb8859ccde0c41affc8f3442","datavalue":{"value":"https://doi.org/10.1134/s0001434611050038","type":"string"},"datatype":"url"},"type":"statement","id":"Q650477$549ECBE2-0047-4C97-9393-ABB027530AFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d03f9a89023598aedb1443c897ff27aa3e0fa9e6","datavalue":{"value":"W2024285112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650477$50DC67C6-C569-4F19-A3F9-9993652600F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:650477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:650477"}}}}}