{"entities":{"Q481869":{"pageid":483636,"ns":120,"title":"Item:Q481869","lastrevid":62195070,"modified":"2026-04-11T04:25:17Z","type":"item","id":"Q481869","labels":{"en":{"language":"en","value":"On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6380533"}},"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":"Q481869$C65C30C6-0839-4C4E-982B-C1088DB46FCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fd4c2229cfba72ddb550c95d6d3e1e5f933f46b","datavalue":{"value":{"text":"On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q481869$FCF844AF-C23A-41C0-957C-8C9A4E7C1925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcd044b3275a963c8afe85111656d615f1f4d3e8","datavalue":{"value":"1339.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$44CBD2D2-C4ED-4A19-B960-07A4B32ED084","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$EF184B1D-AB97-4778-B95F-B9BCABC55E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"503b81bbf4da2a3728dd91c902bbde5f1ed33230","datavalue":{"value":{"entity-type":"item","numeric-id":1097267,"id":"Q1097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$138C33D2-00F5-470A-ADC3-F98024ADD7C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$7EC8BDC7-A7E3-4C07-BFA1-F675EDB9B26E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64cb2c292354f5e0ffaa04ffb9039a1f87da480b","datavalue":{"value":{"time":"+2014-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q481869$BEFA4CF7-748B-48DF-B81D-1A8C12460734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$6B4719A1-77A7-4612-B2E7-8D823CB43DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$834E8E5B-1FB5-405B-AB04-F6CC6CAF75B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$807D207C-5D2C-41D8-8E03-A5210818758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$74101619-EEDE-4B1F-B58B-5A03EA538D31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1edc7b594076166256390201e3c1034e1741dc3a","datavalue":{"value":"6380533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$2DDA7B7E-372F-45DE-986B-3AB5B649EB9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$FE9F15E2-8D28-4DBA-A7E8-E5E0ECC9330D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$C9090939-FFF0-454F-9632-DE448D309A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f182616308a60ca089179ae8e3b690d5a222e6","datavalue":{"value":"Rado's selection lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$35E8BCCB-D3D5-48DC-976B-060DEC3CA43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5eaf887a94ef7f2852e47a3ae681abd7d2ea50","datavalue":{"value":"generalized Cantor cubes","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$4A4F9BED-BA3C-4F1B-86C7-A78C3EB19380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$9D6BFDFF-8C89-4300-9D68-19E33D4A3E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d3e27de74c528a029d28a6301333a13779c8ea","datavalue":{"value":"Fraenkel-Mostowski permutation models of ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q481869$97E5ED7D-8561-4F63-8A1C-318B7A2D04D5","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":"Q481869$44124D5D-8964-4F5B-93D4-88224E49D13A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c79619f7e804ddfec4f5da3de2db2a4ff2d21e98","datavalue":{"value":"https://doi.org/10.1007/s00153-014-0390-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q481869$8CA0D0E8-5FAE-44C7-8579-C8016143D451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c03f5a4240828f55ae83a5bf51d83f24b438b9b3","datavalue":{"value":"W2040734568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$4B9D21B3-C5A1-4BF0-9FCA-E5E8114253A3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"03a7d0a5a13aa3446a9eba64ad8d58f9cde9f86f","datavalue":{"value":"Q124813540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$53F38110-685C-4E34-A1CD-253A7926B2B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2feffd749bdd53ca23f4c680ce7d71d3d16023","datavalue":{"value":{"entity-type":"item","numeric-id":5805113,"id":"Q5805113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$9A3DF209-86C7-4AB9-A5DE-0E38721A4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214a7ee00ce1407bfd7ff6028c191037ebd666a3","datavalue":{"value":{"entity-type":"item","numeric-id":2856631,"id":"Q2856631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$17CBE735-ED8B-4F34-B9AF-13FF9B2192EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e55d5e3a278c11348dfe8448b8a572825b6d73","datavalue":{"value":{"entity-type":"item","numeric-id":3669388,"id":"Q3669388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$352C9576-E99F-4548-8CA3-96ABBCEC391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$9C120457-8B29-4122-A55A-8598932E2546","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":"Q481869$875498C5-BFD0-4540-A87F-4D62B04064DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6aaadf42806b46cf6afc301339982af2100cd77","datavalue":{"value":{"entity-type":"item","numeric-id":3414689,"id":"Q3414689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$D563D0F1-A2F0-4D9A-9184-96CE83437E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3432ec2ccbb322918b7bff79d3769d0f2e3f7c71","datavalue":{"value":{"entity-type":"item","numeric-id":1938400,"id":"Q1938400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$62EC7109-42C6-4C37-9A89-F9E1DDE408AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b74912452ec7b44a8b5796e1db498d376e93ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5512750,"id":"Q5512750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$024C82F0-3A0A-4264-9CC4-7BAB590E9186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a438e696f7fa90196f7c2ef9e9a8d6eb8fb9c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5789532,"id":"Q5789532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$597C1EC8-8515-48A7-9D8A-906E920705EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e579c4500b333b842bd93e01e2a528d03a44a374","datavalue":{"value":{"entity-type":"item","numeric-id":4132534,"id":"Q4132534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$2D68E09D-AB96-4F57-A320-27906559B3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99ea350f507667d99fe1891987db3533719090e","datavalue":{"value":{"entity-type":"item","numeric-id":5556255,"id":"Q5556255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$C7C9E7D6-0447-4F9A-A2EA-BD1F2E330449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628222f4f9065d94878662bb86cc47e0cd6722a","datavalue":{"value":{"entity-type":"item","numeric-id":5550886,"id":"Q5550886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481869$B23767B0-250A-45E9-BE9E-521789CB3077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"961e02db4ae76e5a2f614c2147046096b4e81e7b","datavalue":{"value":"10.1007/S00153-014-0390-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481869$88F8436C-E7FC-453F-B7F5-F388F355F2F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fe3ea7b0556f64fd5b2c04db6e48557f7c81e7","datavalue":{"value":{"entity-type":"item","numeric-id":2074368,"id":"Q2074368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c7fcca1d0673223472bf78a45a7d211b2ea818","datavalue":{"value":{"amount":"+0.92599696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$51E8B0D5-E818-406C-A0A5-9831E4423EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36f589ec9173833810d9894b7ce24342ccf6386","datavalue":{"value":{"entity-type":"item","numeric-id":4132534,"id":"Q4132534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566c9ddeefa96912199e615529b99f865f385076","datavalue":{"value":{"amount":"+0.87994367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$6ABE4BA0-8FEA-4DA5-91DC-FD6BA81E31B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d472e12b3b18c1c00c78ea15023e72939eed94e","datavalue":{"value":{"entity-type":"item","numeric-id":4249222,"id":"Q4249222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a66dd75ad19c387049ce96cce88fcc3d004d765","datavalue":{"value":{"amount":"+0.8685086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$26C75E5A-FB39-4F0B-9B75-1D3D353AC25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cdfb66e9f5da74cd3c53f8d1ec20087e504cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5174635,"id":"Q5174635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b83198f20954c4eef4660539dcc90403a9c8f80","datavalue":{"value":{"amount":"+0.86574894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$D2A88E4F-87AC-4073-9203-2515F2671D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c68dbb3b95e5f34d371576e429f20dd01142e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3466216,"id":"Q3466216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c262a4e95d88f7e00da8e7f8486255542a928754","datavalue":{"value":{"amount":"+0.8639225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$90734E44-C1DF-49D0-BF75-1E146BDB8EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae21d6f5f858514cf44a44965cc21f1253a20a1","datavalue":{"value":{"entity-type":"item","numeric-id":1778064,"id":"Q1778064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fdab2ef51edd13a547d56be7eb9234d330eab7","datavalue":{"value":{"amount":"+0.8636196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$BB75EB76-A6B2-446B-A9C4-94E71767135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c472e98adcf96502c916be05eb2f5619a9145dbe","datavalue":{"value":{"entity-type":"item","numeric-id":4615029,"id":"Q4615029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e04a36783b92cf2e5d03a7cbdb615743ec3cf36","datavalue":{"value":{"amount":"+0.86187625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$941299D9-59CE-4F32-A44F-B4569E87DE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541904fbe585e6647f7ce9f0fb36f138c21ac6","datavalue":{"value":{"entity-type":"item","numeric-id":3984442,"id":"Q3984442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9f91a7785d372a0c106a2bb82ca81866e8f376","datavalue":{"value":{"amount":"+0.8547639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$81AF683E-0E31-4037-BB79-5E76800877AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be941e2522de5211f1853c3858fed1aeac32380e","datavalue":{"value":{"entity-type":"item","numeric-id":3414689,"id":"Q3414689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c944f6bf2b56d3497f16a57e3895cd735bbc7c3","datavalue":{"value":{"amount":"+0.8529651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q481869$60F8EE07-80E0-4599-BBA0-8173D81693C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_variant_of_Rado%27s_selection_lemma_and_its_equivalence_with_the_Boolean_prime_ideal_theorem"}}}}}