{"entities":{"Q2666126":{"pageid":2676869,"ns":120,"title":"Item:Q2666126","lastrevid":57415605,"modified":"2026-03-30T20:57:08Z","type":"item","id":"Q2666126","labels":{"en":{"language":"en","value":"On fuzzy deductive systems of Hilbert algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7431430"}},"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":"Q2666126$6C6C964B-B839-41C5-A478-A8D683224F30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df977f638bc389489e330d99fc1b1f11bff367d2","datavalue":{"value":{"text":"On fuzzy deductive systems of Hilbert algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2666126$F3A4EC7B-F290-432D-A7B2-6731688DF557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3624d98f172cb7d507fd853067de89d0c169eeff","datavalue":{"value":"1489.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$C80A4567-3B5F-4F4B-92E5-676F72FE1700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b88473caa6362674486e83d474be84a4155f8803","datavalue":{"value":"10.1155/2020/6910726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$4F7E250D-4EFA-4A75-90E6-0032BA1C1143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"197e7de8a8c9f14625938299276e4075e2aa4ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2054651,"id":"Q2054651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$ECDC130F-5779-40F8-ABE0-86BDD641980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e93e20605bd0825d34ac74081cb3de74902e39f","datavalue":{"value":{"entity-type":"item","numeric-id":2036516,"id":"Q2036516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$90F7AAE0-0901-472E-94C4-740656E79012","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1161f1c5e15f789e455ea41c68faa855c239c787","datavalue":{"value":{"entity-type":"item","numeric-id":355633,"id":"Q355633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$5C342F84-321E-4BCE-8F8F-8B8E7DF34AD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f53e581bc6c8548385593d14c707eee88697e00c","datavalue":{"value":{"time":"+2021-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2666126$49AC962E-B41B-4A10-BECA-C605A159A88A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae3b4eadbee3565e2652e6934993cf53acadf98f","datavalue":{"value":"Summary: In this paper, we study fuzzy deductive systems of Hilbert algebras whose truth values are in a complete lattice satisfying the infinite meet distributive law. Several characterizations are obtained for fuzzy deductive systems generated by a fuzzy set. It is also proved that the class of all fuzzy deductive systems of a Hilbert algebra forms an algebraic closure fuzzy set system. Furthermore, we obtain a lattice isomorphism between the class of fuzzy deductive systems and the class of fuzzy congruence relations in the variety of Hilbert algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666126$2D6F673A-557B-4302-9EBE-12E9D0467227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$8DBFD3A9-02D5-4303-BA4C-EE0D419E8F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$8A8CF204-7FAD-491D-8CBE-D882DEE31BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$0DC7F79A-B624-4A0F-B580-469A7FB1F6D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe99ea6f4c68088561c8219ea84e83ef5e39ed7","datavalue":{"value":"7431430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$C8AAD064-F7EE-4A13-BD94-3836796D8D52","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":"Q2666126$9D3FBC2C-2302-49E5-96A9-214D3931D3CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06589dc3ca3252612c45c2bf0e360a057faee63e","datavalue":{"value":"https://doi.org/10.1155/2020/6910726","type":"string"},"datatype":"url"},"type":"statement","id":"Q2666126$E050429E-A813-4D4E-9999-3C88013EFF57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ac3a35ff971934e65bb83bf017c957a1aa88868","datavalue":{"value":"W3082193910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666126$8ECB8A94-8493-4B73-8B19-2F8C60EAC802","rank":"normal"}],"P223":[{"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":"Q2666126$B34F42EF-3152-4193-BF57-D96442DD9BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092aa05c6d5645447fdaa64dff1a5967692a690e","datavalue":{"value":{"entity-type":"item","numeric-id":2538686,"id":"Q2538686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$ABFAAA99-4B0A-423E-84DE-B642CEE8FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a6201360287da83702907131d7a4c173ab0ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1331046,"id":"Q1331046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$5EC83534-B2B7-40AB-BC0E-47CCF9A896D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c51dd68dbf0b3abe3e9d8f00c7cfdf75d08912","datavalue":{"value":{"entity-type":"item","numeric-id":5204267,"id":"Q5204267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$6D90CC10-7ACA-4FD2-8B0B-A051347C8B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1df0174cd268d86b03bd21d89b401ebcc9662","datavalue":{"value":{"entity-type":"item","numeric-id":2322272,"id":"Q2322272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$6E5DFC0B-B9DB-4AA8-9F77-48161CFE0CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af877a0bbefd1025f9ba44f84c34f6bb898f91b7","datavalue":{"value":{"entity-type":"item","numeric-id":5204254,"id":"Q5204254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$CD0C24D7-B43F-4AA3-B7C4-6406C8886604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ffb5f4261f77d0eff534e6fbd52c0f2408cf75","datavalue":{"value":{"entity-type":"item","numeric-id":2322268,"id":"Q2322268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$249EFE06-8D11-4D95-9D3F-A5AF24D4E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07fbcbf57463c190a30c73d4b9f45ac206ff82c1","datavalue":{"value":{"entity-type":"item","numeric-id":1292086,"id":"Q1292086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$7E4110BC-084D-41B0-AA8C-F40C2582B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b7c547ca698d214c8695ec8ee94ee1911629b5","datavalue":{"value":{"entity-type":"item","numeric-id":5204259,"id":"Q5204259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$05AF0BC7-E210-4368-99B3-4783D049D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a72a5cbbfc13f18b8e827e5ec39e5abe367f3c","datavalue":{"value":{"entity-type":"item","numeric-id":809113,"id":"Q809113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$A9DB25FC-99BA-4840-897D-1AFD09507699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a24964581330e4ae2f65395bb88073e1a3a771d","datavalue":{"value":{"entity-type":"item","numeric-id":809114,"id":"Q809114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$4425253D-D499-4FB2-A1F9-69C9425F8C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfec4ab10b546f78a943ac85f48b32cf10309000","datavalue":{"value":{"entity-type":"item","numeric-id":1787451,"id":"Q1787451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$7DBF5962-58FD-424D-9BEF-34DC81C1F22B","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":"Q2666126$F7F9E12A-0FD4-4244-A4AD-A4C29E07EE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0f9dcdff7ef833cc32af0bc0780ed63a235df7","datavalue":{"value":{"entity-type":"item","numeric-id":1113987,"id":"Q1113987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$87A62587-218D-47EE-8E9C-26AB6B120812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7234ce5a736deb8e32f644f4ddc6917abbf47fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3708845,"id":"Q3708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$0D518297-BE9D-4F6E-94D6-85BC986BF860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bc2e0b0ba8e76b17ea76d40574c2b1c8de3de3","datavalue":{"value":{"entity-type":"item","numeric-id":3831070,"id":"Q3831070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$B52D9D42-72CD-4816-87F1-BDDC20309643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708bcf47a36d3db7d9220d17d37ea87820809826","datavalue":{"value":{"entity-type":"item","numeric-id":1911870,"id":"Q1911870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$9E23CB2A-FCC8-4AA6-86CB-F76B6BA419BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90ad833fdf3a096140f48084183cde461a18a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1357099,"id":"Q1357099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$B7C6F75B-9B0F-4D3C-AC4D-A35D3B937BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501ef938cab15e3919026d5a6e9c82cb343d1cec","datavalue":{"value":{"entity-type":"item","numeric-id":1864519,"id":"Q1864519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$4500288F-5A73-4769-A7A0-5849B3A6A364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99efa85c444ce442df78c9e8300333595c762957","datavalue":{"value":{"entity-type":"item","numeric-id":1175746,"id":"Q1175746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$C68DC45C-8970-482D-9AB2-15850E693578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822ff4942ab68e168e8e4c098a55de031b5e336c","datavalue":{"value":{"entity-type":"item","numeric-id":1357099,"id":"Q1357099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235fa452c14aa07e8d4ba9261f806baaff137962","datavalue":{"value":{"amount":"+0.8791666626930237","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":"Q2666126$69FF7113-997D-4B15-A43C-81D4664191C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccbe240e281c243996d6fee4dbc07999bc5f372","datavalue":{"value":{"entity-type":"item","numeric-id":4263736,"id":"Q4263736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ca92f1df13bb96208a7319441bf5d5bac7b482","datavalue":{"value":{"amount":"+0.871941864490509","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":"Q2666126$A3EC5943-4EA2-4F1C-B2D3-8488F802162B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318f6fbe5c5e9d6bcfe6ebebcf082f670ed1191c","datavalue":{"value":{"entity-type":"item","numeric-id":4532043,"id":"Q4532043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086f21af264dc8c9c8f79a3db6e46fc648d53fa4","datavalue":{"value":{"amount":"+0.8703581094741821","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":"Q2666126$422B9E55-06AB-48AE-BD2E-97990B2639E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120d76759fd5aa5fd13ace06390a43c18f8a4ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3023680,"id":"Q3023680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086f21af264dc8c9c8f79a3db6e46fc648d53fa4","datavalue":{"value":{"amount":"+0.8703581094741821","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":"Q2666126$DB09F459-E172-4A14-8C1F-3771F2D0B077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363cd071d47b3efbc767e04dd1e650379673f12e","datavalue":{"value":{"entity-type":"item","numeric-id":815183,"id":"Q815183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10f67db5e2acd8e3ef4d9e51c48a1a2494be9d5","datavalue":{"value":{"amount":"+0.8564122319221497","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":"Q2666126$4879706E-2CE4-4FEC-98E4-71A3A51FC0FA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666126$F1419712-C79D-447C-8665-8346775BEA63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2666126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2666126"}}}}}