{"entities":{"Q1025925":{"pageid":1027773,"ns":120,"title":"Item:Q1025925","lastrevid":57322656,"modified":"2026-03-30T12:12:46Z","type":"item","id":"Q1025925","labels":{"en":{"language":"en","value":"Pruning processes and a new characterization of convex geometries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5569053"}},"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":"Q1025925$A0637601-21E4-44BE-89E2-D8341B288024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00de37d9d7d6590b624b4b1db5fb4456378353f2","datavalue":{"value":{"text":"Pruning processes and a new characterization of convex geometries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1025925$DCA1403C-E88D-4ABA-9FD0-28B1E245D486","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b537b8cdd2a5fe1b4cfd5adb2d78e3412054e3e","datavalue":{"value":"1171.52001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$C5DB2C9E-1D4E-4A39-AFCB-602D46F441AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4527b0583ca079dab2719cfd1088b0041c4dd162","datavalue":{"value":{"entity-type":"item","numeric-id":251050,"id":"Q251050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$48A545C5-15E3-4CD6-8CC0-36A7D98E59DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f710f7e1d894c4ae737144ce1fbcb7f3fc75f44c","datavalue":{"value":{"entity-type":"item","numeric-id":716323,"id":"Q716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$9EFC7BAE-F812-45A1-96D1-4A106B1F7F2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$93247863-7A48-4543-B2EF-66FA79E4EB07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f66a2f08b182488ffaf8c1a4c74cdffeb2d3409b","datavalue":{"value":{"time":"+2009-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1025925$74F4F331-398F-4401-BDD2-719D4A8E7B8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"184f85418d715097276cdb7f800cd42455713e0d","datavalue":{"value":"https://arxiv.org/abs/0706.3750","type":"string"},"datatype":"url"},"type":"statement","id":"Q1025925$F39A2E45-97F8-46E4-B25D-A09A0FC3A53D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67ae3c3a50e58c078c483fd748f08299683612da","datavalue":{"value":"Let \\(E\\) be a non-empty set and \\(\\mathcal{N}\\) be a collection of subsets of \\( E.\\) The pair \\((E,\\mathcal{N})\\) is said to be a convex geometry if \\(E\\in \\mathcal{N},\\) \\(A\\cap B\\in \\mathcal{N}\\) whenever \\(A,B\\in \\mathcal{N},\\) and for every \\(A\\in \\mathcal{N}\\setminus \\{E\\}\\) there exists \\(x\\in E\\setminus A\\) such that \\(A\\cup \\{x\\}\\in \\mathcal{N}.\\) Given \\(A\\in \\mathcal{N},\\) let \\( ex(A)=\\{a\\in A:A\\setminus \\{a\\}\\in \\mathcal{N}\\}.\\) The main result states that \\((E,\\mathcal{N})\\) is a convex geometry if and only if for every \\( D\\subseteq E\\) there is a unique \\(A\\in \\mathcal{N}\\) such that \\(ex(A)\\subseteq D\\subseteq A\\) and that the latter property holds if and only if for any collection of real numbers \\(p_{i}\\) and \\(q_{i}\\) for \\(i\\in E\\) such that \\( p_{i}+q_{i}=1\\) one has \\(\\sum_{A\\in \\mathcal{N}}\\prod_{i\\notin A}p_{i}\\prod_{j\\in ex(A)}q_{j}=1.\\)  From this characterization of convex geometries it follows that a removal process on \\(E\\) (that is, a procedure in which the elements of \\(E\\) are removed one at a time according to a given rule) is a pruning process (that is, a removal process such that every element which is removable at some stage of the process remains removable at any later stage) if and only if for each \\(S\\subseteq E\\) there is a unique set containing \\(S\\) which is achievable by the removal process. The authors also prove that every satisfiability problem gives rise to a convex geometry and that, conversely, every convex geometry can be obtained in such a way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025925$46104B23-724C-488F-96AE-79BFAA52A8B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6965204df8aa209777bcea77aa301c94426925b1","datavalue":{"value":"52A01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$34E94FA2-26DF-4FD2-AE0F-3F6088F75F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ad054842843bfbc4eebef8b55ebe215528c6d3e","datavalue":{"value":"51D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$450FE892-63D4-41B3-8182-C88DB923F3EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"090805c652ae506f620c296a6b6f82b59e039f83","datavalue":{"value":"5569053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$73C08127-9120-46F5-B8DB-B1A62B2A54AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615e4ef26cd8b8f366807f45f4af26bcdb9744fe","datavalue":{"value":"pruning process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025925$45B9A1D7-6BD0-4FA3-A6F3-1A58AFC9ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280221cde86c143eb3701b731897dd2ac31e952e","datavalue":{"value":"convex geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025925$FC299A51-D2C8-4D69-B653-A42AA0602148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025925$487DAC9A-2418-4D4F-AA5D-4A404DB0C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814488a1fa1952d4fb2715f4a86178decf1f714c","datavalue":{"value":"removal process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025925$D1568A3C-9C2E-4A92-89CA-EABE48B3D94E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b318ed39513978bb8b4ec7cd640a287b23ae9923","datavalue":{"value":{"entity-type":"item","numeric-id":242552,"id":"Q242552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$57785045-074D-427E-B109-01FD4879BC4C","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":"Q1025925$F090449D-EFF0-4A38-A0D3-482662796520","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7075d76a527a005879219599babc749740c7daa","datavalue":{"value":"W2963275355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$465F62F7-33FD-4429-8C42-DDE2B8440909","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03ed455aa03a39582e8642c14989042ccc1554e","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$0F1B5B21-3D5C-41AE-B50A-37160958B182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4694eb60504ab7f31db02baaaa476bae21cb42b5","datavalue":{"value":{"entity-type":"item","numeric-id":2744569,"id":"Q2744569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$7EC6378B-BD99-4461-813D-3247D974F607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc1c57e156386d898b655976f55f37addc49837","datavalue":{"value":{"entity-type":"item","numeric-id":4012035,"id":"Q4012035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$E920C967-BDCE-40EE-9AC8-2987F6EABAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$12A9B634-C2FC-49B2-BE69-2645B5795F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b2263f8d8211ce059177d1aaaff38dc2b95526","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$93DE8184-8104-4854-BD38-95BBB38A19C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82f8f0a0581ff56e964bb0725fc6508ed7041ee","datavalue":{"value":{"entity-type":"item","numeric-id":1774214,"id":"Q1774214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$A3D74656-FBAB-457E-8854-AE713E422E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a95a249707029a1e3141905b00ce1b52cb5f38","datavalue":{"value":{"entity-type":"item","numeric-id":2646956,"id":"Q2646956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$49EFE6C9-48FA-41BE-9DC4-434326EEE05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95934222a6de7a586d201fcbdb4e17ec0b5dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1065391,"id":"Q1065391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$C1BC1158-EF02-4C7C-BF6A-650957C6AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf76f397cd0da9a5fa67a02622e20265124f551","datavalue":{"value":{"entity-type":"item","numeric-id":3293678,"id":"Q3293678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$90E22F16-9FA5-4534-9954-21F4DDA2EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee1da2ed0d9fc89035a00aa2406805e3af10633","datavalue":{"value":{"entity-type":"item","numeric-id":1433007,"id":"Q1433007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$87DD103D-F11E-425E-978D-2B6B4ACBF0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f23d0c5223e02709604fa270c3abdcbf40ddd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3346344,"id":"Q3346344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$01B96B9A-CDD8-4980-8E8D-596B4D347BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8097640b1f4ba9eec43837bd81d298e8358613","datavalue":{"value":{"entity-type":"item","numeric-id":810029,"id":"Q810029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$C8D59099-3146-4675-AE5D-65BAFC6B5EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eae2ee9828d648f6d47352c2a1f2c25a97a4c64","datavalue":{"value":{"entity-type":"item","numeric-id":1902543,"id":"Q1902543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$32B48248-7594-4AA0-BCD6-78D582548A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a33b20debaeacef7c569b8776a457416cb1de8","datavalue":{"value":{"entity-type":"item","numeric-id":4250203,"id":"Q4250203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$916E0AED-898A-4428-B3E9-7349C6D8D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e198e652154c7368e9208da91f4aeb404c1afcc6","datavalue":{"value":{"entity-type":"item","numeric-id":4526978,"id":"Q4526978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$A7755288-B2DD-4A33-8066-81D55DF19FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$13D96C70-54E3-4345-86E1-582237CFF404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb7fa317da754aa616b0bb87da23f0f84db101c","datavalue":{"value":{"entity-type":"item","numeric-id":955013,"id":"Q955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$CC565182-5D9F-4BE7-BB0D-F56C84CA6490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea2e3a0bd9f78e5b63cf1514302cdbf7d2f3ce8","datavalue":{"value":{"entity-type":"item","numeric-id":1870233,"id":"Q1870233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$2D66A8AD-A2CE-4B6B-85BF-EF108E1A3784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3957a98bea6ed50b629229d602275ef38b5d03","datavalue":{"value":{"entity-type":"item","numeric-id":5501326,"id":"Q5501326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$4D6FFD5F-D4AF-435B-86B7-D4FCD6AF4260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d0bad7ad40feeb0d7b02e4fb5736b947c07ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1924140,"id":"Q1924140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$0030C08A-2C9D-4277-9733-1592B475F77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c85e7805261ca51fd3bc4210f50d7e2dad5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4700097,"id":"Q4700097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025925$CEE3B9A8-5762-461A-B635-DCB932426B97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e301ce609ac6ae045c7ff34afd6d6f53726ba83d","datavalue":{"value":"10.1016/J.DISC.2008.08.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025925$3CDD30C2-7CFD-4004-95C9-E057281F93F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d1ef6cb2beffe74e3b8620b83e6c13627dcb58","datavalue":{"value":{"entity-type":"item","numeric-id":2665967,"id":"Q2665967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659522c1717ee977e28429d95970aafb9be4c726","datavalue":{"value":{"amount":"+0.7354169487953186","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":"Q1025925$F48B7C97-534B-45CF-ABEB-2101933E7E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ed7af27b4036644a8fb99c8d4fe8e39df856e3","datavalue":{"value":{"entity-type":"item","numeric-id":1065391,"id":"Q1065391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d2ad91ef8cc54c1c7f985576359b772bdd069c","datavalue":{"value":{"amount":"+0.7297927141189575","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":"Q1025925$A4F4891D-6D64-4E8C-80DC-9C26D0F907FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d28e3611947f71fc267f2b5a10e4c427176e414","datavalue":{"value":{"entity-type":"item","numeric-id":276205,"id":"Q276205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7066bef7068ef9209e7b7652b8d5ddf8d8961f9","datavalue":{"value":{"amount":"+0.7096145153045654","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":"Q1025925$F4AD9A51-A5B6-4CDD-A027-0BB214DD71D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57ab092ebd55b3ea617cb81ae16c0e09e6888f1","datavalue":{"value":{"entity-type":"item","numeric-id":880923,"id":"Q880923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cfce4f8d35ac7a923ed307ab7fab17e6b0e10e","datavalue":{"value":{"amount":"+0.707089364528656","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":"Q1025925$7E469C6B-1B4F-429D-8181-705F80A39381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc6bb99fd7c2f484202f70aed60698673a251be","datavalue":{"value":{"entity-type":"item","numeric-id":705549,"id":"Q705549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712327f9b664940c97b3f239251b86695e2e57bc","datavalue":{"value":{"amount":"+0.7033247947692871","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":"Q1025925$3C6798C2-6190-4026-BA7E-A5FA6B0EC865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1025925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1025925"}}}}}