{"entities":{"Q6909871":{"pageid":20961118,"ns":120,"title":"Item:Q6909871","lastrevid":97049462,"modified":"2026-06-05T13:07:38Z","type":"item","id":"Q6909871","labels":{"en":{"language":"en","value":"Generalization of filter theory of \\(\\mathsf{EQ}\\)-algebras based on lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111847"}},"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":"Q6909871$98EEB216-6B5B-4156-9DBA-7FDCB7505D93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"819dc1a6f2c4d7bdc76bbc1a2b1c838b90c20af6","datavalue":{"value":{"text":"Generalization of filter theory of \\(\\mathsf{EQ}\\)-algebras based on lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909871$99CF7595-CBA1-4FF9-838F-E75A7DFB0ED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a3ba658943c63bc88f923a20c4c0bdda21ec4b0","datavalue":{"value":"10.1093/LOGCOM/EXAE049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909871$3A5CF3BB-CCA9-4EEF-A36A-A299D0A68D1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ae9f5a35f6511516ada689d91a1bce5768be20","datavalue":{"value":{"entity-type":"item","numeric-id":6909870,"id":"Q6909870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$3A378C99-BF64-4984-A857-15DA2B44283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a860bae79e7453ba5247f89f35b601dbec718ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1017375,"id":"Q1017375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$66907C85-3E0E-4C8D-9FF9-77AE120ACEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"592e573a69ba167e33d9c7e79ec1d157b7ee19e6","datavalue":{"value":{"entity-type":"item","numeric-id":467973,"id":"Q467973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$17031FE5-D353-4E74-9BD4-B42DA2449528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$BD8A0DC0-0FFB-4DF6-9B51-EEDDEF0C839B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909871$C815E57A-7C99-4F0E-AF56-B5836811ECE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1de06440db7301775749e3314e7a95c8a57f493","datavalue":{"value":"The authors introduced the notions of \\(\\mathcal{L}\\)-prefilter and \\(\\mathcal{L}\\)-filter in \\(\\mathsf{EQ}\\)-algebras. They studied the lattice structure of these filters and prove that in an \\(\\mathsf{EQ}\\)-algebra, the lattice of \\(\\mathcal{L}\\)-prefilters is a complete Brouwerian lattice, and hence it forms a Heyting lattice. They also prove that \\(\\mathcal{L}\\)-prefilters induce a relative \\(\\mathcal{L}\\)-equivalence relation and \\(\\mathcal{L}\\)-filters correspond to relative \\(\\mathcal{L}\\)-congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$EB76C0E2-DAC5-4CD7-8268-280D58143453","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$946497F7-642E-4E85-BDD5-5F8C1E4678CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909871$A6C30D8E-3694-4B17-87F2-FCD3247BAF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909871$8D66F41A-123F-4FEB-BAB8-9816186F2931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae2bdac1a27418bedffd3319b827d9a951b32be2","datavalue":{"value":"8111847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909871$81D53B72-95C7-4A39-9394-CB691D491085","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6e1c337dad9be43eaf720c28442d45c7bfb032","datavalue":{"value":"\\(\\mathsf{EQ}\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$72818264-BBF1-42FC-9CD2-CA8A8B6DBA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca4594d30b58f389d3d5dd751de6b9cf8358f2f","datavalue":{"value":"\\(\\mathcal{L}\\)-prefilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$9FCB175D-66FB-4BC2-A381-637B7C0784CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb121add7e7edbb78be899d50e0ed0fe44ee776d","datavalue":{"value":"\\(\\mathcal{L}\\)-filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$0B4D0D70-1134-4528-9618-E5A5C21AE141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$95C34D31-1A66-4ED1-8230-BCC01B6BE9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a53d1c33a009278cd63aad4f8653f03fb24aa86b","datavalue":{"value":"Heyting lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$E35190E7-5DC4-4AE4-B84C-32230101CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28be0b87514a87ae66f65855c75569e981859ee4","datavalue":{"value":"quotient \\(\\mathsf{EQ}\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$2242F055-1DF7-4FC4-9728-62BBF7C70B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5674f2d307a5ae2182d570c893058077b7ddee44","datavalue":{"value":"homomorphism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909871$323B50FF-415A-4BCD-86D1-B24475037606","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":"Q6909871$7BCB2B34-B857-458F-B940-684ACB3D9FC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f27d8f4b58dd660ad1413ec56b35a2739e9bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":6043013,"id":"Q6043013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$46DAA2D1-51DD-4ABB-A474-C0C35D858003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791656975fc709c78bf4f27138e98c2aef254993","datavalue":{"value":{"entity-type":"item","numeric-id":5136487,"id":"Q5136487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$CAA42CF4-6317-409C-A655-43A334294E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$DDC0B6CE-4A10-482D-9B89-592CB2485B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5ec0ed0bb85036ed5504b72adf9bb5075906c4","datavalue":{"value":{"entity-type":"item","numeric-id":5389349,"id":"Q5389349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$ACECF157-405B-4421-A875-71A2223C948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6af2265bde7d347cb35ad7c6bdbf8aee90e007","datavalue":{"value":{"entity-type":"item","numeric-id":2953505,"id":"Q2953505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$3989A8B8-C851-43D6-AA9D-2A8F749FECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307f28ff66077a7cb3cab56026b41764ff5f033b","datavalue":{"value":{"entity-type":"item","numeric-id":4497327,"id":"Q4497327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$E73ADA52-28FE-4ED7-A9C9-B5E0B137F314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c50b83e024c659e1624b09e45157354ce048527","datavalue":{"value":{"entity-type":"item","numeric-id":1697347,"id":"Q1697347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$A277283E-AD4C-45C2-8E94-F61FDDD8B186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b59b258a2cf81f56bf053c2901f0bfe431fa97a","datavalue":{"value":{"entity-type":"item","numeric-id":989677,"id":"Q989677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$41F2EB49-891D-4605-B39E-BF6C054E4656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d15cacfca59fb90c1ad35d05a95e3bdc0d7115f","datavalue":{"value":{"entity-type":"item","numeric-id":409738,"id":"Q409738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$3F8715C5-DA89-4294-B78D-5F2BC1AEC69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$B1F457A6-DBA4-43DC-BAF0-E61D97172B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$099C8B80-FD3A-4C25-8489-DB5DEEC968A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6e2e689cc53800b431ccf976f6fa77f5a5b95e","datavalue":{"value":{"entity-type":"item","numeric-id":1896311,"id":"Q1896311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$48234BD8-3873-46B8-A630-95EF4956D251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb56542a6f997cc2794dfd11b796ae95d73fdaf5","datavalue":{"value":{"entity-type":"item","numeric-id":2568235,"id":"Q2568235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$0A1CB304-D90D-429F-BAF7-FBB992B87093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e75dde0c5162a34b41cdf280cf374476611dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5136456,"id":"Q5136456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$E7533467-5604-4D4C-8503-E046844AC979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae669b9f50410168ab075cc13aa83a48d7e9f368","datavalue":{"value":{"entity-type":"item","numeric-id":2486058,"id":"Q2486058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$0FAF3709-C1C7-4DF0-BC6B-A643A42D128A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b80dc0b6e2c3fc5bf0a091f6fcb5e307a16844","datavalue":{"value":{"entity-type":"item","numeric-id":2568271,"id":"Q2568271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$FAC6F4F7-1AA1-47BA-9D4F-36A73324277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca7b129b4a5adb88b24bf5dd1c9647552811108","datavalue":{"value":{"entity-type":"item","numeric-id":2013846,"id":"Q2013846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$1C296278-8893-480A-9ACC-9B81F8DB9FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364127aaa8aa7a37a24d8a892ef4dcd4cc99b788","datavalue":{"value":{"entity-type":"item","numeric-id":1043290,"id":"Q1043290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$65ECFD35-298E-4AD9-B4A9-D5D533464285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33339f52b6fca12c3ec126bbd697db1ad6ca94fe","datavalue":{"value":{"entity-type":"item","numeric-id":2885176,"id":"Q2885176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$B4CF41FA-73C1-4D32-B532-0EBA1E47E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fe9261b5cdafbb14cffd0b0baf093717a04ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5064830,"id":"Q5064830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$E8E8DDB1-6184-48AC-A987-1609630DB665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5eefecdf0a16b05b4943fc08f72d5850facd24","datavalue":{"value":{"entity-type":"item","numeric-id":2041255,"id":"Q2041255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$FF7D3FE2-14C9-454E-8EB6-1539D4E177C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$F88555EC-FE19-4164-8A10-6E86146CD293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$88AA2F00-7C00-4943-99D4-68CEF933A955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee00bdf5ef256a18c8f7372c4502700ac5fcc05","datavalue":{"value":{"entity-type":"item","numeric-id":4888136,"id":"Q4888136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909871$E94B2CAB-DAEE-4728-8D87-25FCA8EF0DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6909871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6909871"}}}}}