{"entities":{"Q1759710":{"pageid":1770452,"ns":120,"title":"Item:Q1759710","lastrevid":51601172,"modified":"2026-01-19T00:40:45Z","type":"item","id":"Q1759710","labels":{"en":{"language":"en","value":"On the independence of axioms in BL and MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109488"}},"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":"Q1759710$FB4EF116-D75A-4DC3-8312-01C529E4B62F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3166c7cd30f162d4617d712a80255f0ff8ec56a","datavalue":{"value":{"text":"On the independence of axioms in BL and MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1759710$A423E445-2689-4314-8FB0-91A55C948062","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5b6d80bccef9a971872567170ff8d3c6ae759c4","datavalue":{"value":"1255.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759710$402618F7-FF77-4759-9843-771E9225288A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d0e84ccf37fdb7305408634c4906ddced0fd802","datavalue":{"value":{"entity-type":"item","numeric-id":831934,"id":"Q831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$6F17F3A0-A84D-4A02-8895-BB869E4F3655","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":"Q1759710$D07387B4-10FA-4F50-83FC-FB32168FC61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1759710$4339B3D1-7482-4971-B445-6F1DE511F5C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03f608ce5e73d703bcf2e23cc6295c25e004dd0c","datavalue":{"value":"http://www.nusl.cz/ntk/nusl-39084","type":"string"},"datatype":"url"},"type":"statement","id":"Q1759710$95D06F77-EE1E-47D3-985E-73A4183C6F3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b130576c331a4cecaa60d5da39ca5b7dfcacaf48","datavalue":{"value":"The author proves that the multiplicative conjunction of two formulae implies the redundancy of the first one of them in the Hilbert-style calculi of the MTL logic of \\textit{F. Esteva} and \\textit{L. Godo} [Fuzzy Sets Syst. 124, No. 3, 271--288 (2001; Zbl 0994.03017)] and of the BL logic due to [\\textit{P. H\u00e1jek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. The independence of the remaining axioms in both logics is proved with suitable examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759710$1E779D72-9831-4743-92DB-4243FB46E7D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30b222a178da618fc62133a4d4f30e820b6a19e6","datavalue":{"value":{"entity-type":"item","numeric-id":287344,"id":"Q287344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$180E2EFE-7276-4705-AB36-BEAAAA166F98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759710$24936AB9-EDC5-48A8-8AA3-0EB6D30FD87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b435203443fd07e34a87a250bcd0b7f96814396d","datavalue":{"value":"6109488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759710$8990ED9E-C530-4889-ADDE-CED980F6C6EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eba5196d873688963f69ea0bf91c1e44d6dfe6a","datavalue":{"value":"basic fuzzy logic BL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759710$85874085-85BF-467D-A2BE-528C507B1015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d49e27496d3f6913733e3820b9ea5662d574cd","datavalue":{"value":"monoidal t-norm-based logic MTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759710$189FAFC3-E6ED-491A-B9AF-B4DB0E6AD273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34b227c134079a5f2f59b5d26634d1d895d5e97","datavalue":{"value":"Hilbert-style calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759710$A6D75D28-386D-4403-A8BF-92EEF7F5C102","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$5EEB5E2B-AF69-418E-B262-674E211FA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$A6A606F6-843B-4619-8789-F8ABCCF54A5A","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":"Q1759710$9168E1F9-AE84-4A23-8DF5-1920B7C4E4EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e874c2268a7e90b262bb3b844f407a96d2d969dc","datavalue":{"value":"W2033092389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759710$185F2719-55EE-49CA-845B-F82403550CF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4852e602c32cc2dbed4c66b8738990e581525f","datavalue":{"value":{"entity-type":"item","numeric-id":816860,"id":"Q816860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$C1FD4FA0-8CC5-4A0E-A2BF-AD138744612E","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":"Q1759710$EE7B536E-2217-4D98-B3FE-12E7844B46D7","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":"Q1759710$42997D8F-4E40-42DB-BC60-373E30CD5EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$A54EB896-F604-45BA-8943-3A417697E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15bdb1b945a4e8e920899c7e882439ec76f9352","datavalue":{"value":{"entity-type":"item","numeric-id":4761817,"id":"Q4761817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759710$A694ABAB-C3CC-4CB5-B69E-89738728A81D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d71faced43f333c617da93752937d9f5ba3c07","datavalue":{"value":"10.1016/J.FSS.2011.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759710$CE8BC171-68B1-482C-86B0-A6B26898EDC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb189c3bede0df6f85302f82e83bbe19ad1515a4","datavalue":{"value":{"entity-type":"item","numeric-id":2486056,"id":"Q2486056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8fb9f6ca5bdc5ada13240ccb5779d1be02fba5","datavalue":{"value":{"amount":"+0.805627703666687","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":"Q1759710$5506D384-04E4-40CC-BFC6-42361DB3D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca28ff6aeee1ee873dac7fea4d4444e03202554","datavalue":{"value":{"entity-type":"item","numeric-id":4905680,"id":"Q4905680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9173e2c9358a8d83b7a182d59a73c6c3219674c9","datavalue":{"value":{"amount":"+0.7876947522163391","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":"Q1759710$C1EA0E7D-0D97-4ACF-A96F-FF87982796BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db218fcc3bab2b35c8939c01c8be5a2f15bf4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308b101f5e03c28d9507efa786f7e6f44862463a","datavalue":{"value":{"amount":"+0.7579448819160461","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":"Q1759710$ABCCDE9F-B81A-4334-B88A-79F3A43D51B7","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":"c3afd70dc04b3a5959ffb48cb4c157aa457ac2b8","datavalue":{"value":{"amount":"+0.7561984062194824","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":"Q1759710$BC62A50B-E200-48A1-8C79-FA05B02CD892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e06b26c0de6776507abed9107989db15af1e6ec","datavalue":{"value":{"entity-type":"item","numeric-id":2350487,"id":"Q2350487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5bf04e6ba9240a075aa580e83f8adc4070419a","datavalue":{"value":{"amount":"+0.7518016695976257","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":"Q1759710$371B27CF-2E65-4D3B-8C50-1661F06C61D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1759710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1759710"}}}}}