{"entities":{"Q3934370":{"pageid":5964275,"ns":120,"title":"Item:Q3934370","lastrevid":81276668,"modified":"2026-05-06T18:08:59Z","type":"item","id":"Q3934370","labels":{"en":{"language":"en","value":"A characterization of expandability of models for ZF to models for KM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3750925"}},"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":"Q3934370$2E500BEB-E9D9-4B02-84E5-AE4EA339A8D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df6efe93e354b7fa3c36e48bb45419d665d64d9f","datavalue":{"value":{"text":"A characterization of expandability of models for ZF to models for KM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3934370$BCD66183-75E4-41DF-A99A-08496FD6C1FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db02fb3ae9eca5278f0c1458b0bf7cb0853ad09b","datavalue":{"value":"0478.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934370$D7DDB46A-7E70-46CF-8B2D-62B8D42269CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3934370$189C7041-44BD-4717-ABDF-230EB4142E7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3934370$5EC274BD-93EE-430B-9137-B2C78850C6E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7ee9ce783788c243241ce18993a1fbb28d1e74e","datavalue":{"value":"https://eudml.org/doc/211281","type":"string"},"datatype":"url"},"type":"statement","id":"Q3934370$428AC076-93A3-41B1-8B70-F5A5BFCA7BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934370$8CAF38BD-D6D7-4158-B31F-CF59E05D6CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb774d0c66aa6f231f818da7b6e7bc11bef4d1f","datavalue":{"value":"3750925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934370$05DFB7C5-6C1B-4D2A-B1B4-C534029C3718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aee5d974dfd03382048e8f912bc3cc4bbfc89e91","datavalue":{"value":"Kelley-Morse class theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934370$490AF2B7-3E0D-476E-B7BF-249EE1E1B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34487bb8dacd94efc68d5c850bbd1a6b23ef4fd8","datavalue":{"value":"infinite recursive game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934370$046837F8-BBE0-4CF5-827A-E25232DA84B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3857a4309248630331a665907472a5ca5b88cb","datavalue":{"value":"cofinality character","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934370$6579D43C-005C-400C-91AA-1331BAE910C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53a2bd654553365fc56f597852787fac584841b","datavalue":{"value":"expandable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934370$806970B7-2F11-4E95-825B-E6DA72AB6040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd53666155a1f915b0f55a72e850d6c2f1e1e79","datavalue":{"value":"axiom of replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934370$4E020BB5-52E8-4BFB-834B-5864727282A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c00694a7a8d538e2aacf4f02eb8bcfeae5fe60","datavalue":{"value":{"entity-type":"item","numeric-id":920080,"id":"Q920080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3934370$119DFBC7-C976-458F-9F43-8ED0D7E4546B","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":"Q3934370$6ACCF457-65EE-4241-8223-E1AC7DBE2117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ea3d0ecf731ce86e7ccb823496edbddf31d143f","datavalue":{"value":"W796706297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934370$BEB111C5-B9B5-4D56-906E-B2C4BEC08D65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d75254c21b51d06581440820e5818fc6477b79c","datavalue":{"value":"10.4064/FM-113-1-9-19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934370$56348A91-E9C7-4B67-A036-23F66AA03422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of expandability of models for ZF to models for KM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_expandability_of_models_for_ZF_to_models_for_KM"}}}}}