{"entities":{"Q5107220":{"pageid":7136796,"ns":120,"title":"Item:Q5107220","lastrevid":58425282,"modified":"2026-04-05T04:13:02Z","type":"item","id":"Q5107220","labels":{"en":{"language":"en","value":"Forcing and the Halpern-L\u00e4uchli theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7190467"}},"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":"Q5107220$28F74B79-C2EE-485D-9F45-21205B5A283C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56d011a5e2f7d82f0fe07f05d3394f1423c443fd","datavalue":{"value":{"text":"FORCING AND THE HALPERN\u2013L\u00c4UCHLI THEOREM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5107220$6378A428-AFBE-4E2C-B7B3-A99190B6546E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2883422c7cb43444787796a21cb1a78a4b85777c","datavalue":{"value":"1477.03175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$AC14E1FE-A40A-4295-8CF4-969D53D40D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1359dcb6c82a3ba5e0ff6b66c7b8f374bbfaa2d5","datavalue":{"value":{"entity-type":"item","numeric-id":330052,"id":"Q330052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$0018EF7A-52F3-4D77-8B8E-21A9A37DE6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"814bf5d35f1201ccd01db3ebddc43674e5ef4ead","datavalue":{"value":{"entity-type":"item","numeric-id":5107219,"id":"Q5107219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$61B9E593-7B49-4937-ACD7-9CC9D1049DE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15784d321aac3bade60fa378317d3f88af56df9f","datavalue":{"value":{"time":"+2020-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5107220$08FAFFBE-14B7-4500-AB4A-709EC31694D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"835cb5111da243f15ba633cda8fe2fae808598e8","datavalue":{"value":"https://arxiv.org/abs/1706.08174","type":"string"},"datatype":"url"},"type":"statement","id":"Q5107220$361F1B11-AC78-4B43-95F1-2CE8186B60C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$C83EF64B-D8E9-42EC-838C-BD2D51591DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$37A9A869-6470-4391-90D4-9253F139411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$BCF4BF6D-AEF3-4297-8CCF-D48AC124501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$6C390B04-5880-476B-B8EB-094CC52A1675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$121EF5C5-DA33-46F3-A563-E10C8E083E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$ABC227D6-2001-499D-988E-700F8D5022A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906a7fe8688a7a2ca99b95939d88bc9d5b492776","datavalue":{"value":"7190467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$3B2E2066-474D-4236-860A-0E4013E2DD99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$4B48A3AC-1683-4554-92D6-E491A4F6C333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d7cf5dbc17dfc5249f239aace88d01f57ab0cb","datavalue":{"value":"generic absoluteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$F1E4139C-46F7-47A4-A37A-E8155CF89C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e95d929fe2df28781841bd31851aa5083d167ab0","datavalue":{"value":"infinitary combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$D1EFF45D-0CD5-43C1-94B1-758E6FAEF81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00eb9e3e989cfa682e85654d9b5e442ac5a95bd","datavalue":{"value":"partition relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$5A41DD9B-6494-47C1-BE23-A3CCF644A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$D3C05BFB-B0D3-4207-AC23-A6013CE3AAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107220$412B6D63-D772-4A3F-BAD9-3CBA8FED6664","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":"Q5107220$8167D8B1-E749-4883-B0CA-3A94FB99FE82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16fa6691dc959a87a20df4e13f77f7907230b5a8","datavalue":{"value":"W2972705334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$36D79E3A-539B-4A05-B461-0B78AFEA8C6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f12f63048408cc8311414fd56b9f01c916832","datavalue":{"value":{"entity-type":"item","numeric-id":4600470,"id":"Q4600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$6BC9A68F-4349-4648-8E6A-02D46C076965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf98445b6e7a1262af5fba8356325b96b0e6f01","datavalue":{"value":{"entity-type":"item","numeric-id":2813269,"id":"Q2813269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$ECEAD3F2-F1AD-47D6-820E-52B119E993FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba26c272537437589cbd037bb955661f4e52894","datavalue":{"value":{"entity-type":"item","numeric-id":836116,"id":"Q836116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$ACD7A44C-19EF-43D4-B04B-19ABD233B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3faeda4fe2b5128bdd5cc257cefee6a62bc2ccf","datavalue":{"value":{"entity-type":"item","numeric-id":834717,"id":"Q834717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$4D1CB4C0-5DE1-475B-A36E-CBC5A37D3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41004c8f4f86558342b6cccde6f87f16a9e0a8","datavalue":{"value":{"entity-type":"item","numeric-id":1271912,"id":"Q1271912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$4EBA098C-B98D-40D4-89CB-182724329C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7597068ac110925e9a522a2ccf924621f26f7471","datavalue":{"value":{"entity-type":"item","numeric-id":5541372,"id":"Q5541372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$E5D49F04-F10B-458C-9C2D-7DC95BA6BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c426499d2a38cae32a9ae7ccb6188e1f2795390f","datavalue":{"value":{"entity-type":"item","numeric-id":5641139,"id":"Q5641139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$902DFA06-B632-44D1-ADDF-C649ED4CBE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b820f0737fc19ee98d8b5181f780b3e8745fbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":4391421,"id":"Q4391421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$51E47094-6C90-431F-9574-89EEB0688C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57899358e3494e0f92133e05bf49d0f478aa4863","datavalue":{"value":{"entity-type":"item","numeric-id":858113,"id":"Q858113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$C3B23D04-360B-4C5A-90BA-2EBE9CFC5444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af40e46b52ca02f5aca3ebb32af347e1a4978847","datavalue":{"value":{"entity-type":"item","numeric-id":3708794,"id":"Q3708794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$6067185C-2538-4CE5-934C-7209F769FD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dfbfd63f970a4db5e8be32937a0366e28da7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1137591,"id":"Q1137591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$59BAEB34-1CA8-4EEA-A531-0FA54A54DA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656c124b63d91a563cd9660aa5bfeef0497bf982","datavalue":{"value":{"entity-type":"item","numeric-id":858115,"id":"Q858115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$FB8EBE23-6D5C-449C-8A91-6ABDDE4FDDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$76374F81-7284-452A-9DB4-4BB01D9A48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8725f772e4ec8f9931c815c67e53ae5f0a73231b","datavalue":{"value":{"entity-type":"item","numeric-id":5475906,"id":"Q5475906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$7FF352DB-5191-4056-B308-4A9FBBE2E865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482594b03c31d3fa8d8ba62ea5b2a1f2d8432641","datavalue":{"value":{"entity-type":"item","numeric-id":5222520,"id":"Q5222520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107220$3AA51D87-C2CE-44BD-88F1-5C9CEEB2DA32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5201df5aa3d64aaf445762d14dbc9885237562d","datavalue":{"value":"10.1017/JSL.2019.59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107220$471B0810-7719-4E54-9CCB-7F8110BE8892","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":"Q5107220$F27C7D22-FC93-4BEE-9E13-9FD1195FCEB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2083e65fefaff0e6db4bb75aa3bef39c085305ee","datavalue":{"value":{"entity-type":"item","numeric-id":4600470,"id":"Q4600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7ab186b7f9660be0c73fbaf960f19d8870caa7","datavalue":{"value":{"amount":"+0.8073548078536987","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":"Q5107220$E68645A8-6818-46E1-A832-DF402377A00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb7fa4421ebc4a68aa375ee29994fcd4a2abae0","datavalue":{"value":{"entity-type":"item","numeric-id":5222520,"id":"Q5222520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67c723c4b0bba8784374fa6cf69334b3695818d","datavalue":{"value":{"amount":"+0.7918152809143066","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":"Q5107220$F7F075F3-F390-4653-A320-964BB0B055AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e3bd234bc485a9188a01578ac06f8c8bb848df","datavalue":{"value":{"entity-type":"item","numeric-id":2758064,"id":"Q2758064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131669424b0bcde5ad125efcfc66860e04990105","datavalue":{"value":{"amount":"+0.7594457268714905","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":"Q5107220$4C5A890C-E0EF-42AC-B43D-1E2E6470EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a59c303ccfd567c2126c8793d900303f4d378","datavalue":{"value":{"entity-type":"item","numeric-id":4848573,"id":"Q4848573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131669424b0bcde5ad125efcfc66860e04990105","datavalue":{"value":{"amount":"+0.7594457268714905","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":"Q5107220$7E55B334-F161-4C1F-BB3D-D7EA5814EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6738e46b60f36ad3577d1a3494cf48ddc76c3f03","datavalue":{"value":{"entity-type":"item","numeric-id":1348762,"id":"Q1348762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a289f9445080a4688b50a921954f93aeba87d808","datavalue":{"value":{"amount":"+0.7548682689666748","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":"Q5107220$58B32E62-63A4-4870-A82D-329C856A29CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5107220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5107220"}}}}}