{"entities":{"Q5944006":{"pageid":8120808,"ns":120,"title":"Item:Q5944006","lastrevid":93462422,"modified":"2026-06-05T04:26:28Z","type":"item","id":"Q5944006","labels":{"en":{"language":"en","value":"Redundancy and Helly"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1648955"}},"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":"Q5944006$898B4D93-1F6D-4A6D-8FF3-8F447847A47C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ef933c9e92c2c8a7ad39db4da6b9b2be81379f8","datavalue":{"value":{"text":"Redundancy and Helly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944006$A9B4B91D-79CD-4FF2-A608-3B68799F44D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d697d82658b603564503c173daeea474d50856","datavalue":{"value":"1007.52004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$3216D9EA-8709-409F-9030-C6F78DE28012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dbc842d5eaf927385a86766f1454e06a1c019ee","datavalue":{"value":{"entity-type":"item","numeric-id":204137,"id":"Q204137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944006$D96756D7-FEA8-4A70-B6FF-5C40AE988C87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944006$7BC87748-BB80-493F-BC41-F691E5787478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bec408f662d58bd068ba73021454b004ead26f23","datavalue":{"value":{"time":"+2003-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944006$7B6A7039-784B-439B-B973-F6371508EA01","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"640fccf5e624eaad46c57ce9e4754ba5ad3cb9f9","datavalue":{"value":{"entity-type":"item","numeric-id":181336,"id":"Q181336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944006$1E34BD20-80D3-4A0B-B83C-E61C98B825D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2385123772333afaee3f2a564b5a88a1933f934","datavalue":{"value":"52A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$AA6DBB21-8628-4E39-BEDE-EDB9662D1C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b10ffd28cd5081f5618864ddd574d7cd207e02bf","datavalue":{"value":"52C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$12D5D83F-0FA2-4339-9FCE-9EA59884A523","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76d995775086ab9ad33b4c42f0e5d99b07ccf0c5","datavalue":{"value":"1648955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$1E78088F-23FE-4DC5-87C7-1C9B15271D9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933616f2e65e49b2d40396892d143ea319621596","datavalue":{"value":"Helly's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944006$51C86187-CF20-4E56-B4FF-AE7237603A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b0bec844c4dbc56306438533214dfe9ed9a534","datavalue":{"value":"oriented matroids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944006$FF0EFBDF-8075-4C40-BFED-49555ED08454","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":"Q5944006$523BEDC4-C992-4E78-979D-F3548657155A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb5edd7d3984d20d6dad4bdd49682829280d4c10","datavalue":{"value":"https://doi.org/10.1006/eujc.2000.0487","type":"string"},"datatype":"url"},"type":"statement","id":"Q5944006$3D26B66A-F101-4656-908C-0152C982DFCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b3cfe79eadf3e42471a5d1a20ebade7fa3155f7","datavalue":{"value":"W2023687029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$7EBDBC3E-513B-4191-88C7-6BE53E2BD301","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0c265f75876d7c4e2aa81ec4caa24cedf9c22e","datavalue":{"value":{"entity-type":"item","numeric-id":1189586,"id":"Q1189586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944006$7D1DF17E-B45A-4375-B896-E43168ADD15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529c02be161cd7c24197c67d6e7b62bdc1e3f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4003411,"id":"Q4003411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944006$7D4A2CB2-1556-4340-89BD-9C41A9071447","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28216489f312364d40c7239e375d7586dd700125","datavalue":{"value":"10.1006/EUJC.2000.0487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944006$E527BE1B-AEEC-42A5-9193-750D7A115EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915b5792c84347fe306c17bd8292dcf99302b5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4395422,"id":"Q4395422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dcd87c17cd1fff47da6d0ee1180756cffde7b8","datavalue":{"value":{"amount":"+0.88158786","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":"Q5944006$B34410D9-182D-4453-8499-2D5CA46CDB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72dbbecf9c8bab1d3fecfb2539213d331ab605f","datavalue":{"value":{"entity-type":"item","numeric-id":4903783,"id":"Q4903783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f254cc460f3b31307d476e5967b90cfa16db0e98","datavalue":{"value":{"amount":"+0.82316625","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":"Q5944006$644344EB-7613-4DE2-9129-E40EB36D5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69a3739b083602b9b7db7a9a849e721156a4984","datavalue":{"value":{"entity-type":"item","numeric-id":3384112,"id":"Q3384112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d383ffa9c3d5bbb6f5718884c697d0fd9a02125a","datavalue":{"value":{"amount":"+0.7961738","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":"Q5944006$7F5B2CB1-F4E9-4C1D-9253-53433E97781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bcf5020f8cd178d01be11e436170fc735fa33f1","datavalue":{"value":{"entity-type":"item","numeric-id":2776422,"id":"Q2776422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6d149e167325340633b1e9975c96401550ed6f","datavalue":{"value":{"amount":"+0.79601943","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":"Q5944006$8B37222E-F496-46A3-AC9A-5698C935B5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9d34ce561e525eb0cc5752cd41eb8da3dc6afe","datavalue":{"value":{"entity-type":"item","numeric-id":5042765,"id":"Q5042765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f92ba017212b845b4acf11d416df8334893b70","datavalue":{"value":{"amount":"+0.79559547","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":"Q5944006$05D45EC3-EC63-497A-8DEB-730830D739DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2dac47c9a1bba1c94c75503f3178b853e1947c","datavalue":{"value":{"entity-type":"item","numeric-id":4386389,"id":"Q4386389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a036c031f2d19cf22e3d7055608f310c99ad76","datavalue":{"value":{"amount":"+0.7920439","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":"Q5944006$BA2CE85A-6E45-400A-87B7-1F7A05FC94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5691c2e5edcb56b8d9edf9f5211cc7ab78ef9e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2369838,"id":"Q2369838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b2805e990200e9c3fbdbcfb0abf94c082cd52a","datavalue":{"value":{"amount":"+0.7881868","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":"Q5944006$F109388D-D78B-457D-8B30-CEEB07AD56B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f1d115f0c933d4a6266168f62a1cc1ab5fdf94","datavalue":{"value":{"entity-type":"item","numeric-id":4322053,"id":"Q4322053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8296b43d159031b05d99989273f20808c1bee8","datavalue":{"value":{"amount":"+0.7814259","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":"Q5944006$365CD3D0-A71C-4BB3-9327-1827019E4875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba06434cb681ab1119b9be4d04600b243b3c37f6","datavalue":{"value":{"entity-type":"item","numeric-id":5224028,"id":"Q5224028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2ddfc28f9bec5231cb97f80205ce9a66dda4d6","datavalue":{"value":{"amount":"+0.7730315","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":"Q5944006$D4447312-FC79-4B9B-9454-621E45126904","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4da9bb916a19a4c027d9e73278e3844dfc3bbf7d","datavalue":{"value":"The main part of this paper begins with the deceptively simple Redundancy Lemma for Euclidean spaces. This states that if the intersection \\(\\bigcap R\\) of a family of halfspaces does not meet a specified hyperplane \\(H^=\\), then each of the closed halfspaces \\(H^\\leq\\) and \\(H^\\geq\\) bounded by the plane either contains \\(\\bigcap R\\) in its interior, or fails to intersect it. The reader will see that this can be proved easily using either connectedness or convexity. This leads to a very quick inductive proof of Helly's theorem for halfspaces. NEWLINENEWLINENEWLINEMoreover, because few properties of Euclidean spaces were assumed, the proofs carry over into piecewise-linear combinatorial topology, and the theory of oriented matroids. In this way, the author derives, among other results, a Helly-type theorem for oriented matroids and some results about systems of linear inequalities related to (and strengthening) Farkas' lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944006$55F04B7C-CD8B-4F97-BCE5-084F30B1A59A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Redundancy and Helly","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Redundancy_and_Helly"}}}}}