{"entities":{"Q6159371":{"pageid":13294204,"ns":120,"title":"Item:Q6159371","lastrevid":55452862,"modified":"2026-02-17T16:42:30Z","type":"item","id":"Q6159371","labels":{"en":{"language":"en","value":"Hall's theorem for enumerable families of finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691293"}},"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":"Q6159371$07C59E05-9916-4C73-829B-5CA42BA1DF9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff5487627de0810f9ba1f32f6c03b639814fa9a","datavalue":{"value":{"text":"Hall's theorem for enumerable families of finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159371$A7CF0F3D-5AC6-44CB-8908-A05C9D0CDBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0204c13d8c612b8f8f7531d23dbd3b05f3b4fc1a","datavalue":{"value":"10.1007/978-3-031-16681-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159371$461AA9BC-732B-4FD8-BED8-D29BE83DE749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f332f719e5f5d50b3598e933329ceb07d62c73c","datavalue":{"value":{"entity-type":"item","numeric-id":6159366,"id":"Q6159366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$D30147E2-7A0E-4C34-879A-458E73034931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$22BD73F8-37D4-4D78-8E69-E8A10A619B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0ab50f373d02322541ab0f04acda7a32f5083c","datavalue":{"value":{"entity-type":"item","numeric-id":1682879,"id":"Q1682879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$89564657-FFB6-43DD-9850-B8328340FC7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$ACF26354-D71F-42AA-92CA-2AE709CD8881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159371$13B1DDFC-04AA-4CA2-8FF7-1C4B8F3F7713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159371$71535CAF-CE42-4FB6-A762-2B858235E90F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f230e46bdea23bdff646e109ad35c7ca504322","datavalue":{"value":"7691293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159371$6E496BBC-619B-4817-8FCD-C50ACB7EFFDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdc9b053dc1625593d6d9b2fdeddfe89f6d6130","datavalue":{"value":"Hall's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159371$D6744ED5-091E-4F63-878D-218EC4F77D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159371$5A41CE6D-3EAC-4F25-A92D-3DC6A7627F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159371$72ACFD0C-5F83-4EEE-A37A-B6ADC75EBBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159371$F6F24FBB-3986-4329-8822-D147CC826CB4","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":"Q6159371$04EC3C80-960D-4206-B325-E3DCD97D440F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a7e4d537ff71038ee8eb46f5d5cf8674ad0f467","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16681-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159371$1273B151-FA6F-4F4D-AFB5-9015330399BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dbff6687c62b217b6e51fe773c6c9f25741f9cd","datavalue":{"value":"W4296118851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159371$9CB45E18-B773-4D9B-9D7E-AC2056F16F6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c96bdd589b39d27be304eaaf5715b45fbba9de8","datavalue":{"value":{"entity-type":"item","numeric-id":4571707,"id":"Q4571707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$A3B0411B-CC57-423A-A3F1-161F89B6699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b32a8240548a402659dc31549f4cbe4c44c032","datavalue":{"value":{"entity-type":"item","numeric-id":4313087,"id":"Q4313087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$84C8EE75-2392-41DB-A852-2F94FEBDF525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284b11a6e4aa95507c849c21b3862e1068602c09","datavalue":{"value":{"entity-type":"item","numeric-id":5808059,"id":"Q5808059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$A23BE54A-BF52-40BD-9ACF-D08769AB4510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ef2a7c24c95514ae7e590406489f199a715cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1791156,"id":"Q1791156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$E4C88F0F-07A2-4DF9-B914-A3A80AE913A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1fd96ba45a0b2a0156c43ea2b2fa04d8f6df9d","datavalue":{"value":{"entity-type":"item","numeric-id":2209536,"id":"Q2209536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$7659DEA4-7F16-41CC-9EFA-D118D4D12C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$479F1793-A077-476F-8E7B-31DBA5905F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d792f5262a1f297a74f9b43efedcc5cd94ec","datavalue":{"value":{"entity-type":"item","numeric-id":4760022,"id":"Q4760022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$9D93E872-E9FC-4F55-9484-F00058D87161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601666ee304d65a5fe8f6e1c68241f7c8925a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":5792047,"id":"Q5792047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$F65A3D6B-CCC2-4131-A1D9-6F113EB82B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$97110B5F-7238-49C6-B406-7B3058FF7EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aeb7e2b16a3e42e425a65b84137bd84d17f8572","datavalue":{"value":{"entity-type":"item","numeric-id":3100219,"id":"Q3100219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$614C95E7-4AA8-4FAA-B9A5-860981E26652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$E2F2ED71-08AF-412C-A733-3FC4BCA9456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836a1d7b6bdb48a4904f72118ea93610f12fe959","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$7A3A23E3-2908-41FF-9073-7EDCEA62B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7503180661c06c10a8af42d5d3480716d20a5cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5542117,"id":"Q5542117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$4E435B1E-BA4E-4CB4-92E8-6BBCE20B8D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c27ac293802deca5ab22a51a76664f5ba4df19","datavalue":{"value":{"entity-type":"item","numeric-id":5187306,"id":"Q5187306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$B2C84285-8790-4D0E-9337-A95C1F061B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdca1250c54ba622fdcd8371e834710d2a61b60e","datavalue":{"value":{"entity-type":"item","numeric-id":2284192,"id":"Q2284192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159371$E7C46B0C-8696-4CED-A29E-5C2FF9C5EDDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4de55d9257875d2470980badac09ad2b1dcb796","datavalue":{"value":{"entity-type":"item","numeric-id":3100219,"id":"Q3100219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493d3c7d3fcbdd80d0dae9153281311a92126cf7","datavalue":{"value":{"amount":"+0.815934419631958","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":"Q6159371$3A83614D-AB90-4E09-84A6-A3A9786B268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0822356875e15216799a11c59b8a687704011d6","datavalue":{"value":{"entity-type":"item","numeric-id":4880458,"id":"Q4880458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53edb86c5fd6ede52076485150ab123b5966b0c","datavalue":{"value":{"amount":"+0.7758776545524597","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":"Q6159371$2798930A-21C5-4C3A-9C13-EA580B979414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0848521784dee5a7777dea483be4eebe934744b3","datavalue":{"value":{"entity-type":"item","numeric-id":3798657,"id":"Q3798657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3fac0325cdfb98b2f60398575610a636cb44bc","datavalue":{"value":{"amount":"+0.767524778842926","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":"Q6159371$C4C6E483-BFC3-4FB0-B936-57B16FF914B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459691e83be158cacd138c2fc75b6d462d11f579","datavalue":{"value":{"entity-type":"item","numeric-id":1865120,"id":"Q1865120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"465cca3ec31aef7d3e32ea19644f21abda51fcc0","datavalue":{"value":{"amount":"+0.7474472522735596","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":"Q6159371$9C3D9532-2C27-48E3-BF6F-955D5294281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e293bdcaf0899a1c824127d3b823b77a5c9c66","datavalue":{"value":{"entity-type":"item","numeric-id":3335789,"id":"Q3335789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f6a5372eaabdec7d80d6a53d654fb2edd6b697","datavalue":{"value":{"amount":"+0.7454800605773926","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":"Q6159371$61F14785-0B8A-4BE6-96F0-5739F2476E08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159371"}}}}}