{"entities":{"Q4988445":{"pageid":7018022,"ns":120,"title":"Item:Q4988445","lastrevid":91161842,"modified":"2026-06-04T22:24:58Z","type":"item","id":"Q4988445","labels":{"en":{"language":"en","value":"Preserving cardinals and weak forms of Zorn\u2019s lemma in realizability models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7348451"}},"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":"Q4988445$8A972C5D-5724-491F-A30B-25720DEE0FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"424d4ef2d6cfd71b0ac155739690a1bd9e5286e1","datavalue":{"value":{"text":"Preserving cardinals and weak forms of Zorn\u2019s lemma in realizability models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988445$8ED3E02B-2DF2-4AD8-BA1D-5FB0FF1C706A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fbaa48b41aa95da58048f19f9a1fdf078827e9f","datavalue":{"value":"1486.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$3AF287D7-CAB4-440C-8F45-646D16A7DC6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"658d11f14f9aba185bcddc49aded808a692b316d","datavalue":{"value":"10.1017/S0960129521000013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$3D039F21-1F9B-4E79-8551-EB49D8324D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb69c14a069c53c1c9fdbdfb5d56617446564ccf","datavalue":{"value":{"entity-type":"item","numeric-id":287475,"id":"Q287475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$BC7887B7-9096-4B53-B2C3-D0BD4C588178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"079da3998385620efce5bca51d39b72196615a62","datavalue":{"value":{"entity-type":"item","numeric-id":4988444,"id":"Q4988444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$B975BBFE-DEFC-4F8C-87B6-11165CA0C7BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$36D522C5-FB4D-4CB1-B761-13833665B9B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8b05cb12b6f1bb587623cda38d574ee286ffcb7","datavalue":{"value":{"time":"+2021-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988445$452EABDA-57E8-4AC8-9F41-542B64E71834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$8AD26BF7-6AF1-43D0-B81F-A6431FBDA63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$A18B95AD-C3D1-4203-A97A-A4884C725EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6fad96fe9ea774a1c7cf45e0894b08d1a44fc15","datavalue":{"value":"7348451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$4640388F-2B43-4BF5-86D2-D644CA83B70E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988445$5E0E4045-D27D-422D-A274-ACDFDC4B7A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988445$14D8C0F8-3A97-49E3-A808-3BCACB0317B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988445$A188032D-BC8F-4989-8C54-4DFB39D9A97A","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":"Q4988445$78638E4D-2C89-47C8-AA53-1C7C2BE52DB4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23ffd79de8b20beb1b696984a11cb8e645b683f7","datavalue":{"value":"Q124837289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$10D13812-54B1-4306-8A8B-ED2F7CCF4486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$9498AA4B-DFA6-4CE4-B8AC-9AD5E051B8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$2D3E4D97-4455-4D7F-B017-EDAC463A8424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b40679641f16410d40f78d2866535cc8e592da","datavalue":{"value":{"entity-type":"item","numeric-id":3224668,"id":"Q3224668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$7E3A8B92-3E7B-4FFD-9650-7238F457BD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1d404143589372d7b9efbbb23dc7c5621d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$C27A78C6-3D1D-4858-B4C5-BD05E7C0B69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a3499083cc91a74d948bcac34aaf5b5f01ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$6FC000D6-FF7F-4662-9331-A80D7A028C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8119c50d98da67eca21bb3aeee0faedf15b7f33b","datavalue":{"value":{"entity-type":"item","numeric-id":4599612,"id":"Q4599612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$AE29C774-7E88-467C-A1A7-DA5912869712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$91DDFFF5-133A-4388-BE10-A915459C6F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376391ab6b394f7893094fcbfc13d81f395664f","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$5D6601F1-DC62-495C-BD24-A3EC03888A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988445$5A11E89D-54D3-415B-A532-32A83D734CDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"237bce15e9df0e06737401f7a8c3ec1770457b83","datavalue":{"value":"https://doi.org/10.1017/s0960129521000013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4988445$67140785-7CC4-43E9-A77B-4A3D7BA60ED2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63e7c3b60fa3421e06344f5524738f4afe4f78e","datavalue":{"value":"W3128311580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988445$1041CB62-A2FA-4F13-8B74-C8FDEB3E4151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preserving cardinals and weak forms of Zorn\u2019s lemma in realizability models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preserving_cardinals_and_weak_forms_of_Zorn%E2%80%99s_lemma_in_realizability_models"}}}}}