{"entities":{"Q1382250":{"pageid":1392990,"ns":120,"title":"Item:Q1382250","lastrevid":67304472,"modified":"2026-04-12T16:43:32Z","type":"item","id":"Q1382250","labels":{"en":{"language":"en","value":"Minimum matrix representation of Sperner systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1133148"}},"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":"Q1382250$A799DBFA-B291-4816-BC8C-6A2C6750ABEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01d75f57175c9ce6ffa58c8996378eaedbedd34","datavalue":{"value":{"text":"Minimum matrix representation of Sperner systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382250$C255691D-C691-47E1-8F2D-039A66FB0C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c18d42e6d27c40095903353a34e6a13220302c9d","datavalue":{"value":"0892.05047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382250$5269EFD7-2AAC-46CF-B2F3-80275D72DDA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eda7b384f7395a010a0235ddae5dde94e6aa1866","datavalue":{"value":"10.1016/S0166-218X(96)00051-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382250$7C883A3F-B8C0-4339-AE3A-4606906EEACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$D2E2E340-4892-4FE5-9FAD-EE521362C6ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a46d7ed2be515f1109275f35494322d35fd95b","datavalue":{"value":{"time":"+1998-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382250$33213E1E-472E-4B8E-AFAE-3601E382D0F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3395a2cd6863e39784161d0f578415f36fc38e6f","datavalue":{"value":"http://www.elsevier.com/locate/dam","type":"string"},"datatype":"url"},"type":"statement","id":"Q1382250$70A8ABF6-321D-44ED-8F74-655BB49AB89F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abaf4f933aa6199ca02b3a7dd55791afad2d8fc4","datavalue":{"value":"Let \\(M\\) be a matrix, let \\(A\\) be a set of its columns, and let \\(b\\) be a column. Then \\(A\\) implies \\(b\\) iff there are no two rows in \\(M\\) equal in \\(A\\) but different in \\(b\\). Furthermore, if \\(X\\) denotes the set of the columns of \\(M\\) then let \\({\\mathcal L}(A)\\) denote the set of the functions \\(2^X\\rightarrow 2^X\\) for which \\({\\mathcal L}(A)=\\{a\\in X: A\\) implies \\(a\\}\\). The \\(m\\times n\\) matrix \\(M\\) represents the Sperner system \\({\\mathcal K}\\subset 2^X\\) iff \\({\\mathcal K}=\\{K\\in 2^X:{\\mathcal L}(K)=X\\) and \\(K\\) is minimal for this property\\}. Finally \\(s({\\mathcal K})\\) denotes the smallest integer \\(m\\) for which there exists an \\(m\\times n\\) matrix \\(M\\) representing \\(\\mathcal K\\). This paper gives a necessary and sufficient condition for the existence of an \\(m\\times n\\) matrix \\(M\\) representing a given Sperner system. This gives a usefull tool to determine results concerning \\(s({\\mathcal K})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382250$F366BF06-4698-4B91-9170-D801BAC74146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382250$7A10673F-2C88-480B-A29B-4D08E0593F72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d903fdf1cf522a140f73d1920e6cd8708a0f50a","datavalue":{"value":"1133148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382250$91E5F78D-8483-4302-9580-9BB28110A505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe7e632c674266756b5b0efc5ef9fa798a66c26","datavalue":{"value":"Sperner systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382250$ED8A2CF2-549E-4EEE-A591-029D879AAB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3a110d8e6cfcdfd307fcd9602fd60030c61db07","datavalue":{"value":"matrix representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382250$7D455663-6B40-46EB-A4FB-CF0007EF4F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e022bd6dca77b0501f1eab4c321cd5af21e6f6c6","datavalue":{"value":"database theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382250$8C2A4C6F-A756-485D-9E84-5E813BB5DBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f6aed764bed185fececed5fce262ae6b1a9523e","datavalue":{"value":{"entity-type":"item","numeric-id":764870,"id":"Q764870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$100F0FA1-766D-428C-8582-6A42D6EFE447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22870b0ec27873fbdc1ee314df1800fe861e3026","datavalue":{"value":{"entity-type":"item","numeric-id":2276960,"id":"Q2276960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$C9861D96-3D0D-459A-A07C-26EB9D5923A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01b0989d65d3fe37f1a608a8cd96e416bda56c38","datavalue":{"value":{"entity-type":"item","numeric-id":200913,"id":"Q200913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$77A8131C-F937-4827-BC6E-FC9564411F56","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":"Q1382250$6419EEEF-90E0-43C6-A06F-E7134006877E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$76951040-27EF-4630-977C-992FE4E219A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4393bf3e88f0a23fad7dfbe3277dbef43eaaf223","datavalue":{"value":{"entity-type":"item","numeric-id":2276961,"id":"Q2276961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$27418E7A-6848-4F51-AF69-834BA920483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$9052501C-948F-47F5-AE2A-0DDF568FBAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58488e2e51b8149fd25a6a50e0976aa000fd5b","datavalue":{"value":{"entity-type":"item","numeric-id":3863100,"id":"Q3863100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$B3A06D7E-F3F3-45F8-A262-C2F410F98E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23dc6cd77bddec79822037a996bfd9ce5e9a6d0e","datavalue":{"value":{"entity-type":"item","numeric-id":3960155,"id":"Q3960155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$33838B5E-FA1E-4FC4-98A7-229A5541D571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f28071eee895903a756fce12536f5d55c1cefe5","datavalue":{"value":{"entity-type":"item","numeric-id":1065561,"id":"Q1065561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$F1C5AE4D-5EC0-41AC-A16B-4D204D5F397E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc11619843a8a17604f7da785287cdde3f8f86b","datavalue":{"value":{"entity-type":"item","numeric-id":1104951,"id":"Q1104951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$A860B090-7E77-40CC-9E92-92BE6056EBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36cbe056428d88e575618bbf4ea7d59f255de1e","datavalue":{"value":{"entity-type":"item","numeric-id":3805968,"id":"Q3805968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$8A14EBBE-D8CE-4069-BE0B-E3E0195F3076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327e3132aca71edf1efce547a752ec08c8ce6e33","datavalue":{"value":{"entity-type":"item","numeric-id":1813978,"id":"Q1813978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$3E36A366-DDAF-4643-9BFF-0A91A0900C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be7fb91542eb858c2606bf594d712e98efb6f44","datavalue":{"value":{"entity-type":"item","numeric-id":1176724,"id":"Q1176724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382250$E7105115-1129-4240-863E-7F1D4651ECEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13927ac58b09ba92bfc279c64d231565266cd57f","datavalue":{"value":{"entity-type":"item","numeric-id":4504013,"id":"Q4504013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc7d5a16f10761a1705e0f420eba3b9ab341119","datavalue":{"value":{"amount":"+0.8468453884124756","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":"Q1382250$A6AD6CFD-1CBF-412D-825E-14F781F5E056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc87437ef2264b7128efa358d77956f41aaf91d","datavalue":{"value":{"entity-type":"item","numeric-id":1348397,"id":"Q1348397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa34fc48a8d28b9e75bdd80aca10f0e9e7237bc","datavalue":{"value":{"amount":"+0.8452275991439819","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":"Q1382250$D3F5264E-2FFC-445F-9E2D-2CBB2B4D4BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100df5ca9464de188adc01a42fcfc71d7e1fbe24","datavalue":{"value":{"entity-type":"item","numeric-id":1424929,"id":"Q1424929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43db9c8eff735b288543da0381f6b3eb2677c1af","datavalue":{"value":{"amount":"+0.7824116945266724","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":"Q1382250$59D3EAE5-298E-4A2D-8D83-2B0AC9AE6929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d27dd780045edd7e81911a0e6735f159418b0b3","datavalue":{"value":{"entity-type":"item","numeric-id":1065561,"id":"Q1065561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c896ecf2e671123aee51df2d89931924b13328c","datavalue":{"value":{"amount":"+0.7782273888587952","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":"Q1382250$16A4A2E1-9E6C-4B40-9737-DBF78ED29B7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimum matrix representation of Sperner systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimum_matrix_representation_of_Sperner_systems"}}}}}