{"entities":{"Q3875925":{"pageid":5905830,"ns":120,"title":"Item:Q3875925","lastrevid":90884129,"modified":"2026-06-04T21:40:43Z","type":"item","id":"Q3875925","labels":{"en":{"language":"en","value":"Constructible models of subsystems of ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679818"}},"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":"Q3875925$DA3A9761-EE4D-4652-8060-0F81BE8BCFFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcdc8ae2d1cdec75aaaf8b01ae73cb12e2da577e","datavalue":{"value":{"text":"Constructible models of subsystems of ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3875925$56CC3F7B-2848-4B8A-A5A5-1015A7FFFDA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df8cdbbe863bd612a54c347169dec701070f5158","datavalue":{"value":"0436.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$0CCAAA92-47F2-41F0-BEA4-E3E6C23957BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9af785ad611a4948ca6b381307b4efbffaf6a196","datavalue":{"value":"10.2307/2273185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$2655C5A5-40D5-41E0-8722-1360739691E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"364fffe331fe2935c2cc2a10e0e51c1b33c82e46","datavalue":{"value":{"entity-type":"item","numeric-id":3858255,"id":"Q3858255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$FC6B0C1C-3391-4F6C-9EFC-BB38DEDA2816","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$AE0F05B0-BF5B-4FF0-899F-6B6F16F780A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3875925$7D5D54FF-243B-4D02-8D97-54113A057913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$4DD35BCF-B2B4-428A-B8E9-C28286B8F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$EDBC72F6-62C8-44BA-BF62-6F16B3E8370A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefda97b3410353b32b21ee1b32ba34d0cd9654e","datavalue":{"value":"3679818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$750B7980-590B-48F7-97AC-23DBB123873C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6eb702dc0c3f86100368d4af1737176c9e1ff1f","datavalue":{"value":"constructible models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$FD30E651-C93A-4241-9796-1B42C5F318E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb741b2fc55a699e5f7039405a479e4c49453e8","datavalue":{"value":"subsystems of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$BB706BD4-A1D2-4348-8F3D-4DCEFE499924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2669fd4d4aa7e483079378920225e95918b36c79","datavalue":{"value":"construction of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$3EDBBA96-C2BF-4457-9E8C-61D709C42C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"389a010d643c22288e49dde3e1864a5ba2210073","datavalue":{"value":"transitive set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$47ABFA25-C54F-4561-A303-FCF410E126C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$BA19A8EB-DEBF-46B3-A37D-69158DBFA846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4142d8ef9d9208f8e7c6d76c1d9739e37712bfd","datavalue":{"value":"extensions of Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$B4DC218B-595F-475C-BF57-CEDE6248FE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5962ba668960f5b23bdd17a01442d3b7088d3b","datavalue":{"value":"transitive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875925$D74795E3-FF7B-48E6-9161-238723EF6E2D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14bd5b29c70b2f0d9307e564c6749684dc17eca4","datavalue":{"value":"Q56456990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$702F08B1-BBA2-4094-97F9-499196970510","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":"Q3875925$AC651AAE-8996-4F45-B64D-733F439E4EA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17dfee06a9bb866387f6020d9d052336414fc24f","datavalue":{"value":"https://doi.org/10.2307/2273185","type":"string"},"datatype":"url"},"type":"statement","id":"Q3875925$710EE61C-5A95-46F4-8DB1-8D5581D959FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ca3d17c6246ba657db6d5443b6c03ad3c82d449","datavalue":{"value":"W2128574050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875925$3240407E-05DF-4F89-974C-8EEC8E9745FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d26c4767ac00a5db2d056e2c64cbae329ad087c","datavalue":{"value":{"entity-type":"item","numeric-id":5773170,"id":"Q5773170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$26CE0603-F86C-4C55-857D-9D79AC3AAD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d14bf0199b2642fbefb540809bbf36e18447f27","datavalue":{"value":{"entity-type":"item","numeric-id":2560128,"id":"Q2560128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$406E7B6E-76AF-4210-A716-0648A6DF3635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$63739FD9-EEB3-4540-A158-B9DBC4C636B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3baf657309c7a8a661a3fc3c8302e2c4281c10","datavalue":{"value":{"entity-type":"item","numeric-id":3864053,"id":"Q3864053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$C372BD12-8032-4F6F-8BFC-9122D44B7FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfcfb5d7d4646e134389c585c60a3785c127900","datavalue":{"value":{"entity-type":"item","numeric-id":5582332,"id":"Q5582332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875925$F9881DE7-3565-4137-B84B-E801EFD801A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructible models of subsystems of ZF","badges":[]}}}}}