{"entities":{"Q1406864":{"pageid":1417604,"ns":120,"title":"Item:Q1406864","lastrevid":68847498,"modified":"2026-04-13T02:28:05Z","type":"item","id":"Q1406864","labels":{"en":{"language":"en","value":"A triangular norm-based fuzzy predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1975916"}},"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":"Q1406864$EA1F9754-C4BC-45F2-9C02-F2A49FCADAE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ebaec11b3a443ebdfeb3abd6d8e7000db9ae57f","datavalue":{"value":{"text":"A triangular norm-based fuzzy predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406864$82D5C24C-DE3F-4637-A4DA-A1D2E4C0296F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098d24f9f2353ef237ded38737abc74bc3eb5993","datavalue":{"value":"1030.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$F36BF934-51A9-48DF-971E-69806A77FAF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5803144b9d6f185c8ab37cc9a2dc92806bb111","datavalue":{"value":"10.1016/S0165-0114(02)00376-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$44A43E36-1278-407D-A254-3C2F37DC427C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e88dbf9065940ba8d324423678d1b288d812a33","datavalue":{"value":{"entity-type":"item","numeric-id":703373,"id":"Q703373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$FF44770A-93A1-40E2-AF28-F8074F231C62","rank":"normal"},{"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":"Q1406864$904D31CB-0366-4F5F-A153-18073080EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$4B85D8AD-3786-4867-80E5-6C11A9EACCD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$6F2F1B28-9D4F-403D-A4E4-91E5E5A5A550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b94a5cf09fd14fa518de7a1d8323cdfa9e9933","datavalue":{"value":{"time":"+2003-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1406864$F7A0EB92-A0FB-4AB5-8A0B-B8A9821600DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c772fd6a11aa2f3f2b7c997ef94bf08c0549a07f","datavalue":{"value":"The paper is a continuation of the authors' paper ``A triangular-norm-based propositional fuzzy logic'' [Fuzzy Sets Syst. 136, 55-70 (2003; Zbl 1030.03022)], reviewed above, and it presents a formal system of the predicate version of this logic. It is based on the nilpotent minimum t-norm \\(R_0\\) (left-continuous non-continuous t-norm) and is a special case of the MTL-fuzzy logic (monoidal t-norm-based). The underlying algebra of truth values is called \\(R_0\\)-algebra and is based on the residuation and negation with respect to the \\(R_0\\) t-norm. The paper contains a detailed presentation of the system and a full proof of the strong completeness theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406864$5C338ADC-994F-4B83-9287-45CC2BB811F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$FA504E6B-1725-4D3C-8F47-021F12D0CE8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4400719b57073877f82a990427b09c8a2db2a580","datavalue":{"value":"1975916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$950105D7-1E1B-4BEE-A729-6C2DAE155692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406864$82E1368A-0D51-4B8E-85AA-E747893632E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406864$FF926A21-1DDC-4521-8212-30660EA642E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66703a869b644c6a07bd81bf1d2c562dcfb4024","datavalue":{"value":"triangular norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406864$DEE28343-CF78-4E59-B76E-956CB94AF71C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"817a4218d888fd1bc0574b4c5903d64bf80b7d67","datavalue":{"value":"Q59306589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$44BF4064-7748-4DF6-83DC-09C20F135DDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b94695dfa82835fe743dcf7fcbe410a40ce7658","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$84C912E0-57EC-491D-8EC1-65F74830AAFA","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":"Q1406864$BE8F8753-4E02-4F98-90DD-1A6392A236CD","rank":"normal"}],"P223":[{"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":"Q1406864$3599FFF0-7381-4618-9FCC-979975D418A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c1a79d380773cb8c7614cf932aa71136aaa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1914454,"id":"Q1914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$83C02424-5B07-4DD2-9C2C-7632A59E079F","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":"Q1406864$1A1D2915-DDD9-4FE9-9E9E-A8747A458135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ade6ac64be06a2b78795ee4bef71a43924c99fc","datavalue":{"value":{"entity-type":"item","numeric-id":5571687,"id":"Q5571687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$D892B057-945C-496C-9A44-20C3E37815F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$0285BED3-4B7B-4392-8561-AA0F792FF088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fb91d70de4b777eaf66fecca4cbb87ce00f116","datavalue":{"value":{"entity-type":"item","numeric-id":4156432,"id":"Q4156432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$293DA4B7-FCBC-4D89-9B2E-9B7305717E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d138b7b309d07661da7bad2c01c7e4192d916252","datavalue":{"value":{"entity-type":"item","numeric-id":1299619,"id":"Q1299619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$4F51A98A-0203-44A5-9FE7-AA33BBE43DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0daac6861281b1838ef40045f720ee4bb52a7a7","datavalue":{"value":{"entity-type":"item","numeric-id":4133792,"id":"Q4133792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$2E83B4F2-2F19-4A54-96D5-A5DE16027F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6240387d1f22d12014301b49d4f390878abd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$6FC35D7B-00BA-496D-9507-E2CB4D9DC1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241dea232e2afaec68941a1929505261f91c6361","datavalue":{"value":{"entity-type":"item","numeric-id":1769649,"id":"Q1769649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$F553A9B7-1FE3-402C-9B07-F63C9E1AA4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9a3cebdfa62f3dcc7e42626b38712a64beb987","datavalue":{"value":{"entity-type":"item","numeric-id":1197874,"id":"Q1197874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$A755D3A7-283F-41CA-AA55-98E53A529605","rank":"normal"},{"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":"Q1406864$810FA8F1-5A0A-45A4-9116-C83DDBC50971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$06C4249F-C8B5-469A-B253-2EC2C1531D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$30C0F08C-3248-4BF4-B349-EFC8848968B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a817582b2877161f03cbeee337693db2be6016bd","datavalue":{"value":{"entity-type":"item","numeric-id":1376008,"id":"Q1376008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$CF409511-EA22-4671-BE32-80046F6FE132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567843d971d43b6199fe8a195969287e5cfdff89","datavalue":{"value":{"entity-type":"item","numeric-id":5926401,"id":"Q5926401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$84D7FB51-BCB1-4802-8763-2499CF42F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a28b0c3a08cdd76acdfca8ec1dd4de3917a77b","datavalue":{"value":{"entity-type":"item","numeric-id":1873678,"id":"Q1873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406864$9DE74AF7-7FA6-4CDD-A3C9-1CECF726C658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d65f7cff4691f0a50708aac85ccf45208c4a68fc","datavalue":{"value":"https://doi.org/10.1016/s0165-0114(02)00376-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1406864$A7DABCB4-EE6C-45A8-8644-1A577539338E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cb5152a92465e617cd4aa422e7e2bfc64b07f83","datavalue":{"value":"W2042847577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$526EB45D-8231-44D8-ABF0-D3BE23F963C1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a0567c55dcb2afe977a14bff8ad48312b927e504","datavalue":{"value":"journals/fss/WangWW03a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406864$AA7EE9C8-D26F-445A-80DA-CE99C35998D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b78d06e461c1845393d87726cbc2a21e9be7940","datavalue":{"value":{"entity-type":"item","numeric-id":1873678,"id":"Q1873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bac01ce0b79c3d00cfeb4666c47ec100ad2097","datavalue":{"value":{"amount":"+0.9394497871398926","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":"Q1406864$E4ECF887-DACF-4933-AAD2-E46C1830F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586384b297f8dfad63571ba7d735ecf3cb46d608","datavalue":{"value":{"entity-type":"item","numeric-id":2270233,"id":"Q2270233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa4ee9ca80b6747ca200ff71679c43bd6911efe","datavalue":{"value":{"amount":"+0.8612276315689087","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":"Q1406864$F72D6974-F288-4B32-88D8-E53E1BD935CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6547b50ec711f4be887c22000a1b7cb1f20bcb13","datavalue":{"value":{"entity-type":"item","numeric-id":1299619,"id":"Q1299619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3213b15368046f3c1ccc3e78a66b5e55b3e20ba1","datavalue":{"value":{"amount":"+0.8594761490821838","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":"Q1406864$67B957D3-660F-4FCE-A2B5-0F3B9E022880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d942ac5c4b774e59fc528c37912530b99ee7798f","datavalue":{"value":{"entity-type":"item","numeric-id":1914464,"id":"Q1914464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937ffbf4dac1b83b93b076259290691ebc46e915","datavalue":{"value":{"amount":"+0.805389404296875","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":"Q1406864$575B2893-51B3-40CD-894D-3A3815D46220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4085a3beb10f5c03fef7c8ce09590ff0e047ab1d","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2db7405c93c616a04053ee831c4d0e0a43ee12","datavalue":{"value":{"amount":"+0.8025925755500793","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":"Q1406864$9C15DF98-B5B4-49ED-BCEC-D7BC66C222F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A triangular norm-based fuzzy predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_triangular_norm-based_fuzzy_predicate_logic"}}}}}