{"entities":{"Q474252":{"pageid":476019,"ns":120,"title":"Item:Q474252","lastrevid":62092179,"modified":"2026-04-11T03:42:50Z","type":"item","id":"Q474252","labels":{"en":{"language":"en","value":"A bijection between lattice-valued filters and lattice-valued congruences in residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6372714"}},"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":"Q474252$59310A3E-D1C2-4851-A1F0-590D7ABE3135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b88c6f6d6b7ed07905654157c2eb54075345b808","datavalue":{"value":{"text":"A bijection between lattice-valued filters and lattice-valued congruences in residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q474252$EB2267E4-56FD-4231-8869-18B2F36432D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d38369d59344f65b7aab0ac4ccdc2da433ebb528","datavalue":{"value":"1299.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q474252$BFADFC59-DFC8-43A8-993D-2CECFEBA856E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4b4bb6990bf7de1d51845f1ae1b91cd9ee18fc","datavalue":{"value":{"entity-type":"item","numeric-id":474251,"id":"Q474251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q474252$C0025EFC-3BF6-4503-A9C1-125F0AD7FF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb5506478e69d2f30bbe2cb28ed0e2a47f7ef9a","datavalue":{"value":{"entity-type":"item","numeric-id":316898,"id":"Q316898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q474252$1DA2C03C-B242-42AF-8F66-1772C165A3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2faf41b653b4ce7370b7b1c98429113ab85c81","datavalue":{"value":{"entity-type":"item","numeric-id":332911,"id":"Q332911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q474252$B7059334-3267-4023-9ED0-51F771CF48BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q474252$44402186-8F8A-45CF-9626-B10863C51864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baf80493586065a1490747a28bc7db754b9ba183","datavalue":{"value":{"time":"+2014-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q474252$7E854ECB-959D-4E60-A78E-0E0CF172F456","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"182c4a50a668c75406931e00a42e3878e5c5c2d2","datavalue":{"value":"Summary: The aim of this paper is to study relations between lattice-valued filters and lattice-valued congruences in residuated lattices. We introduce a new definition of congruences which just depends on the meet \\(\\wedge\\) and the residuum \\(\\to\\). Then it is shown that each of these congruences is automatically a universal-algebra-congruence. Also, lattice-valued filters and lattice-valued congruences are studied, and it is shown that there is a one-to-one correspondence between the set of all (lattice-valued) filters and the set of all (lattice-valued) congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q474252$93641674-0CD4-4D90-A385-DE53AB8DFB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q474252$FB1100BF-113E-4904-BB41-FD3B9359F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q474252$CB358E6B-1E42-4636-81CC-3C4CD141608C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0355a2848508e30097ead7880123f636172f59e8","datavalue":{"value":"6372714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q474252$41A96912-A224-4BAE-BC1D-ACA18273D50A","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":"Q474252$ECC22F43-4828-46B3-9417-4D832225D102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b70bb89969e6be6b978c780a0e1d843406df1e8","datavalue":{"value":{"entity-type":"item","numeric-id":5174608,"id":"Q5174608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5404d6239a7a587cd7ba3fe22698f0e6b00f1b","datavalue":{"value":{"amount":"+0.8147205114364624","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":"Q474252$825362C9-0937-4DFD-A6C7-58ABD43C4036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48113286f7497f92a17cd58a74a19b1deff7e05","datavalue":{"value":{"entity-type":"item","numeric-id":3405102,"id":"Q3405102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be27c49e8a0896f9900144eff4204edc604c6d82","datavalue":{"value":{"amount":"+0.8089288473129272","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":"Q474252$7C966AD2-AB10-4BFB-8FBE-633A904288BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfc82c7bacc646ca48f8f7d8e50d2ac6febb0ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308894,"id":"Q5308894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da90f27b65036adaebd675097c4e2620ab52ec3d","datavalue":{"value":{"amount":"+0.8069930076599121","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":"Q474252$539D0E34-BA86-4E0B-A344-39A2FE5EC394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af66164daae6d448b9112767a6472a05bdd3a1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3589910,"id":"Q3589910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b332e7f321164b646d8926952f30a1314a8f1e0","datavalue":{"value":{"amount":"+0.8053499460220337","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":"Q474252$8ED8F565-B272-4135-A45A-62E8EDD9CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4235d609e69e368b3ecb4ebf4daa8cd7d22b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4900983,"id":"Q4900983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f46dc03ea6a59ec987c7b609e7c9569ef29260e","datavalue":{"value":{"amount":"+0.8042720556259155","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":"Q474252$EF170FD3-17FF-45CC-B3F6-68CAF27AB132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bijection between lattice-valued filters and lattice-valued congruences in residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bijection_between_lattice-valued_filters_and_lattice-valued_congruences_in_residuated_lattices"}}}}}