{"entities":{"Q1377374":{"pageid":1388114,"ns":120,"title":"Item:Q1377374","lastrevid":68760090,"modified":"2026-04-13T01:52:43Z","type":"item","id":"Q1377374","labels":{"en":{"language":"en","value":"A cascade proof of a finite vectors theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1112723"}},"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":"Q1377374$816B0BF5-A2CB-4E2F-8583-4E05DA301F45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f95fb2aa8227a8661c59745473fc97cd18afa563","datavalue":{"value":{"text":"A cascade proof of a finite vectors theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377374$7E3B3837-3B1F-47AE-8474-7E8303FB584F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec4b44677847f0554f51ca59015af94753114d21","datavalue":{"value":"0888.05004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377374$BEC99138-EA43-4C90-A05F-7ED57EB921D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377374$6904A661-C9BF-4EF2-BB2E-A8C698796349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377374$C8EDF4EF-4583-429C-A474-FFE3D8CDFDCF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f52c3c5571522a728757c75128683c663626d1a","datavalue":{"value":"The purpose of this note is to give a new proof of the Danh-Daykin theorem which finds the best possible lower bound for the shadow of a set which is a subset of an \\(n\\)-dimensional binary e.g. \\(0\\), \\(1\\) vector space. The proof is based on Daykin's cascade algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377374$FFFD89A0-F65E-402A-BB4D-D5F9A965368F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d36e3867d5946e3717838aa146c58da76ecefaf","datavalue":{"value":"05A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377374$06714641-6EC7-48A9-A0E5-CB87C3A1FCC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b3e182c1a002cac3d377eb1fd17ad574fc07e28","datavalue":{"value":"1112723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377374$681181B8-6AC5-455F-B31F-3DAEB96025BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c040f2a5e4c9ad1e4bd37fd15c733615b11ecb9","datavalue":{"value":"finite vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377374$3951C55B-F432-4799-AC8F-7E51947C6581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf47adc7b4924c7c3d98c11b49c9c99fd0240af","datavalue":{"value":"Danh-Daykin theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377374$511E32B2-0534-42AE-8911-4054E89C35B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cebf9026aec5edb09ba3f47893401ac3042799","datavalue":{"value":"shadow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377374$AEC63393-3D10-4A4E-B01B-582EDA9388DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126ba986bfcf547fa9e3bb7e1129787d4822609f","datavalue":{"value":"Daykin's cascade algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377374$7960AE4A-B40B-4562-BF5A-D138E73F18A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a9e190796e445b79b394886bb018cccd03bd7cb","datavalue":{"value":{"entity-type":"item","numeric-id":585164,"id":"Q585164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377374$BF01B5E6-6692-47CC-8206-E577313CD621","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":"Q1377374$5F545369-DD91-4F29-AEE2-055DDEC003AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"346e624bbea5111c85ad860b44b723e4dc5a58b7","datavalue":{"value":{"entity-type":"item","numeric-id":6481942,"id":"Q6481942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377374$58E37F4D-2737-4343-B25C-3D3C19813605","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ae58cac4c2ce8618a52fa4fb8d2407aa3ae14f","datavalue":{"value":{"entity-type":"item","numeric-id":1957963,"id":"Q1957963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaba2ba106301fb3745062a6451e08e7482bebf","datavalue":{"value":{"amount":"+0.6925680041313171","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":"Q1377374$0444C973-BF3B-49AE-AF33-43BC606605E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca8eee5499d9d4f91fc7ab00921d45c0c0d6c84","datavalue":{"value":{"entity-type":"item","numeric-id":4398533,"id":"Q4398533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f762cf45facde4f1fc5503b4ad3c7499332862e7","datavalue":{"value":{"amount":"+0.6881378889083862","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":"Q1377374$D19F89B9-F32A-4B38-A593-3B140CA6E3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7c07728ea6f1a5f2995d4c90ba989c49338d27","datavalue":{"value":{"entity-type":"item","numeric-id":4879107,"id":"Q4879107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06a40bf95a1acc9e3de16084f5f2554cddf23e5","datavalue":{"value":{"amount":"+0.6785081624984741","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":"Q1377374$5A0F4F2F-8CE2-4687-A129-5172AEC0519E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cascade proof of a finite vectors theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cascade_proof_of_a_finite_vectors_theorem"}}}}}