{"entities":{"Q2882375":{"pageid":2893100,"ns":120,"title":"Item:Q2882375","lastrevid":51458315,"modified":"2026-01-18T08:24:13Z","type":"item","id":"Q2882375","labels":{"en":{"language":"en","value":"Double approximation and complete lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030461"}},"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":"Q2882375$489F3B44-6B19-4D3D-9062-61C36512461A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73783ad768cc973a3e3b60a9486dbfbe8091734e","datavalue":{"value":"1268.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882375$C7EFE547-0D7C-4D0B-8BD3-50E88A0C1401","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67150ecfd93dd1f52b0be6ae0e810981922f7215","datavalue":{"value":{"entity-type":"item","numeric-id":280587,"id":"Q280587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882375$B0A8801D-5769-4E83-B052-8BDDEAB5474B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c7aa181c86212d942131ee599ba2e2f8e6a02d","datavalue":{"value":{"entity-type":"item","numeric-id":219626,"id":"Q219626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882375$F65274C4-1FA4-4EC7-92BC-3E47DFBCDB2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-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":"Q2882375$50CE239A-5131-4F6E-A990-27852CCADDC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dc3fe6779c85b9beafb31ecc9edf136e9d5e31e","datavalue":{"value":"http://iospress.metapress.com/content/b5r66j485155k703/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2882375$4D79ABA6-D97D-4DCF-8171-72154F11A2D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882375$E5571C2B-C9CF-4F47-B326-BFAF567BB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882375$BB742B4C-5700-4860-90AF-015160EEEFDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"492e6c0b0ee86350e751203bc14ab7e1de522831","datavalue":{"value":"6030461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882375$F85C3CA3-14E2-414E-9CA2-EAF1CDC96EC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe46657715cc6096ab87d19893dd8e5bc0b0ea2","datavalue":{"value":"rough sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$46B70D7B-DED8-44B4-B37C-600A1CC67100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c2e66c5188fcec41f67e908c4a9f28f9d88db1","datavalue":{"value":"approximation spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$405AC783-3AFC-4C60-B2AE-908D5AF22CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$81779540-7E5F-40E8-A51D-78E7CFF0BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$15E3780E-0194-4575-8CB1-BAC63E744F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7b1fb0073cd2dcfa06008c1c5c8a3aa2e65f7a6","datavalue":{"value":"equivalenvce of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$A31890A3-9D4D-446A-86DC-74E61B074879","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":"Q2882375$2BA349EA-328A-41F0-BD69-002533B7C13D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b60a066ae8963fcd13f0c1d8b373817e527be6","datavalue":{"value":{"text":"Double approximation and complete lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882375$7EDE8765-757C-45FF-961B-FBB86D6E6AAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882375$ED58A70C-C738-412E-AEF1-8C0864A21057","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e8bc878b86084ebf1de9e5bb4ba44a239ee54f5","datavalue":{"value":"The authors define double approximation systems as a generalization of approximation spaces and complete prime lattices as a generalization of complete atomic Boolean algebras. For a set \\(X\\) and two equivalence relations \\(R\\), \\(S\\) on \\(X\\), a triplet \\((X,S,R)\\) is called a double approximation system. A complete lattice \\(L\\) is called complete prime if a set \\(\\mathcal{J}_p(L)\\) of completely join-prime elements is join-dense in \\(L\\) and a set \\(\\mathcal{M}_p(L)\\) of completely meet-prime elements in \\(L\\) is meet-dense in \\(L\\). They prove a representation theorem of complete prime lattices by double approximation systems:NEWLINENEWLINETheorem 3.1 Let \\(L\\) be a complete prime lattice and \\(G(L)=(X_L, \\pi_0, \\pi_1)\\) be a double approximation system obtained by \\(L\\). A map \\(\\epsilon_{L,1} : L \\to \\operatorname{Fix}(\\pi_{0 *} \\pi_1^*)\\) defined by \\(\\epsilon_{L,0} (x) = \\pi_0^{-1} (\\downarrow x)\\) is an order isomorphism. Hence \\(L\\) is isomorphic to \\(\\operatorname{Fix}(\\pi_{0 *} \\pi_1^*)\\) as a complete lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882375$0904177D-04C2-4528-A0FF-A669FC36121A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882375$988DAB60-AABD-40AC-93A1-FDD9EC767336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e0a22e08b0229e5a136611a9003a41e74136fe","datavalue":{"value":{"entity-type":"item","numeric-id":5486077,"id":"Q5486077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525d73f4d0a6485a05d7484e455be031774ba394","datavalue":{"value":{"amount":"+0.7995412945747375","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":"Q2882375$46521D48-116B-4CCC-8375-7C18E634ECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cc874bd1c65212d7d5fd8abacdc9887ae1e88b","datavalue":{"value":{"entity-type":"item","numeric-id":990971,"id":"Q990971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c41703f3f2379148d3ff79e80c9ab38ea4f07f7","datavalue":{"value":{"amount":"+0.7966527938842773","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":"Q2882375$23CA5F83-AC49-4BCE-9F02-F46744AE5A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c92c2a2d3aff3d1d739733a5ca4a1ca63aed77b","datavalue":{"value":{"entity-type":"item","numeric-id":5757954,"id":"Q5757954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d7dac11eb3267ec4f6fe902438295da185b140","datavalue":{"value":{"amount":"+0.783462643623352","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":"Q2882375$C4969888-F1EE-4CEC-AB34-FEF017976DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cabb3fc409e8d69e9a05ed093c010b479a0a67","datavalue":{"value":{"entity-type":"item","numeric-id":2916302,"id":"Q2916302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c306d2bacc1a4a1de6b168eaaf6da139bc927b","datavalue":{"value":{"amount":"+0.7812532782554626","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":"Q2882375$E30094CB-A485-473F-9B2C-DF072E1608E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e8e7371dc813d59ffd4ad80f02c903e25eeca3","datavalue":{"value":{"entity-type":"item","numeric-id":3019857,"id":"Q3019857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e51bfa7f86985896daf48ccf5f587a38cfc2aa","datavalue":{"value":{"amount":"+0.7791999578475952","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":"Q2882375$1C7E138F-C694-40B8-A203-6217ABE8DD84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882375"}}}}}