{"entities":{"Q689199":{"pageid":691048,"ns":120,"title":"Item:Q689199","lastrevid":63638910,"modified":"2026-04-11T14:31:41Z","type":"item","id":"Q689199","labels":{"en":{"language":"en","value":"The strength of the \\(\\Delta\\)-system lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440190"}},"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":"Q689199$BF745FFE-D236-42C9-ADCB-B7F5BD0C978E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54652090ed22801cb4f58bf893b003cdcd6d9ac2","datavalue":{"value":{"text":"The strength of the \\(\\Delta\\)-system lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689199$BBBCD007-98C7-4106-8C08-4AB8E2495F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"746e9d72963a9e8ba3e33c797083f46693850eb2","datavalue":{"value":"0781.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$6593DB93-65D4-4718-8169-DC4AB07F57FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4ebda9996615db6d9015e86c5fe05280ec88e9","datavalue":{"value":{"entity-type":"item","numeric-id":689198,"id":"Q689198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689199$B6916738-5434-49DD-9E0D-75A3021DBC74","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":"Q689199$45BC88DF-1424-4554-B1A9-8566FC610F05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689199$3E0AFC25-49D8-4C51-BE86-419CF003BFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689199$2AE7C36D-4D27-4B99-BAE9-50E8B26A646D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"865c6dea8b914d2446167162b1b1deaf6b9a097f","datavalue":{"value":"It is shown that the \\(\\Delta\\)-system lemma is not implied by the axiom of choice nor does it imply the axiom of choice. It is also shown that the \\(\\Delta\\)-system lemma is equivalent (in set theory without the axiom of choice) to the conjunction of the countable union theorem and the assertion that every uncountable collection of countable sets has an uncountable subcollection with a choice function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689199$7E6A8306-0E06-4D3C-A210-5A0F9E4C8E41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$72F9B23C-3CD1-460B-9731-D86B0C8B8404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5ce87cacaf62c821337522cf979e1ecfb2130e3","datavalue":{"value":"440190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$65534C7F-FD47-4D35-AD6D-6BE1A5D8D597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589be6f108be9c2d11e60c7a612e26e71c36518a","datavalue":{"value":"\\(\\Delta\\)-system lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q689199$4CC61CE6-6F27-41A4-B043-18F80A2EACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q689199$9A5E3B26-CC87-4B6F-AD27-9ED5262DA021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf6b9ad3cf56bfafe3f9d90c440cf9455abe95a","datavalue":{"value":"countable union theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q689199$F5134089-BA6E-4F92-9717-1C912A22B8C2","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":"Q689199$DC2AADC8-85F9-49D1-B6EC-73E0984C0879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eec0bb355807db33310f06e2380dedc59509b4f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634567","type":"string"},"datatype":"url"},"type":"statement","id":"Q689199$C905D31D-DFFD-4A65-9BC5-55D33BBC3CA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6466a3d5c694889f207d15ef85eb85b6aa6a3acd","datavalue":{"value":"W1986894712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$9F32D02B-F36E-49C6-AB94-6C767078211B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32f2fead756054cc35d5158bf92323353e5cb8f2","datavalue":{"value":"Q124802928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$3B2AD11C-3C65-47FC-8062-C18F570DDC04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1ab72c60c136dd52d55c4ecffc0845e07f34377","datavalue":{"value":"10.1305/NDJFL/1093634567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689199$66A95C7C-E88E-4DA4-AB0E-B0782087B8CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476deaec5ea167b7e1e3841deb39a470ffacb97c","datavalue":{"value":{"entity-type":"item","numeric-id":2324492,"id":"Q2324492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91413c71c637c7b9277f0ebd501d3ab9e7a93025","datavalue":{"value":{"amount":"+0.87209195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$DC21254E-972D-45F9-BB56-307B0864570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b3e657a7eae2ba32c6bf1b1a19770006965fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3576210,"id":"Q3576210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efa26fe881d49fadd5d09dc2d8b5431dc4537c2","datavalue":{"value":{"amount":"+0.85707515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$A730E293-94A5-4ACF-B665-353857423340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89955d79c5cfdd8a83338b033aaeb3ca0c285ed2","datavalue":{"value":{"entity-type":"item","numeric-id":2654686,"id":"Q2654686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0e8ff4a5966ea9bdb7a2db4c6061da65be6e3e","datavalue":{"value":{"amount":"+0.8479165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$B2736DB6-6BC2-4888-8DF1-588C38EC06C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547fc437a9b7492051d6a399b1fc99b1001d06f1","datavalue":{"value":{"entity-type":"item","numeric-id":5490807,"id":"Q5490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313473cbce2b2cc6dc47d95c2768023ce3b6642f","datavalue":{"value":{"amount":"+0.8464693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$C88F8330-FC09-4131-B714-03C24124837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e88f71b094a4e7f5be639b311a9ccda0a2b3e73","datavalue":{"value":{"entity-type":"item","numeric-id":5481594,"id":"Q5481594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3847b9c685d4c9e7eb18aaa54dcb32f3c50504f5","datavalue":{"value":{"amount":"+0.843903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$5DBA63E6-D5CE-4B21-B4F5-28D9DA7BE438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0319509af37a86e48c1533cfa6d639c5ab8a78f3","datavalue":{"value":{"entity-type":"item","numeric-id":1093040,"id":"Q1093040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10b3747b188a0bb64dde946575d81ce491f7c88","datavalue":{"value":{"amount":"+0.8411144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$666ECE37-EADC-45D6-B0EA-6390CED9E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0dcc6d836f57924ebd6904f04af480984bb7be","datavalue":{"value":{"entity-type":"item","numeric-id":1288909,"id":"Q1288909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc98a6e13090d8de5ff0f494ffb4b4cc9712a9f","datavalue":{"value":{"amount":"+0.83948004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$EF22FD11-7A16-4E21-979A-299813BCD678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdb9427fcb04535bd853d0e98f3f22007c22f28","datavalue":{"value":{"entity-type":"item","numeric-id":1321993,"id":"Q1321993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec12af94f748bdb37b6e9c7e91a2d87ac226bea","datavalue":{"value":{"amount":"+0.8391479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$7B3294B7-DD08-4170-BB95-9589D898C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d80cd8372918deaf9041be9875c6626d1f8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2434159,"id":"Q2434159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74f5a42c8aa4257562f3392e784c258612d2882","datavalue":{"value":{"amount":"+0.8370303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$9CFF9348-6516-4960-B4A7-178ED8D96D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfb811e19dd36e8810c015676bdb250eb2d0389","datavalue":{"value":{"entity-type":"item","numeric-id":2269644,"id":"Q2269644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd031faafe16aef5ad305e836afaa9cea85e6648","datavalue":{"value":{"amount":"+0.8342316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689199$8A4D840D-F66F-4051-99D3-14EE90F23AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strength of the \\(\\Delta\\)-system lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strength_of_the_%5C(%5CDelta%5C)-system_lemma"}}}}}