{"entities":{"Q2337894":{"pageid":2348637,"ns":120,"title":"Item:Q2337894","lastrevid":56733918,"modified":"2026-03-19T12:36:46Z","type":"item","id":"Q2337894","labels":{"en":{"language":"en","value":"A proof of the standard completeness for the involutive uninorm logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7133919"}},"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":"Q2337894$D9573A6A-6C40-4809-8DC4-AC074C2E36C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57afe3fac4b05771fb9d1a996f9eba888b319791","datavalue":{"value":{"text":"A proof of the standard completeness for the involutive uninorm logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2337894$37CD24DF-47B2-4F31-9E85-6C0FE516D62F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eacd0a361094ab10987c06bd64617059be6c30e7","datavalue":{"value":"1425.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$351441C1-BFDB-44E9-8221-11ACD01190AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"536de48637c235d08fe3e176612e997aba7a2c18","datavalue":{"value":{"entity-type":"item","numeric-id":83462,"id":"Q83462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$616CA4A0-E9E0-42E0-9CFF-F9BD83DF436C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d288236ae88f14a580eb60644cb4af1d4accf45","datavalue":{"value":{"time":"+2019-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2337894$5C37CA3D-F172-445D-9A99-B25EF67397D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa75ac558e41d55f35894ea2ca13033af86e937c","datavalue":{"value":"Summary: In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic \\textbf{IUL}. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for \\textbf{IUL} is proved. Then the standard completeness for \\textbf{IUL} follows as a lemma by virtue of previous work by \\textit{G. Metcalfe} and \\textit{C. Tsinakis} [Soft Comput. 21, No. 1, 175--189 (2017; Zbl 1396.03060)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$97F6B05F-0796-4500-9492-A5A202FC6AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$B72EE49F-1E9F-466F-86D2-0E965CDC2B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$76997C94-58A7-4698-AABF-3A6BDB010568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$749ED2A4-7532-4F1D-9665-601BA37A5ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$3BFE0AAE-7FF8-4CAF-B8ED-D85919DEF57E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4da67fc2606ea3e9e5410839ac58a7156d03e3","datavalue":{"value":"7133919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$3F3F34B7-5D55-4959-A8F9-38D616FF0DD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81574493566183bc84a60a64489e3d3d85b230","datavalue":{"value":"density elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$C9458777-3AE9-4565-9B1C-B22F6D807CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb1b9e1380e5aa8171358b50b70d05cbedb3613","datavalue":{"value":"involutive uninorm logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$78829EEA-8F47-4F6A-BCDB-CDB303F38B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$26C4CDC5-5FB1-4D97-A5E4-D60BED4A57D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b855c7e6cf6783b3e136fa87208ef32f4ff7","datavalue":{"value":"semilinear substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$781474AB-245D-4348-9014-0F630E92B2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337894$1A2C8D22-9BB2-4BB5-83CD-9650BB04198B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$6A2C13A9-AE67-44D2-B933-31EAB0F31CF4","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":"Q2337894$63063B97-1B1D-4A13-B855-A4594A0BC175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"843106ed7c0fe5013f61a5829f68603df5d3cca3","datavalue":{"value":"https://doi.org/10.3390/sym11040445","type":"string"},"datatype":"url"},"type":"statement","id":"Q2337894$94373611-98A8-4D00-B19B-30F3ADCF5BFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36524c734327036e8f8bc6cedbb4972062a18c8d","datavalue":{"value":"W2925139875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$3971EB43-66D5-488A-B155-722B02BB56E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$AB90AD82-91EA-43EA-AC98-BBECB0C59B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$072FDEFC-D761-4434-9876-35B2A01233A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$5A2AFF0A-5D3F-45F5-9619-5B4844D09AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$2E173C2C-571E-4F71-B39F-9CF96BA4BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$D44E5F5F-845E-48B5-822C-3216F0BA3800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$6A0B517A-23D6-4095-A45F-F15AC79200BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$B2E89F88-DBA5-433D-B06B-1C3845FFF969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$B0AB4C1E-D952-4E75-A4EE-1DEDDD05B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$7BE186E0-5CD1-4F8D-9ADB-75F1FA1148FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$94F7A1B2-8A9F-49DE-8F63-790F04811F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$EA2A0839-28BC-48B5-A0C2-FF95D84D15EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$A4CAD52F-3C2C-4148-8CD6-C08B52D7584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d12abfae0606d4328f96e653eed2c6b54d3080","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$CA62A744-EBDF-4BC6-BA87-8DD36DA2B986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af79ddc601acc398c2585143ed2b809a318aa23","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$709DBA21-98E1-4FA6-955E-5B3FDCB81B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14c720a89735ee42898fcd7d5ec5f32fe030b8f","datavalue":{"value":{"entity-type":"item","numeric-id":279424,"id":"Q279424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$7936E5FE-3BB5-45B1-A835-DEDA9AA72BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$FABDA568-CFB9-4746-AE71-DE43014AC58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e18b47c933a4a3b7c9e2d6ae957526ef2a50947","datavalue":{"value":{"entity-type":"item","numeric-id":2335051,"id":"Q2335051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$F43F06C3-74B8-4294-9725-4A091FC50F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$0178FCC0-7861-4B18-9345-3A18A9D8DA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1def82d1eb507c4e958e634a0bfb5203749a80c7","datavalue":{"value":{"entity-type":"item","numeric-id":1699744,"id":"Q1699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$D47AA9AF-54D7-4020-AC96-75B36E9452DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c13b01a6661c3de998d504c6bc19f396fe63467","datavalue":{"value":{"entity-type":"item","numeric-id":271692,"id":"Q271692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337894$554E6672-1C90-45D0-9EF6-EBD4DE912D09","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f61219dd394967ed9cfece30b42ad232d14609c4","datavalue":{"value":"Q128141752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$12302CF0-4CD8-4322-840E-426E1287DE1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65798a85ad64e582a83a2044b12308114035ef79","datavalue":{"value":"10.3390/SYM11040445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337894$5CAD292B-8087-4ABA-A126-E73F78E181AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb390bc25606ad034e14ab399dce2df173d1aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729836b67b497d67823902425a8b1e6d8eac86a4","datavalue":{"value":{"amount":"+0.8276264667510986","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":"Q2337894$12DBC892-A3E5-4FC6-B901-2BFDF04402E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364a1492ef1af0460fb7e2002f048c09458a676e","datavalue":{"value":{"entity-type":"item","numeric-id":894654,"id":"Q894654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3877377c53238e95b3c7b048052503a85e517c6","datavalue":{"value":{"amount":"+0.8264907598495483","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":"Q2337894$486461C0-5918-4C54-977C-EA5085E93AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3c7127b4712778ef874d210ca3db25e96346e9","datavalue":{"value":{"entity-type":"item","numeric-id":454982,"id":"Q454982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58303074b85e6b1c67dd2ca47daeedcb11d7b7bc","datavalue":{"value":{"amount":"+0.807616651058197","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":"Q2337894$C8C8F52F-DD8C-4255-843C-3123A1723948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b97264f1e77a0a61d8f9490ff16c1742833d88","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cc5571556713edb1600243bf36a9bb7d601cbd","datavalue":{"value":{"amount":"+0.804597795009613","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":"Q2337894$E8391C95-5F5F-4828-8891-0A29CD4D2C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc399e8874c597f0cb83a43b17314d1031c9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2335051,"id":"Q2335051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bed3fc047299ed9c807d4b7617b9bdc6c66bf9","datavalue":{"value":{"amount":"+0.7974969148635864","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":"Q2337894$0E4D583F-71E9-48EC-9E77-0D3E2E370601","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":"Q2337894$E6075E3F-EBE2-4AF8-A78B-A3E5743B0463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2337894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2337894"}}}}}