{"entities":{"Q558198":{"pageid":559965,"ns":120,"title":"Item:Q558198","lastrevid":62732454,"modified":"2026-04-11T08:05:19Z","type":"item","id":"Q558198","labels":{"en":{"language":"en","value":"Normal forms in BL and \u0141\\(\\Pi\\) algebras of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184851"}},"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":"Q558198$97B8FBCE-3E85-4AD4-AADE-8B51E28E456F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8207b32965f70218c2e371d41305eadbd01f0948","datavalue":{"value":{"text":"Normal forms in BL and \u0141\\(\\Pi\\) algebras of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558198$ACD7D9AB-A23C-45F4-967E-A08DEFA76C25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca7d9e9e415242517808e9c4455c7c8982fb411","datavalue":{"value":"1077.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$949C8913-F798-4CA6-B876-198B3CB0B925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558198$3642079F-AF3C-4C9A-9BCB-FC987945FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558198$1A95DE44-6472-43B1-BF7C-E33404FFF48D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558198$6D628D79-4580-4B59-A953-DE510F38FDEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558198$CAF52EA5-A110-4B3C-BC2F-2778B70A603B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b177cbe658a3c252bb27679b485948b22ed6421","datavalue":{"value":"Let \\(L\\) be a BL-algebra. The paper deals with a description of an \\(L\\)-valued function \\(f\\) which is extensional w.r.t. a similarity defined on its domain. The description is given by means of an infinite expression using either supremum or infimum (so-called disjunctive and conjunctive normal form). For both normal forms it is proved that they represent precisely the original function \\(f\\). Further, the so-called dicrete normal forms are introduced which contain only finitely many terms. The author shows that the disjunctive (conjunctive resp.) discrete normal form is an approximation of the original function \\(f\\) from below (above resp.) and gives a bound of the quality of the approximation. At the end of the paper an \\(L\\)-valued extensional function \\(f\\) is considered where \\(L\\) is now the standard \\(\\L\\Pi\\)-algebra. Then a so-called additive normal form using \u0141ukasiewicz sum instead of the supremum is introduced. Finally, the quality of the approximation of \\(f\\) given by the additive normal form is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q558198$007B5E3D-8C01-47C9-96EF-37D3408EE4D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73c361858eeca6952519ea8b552aad4cb33e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558198$8B649BA7-B857-4A83-B623-53997F373D41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$C560E3C9-E8A7-4268-AEA4-58A6CD0514B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$1BF20491-76D6-4D7A-8610-B020991D2470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$78F321A6-DC0C-4390-AC45-99C4452B68CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c064a09100776a97a2feb56b0ca8f6317fe70a7","datavalue":{"value":"2184851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$7B4DC09F-0E11-4169-B0CC-11C997BF224A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72c325750045fdbdce6142b99041e9bb3b0d380","datavalue":{"value":"disjunctive and conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q558198$9AB7E829-6E12-4BCD-9E91-49EA65FA2616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q558198$11EE1FB1-7396-40EB-8FE3-419857FAACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79651052cdf796d32696a8db2fe05d87b5432917","datavalue":{"value":"extensional function","type":"string"},"datatype":"string"},"type":"statement","id":"Q558198$5544076A-1374-4C7F-8C5A-A7834AD6DDC5","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":"Q558198$9427AB36-96B9-411E-BC72-33FB788E1BF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d20465c3247d4ec4bcfd6660531993de070a712","datavalue":{"value":"https://doi.org/10.1007/s00500-003-0274-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q558198$8779DB4D-A10E-4E5C-8030-062B6BFB8EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89a353ea1d2f2b410fd62fdf3cec9565aaf63b68","datavalue":{"value":"W1534821987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$2D59939C-3AB3-478B-877B-F861FD9EC672","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10de4d397778da6c2ab50f82499bfe53ab1deefd","datavalue":{"value":"10.1007/S00500-003-0274-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558198$A482646C-F803-4912-B341-3D47F7489CDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49905c7d029a292a3810d153f74d54a1f62477e4","datavalue":{"value":{"entity-type":"item","numeric-id":1428677,"id":"Q1428677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1b9f14154214ef7ee3b1e56aa795aa371adf86","datavalue":{"value":{"amount":"+0.910089075565338","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":"Q558198$B7C5A580-8696-4BAD-B76B-20D2E0507794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfb3524863d263aeec0c22372a51b4c1d743bff","datavalue":{"value":{"entity-type":"item","numeric-id":3143835,"id":"Q3143835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bf5bed6a3bffc86e821ad767ecf212e8b5349a","datavalue":{"value":{"amount":"+0.8808103203773499","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":"Q558198$2F155B9A-8622-4E56-A987-0D9DB4F8C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe78848b20c1dc7d24d4200097a6ffcb25f2df2b","datavalue":{"value":{"entity-type":"item","numeric-id":816868,"id":"Q816868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bd998c4cefeeb58a5e9a2f3d28028c70861567","datavalue":{"value":{"amount":"+0.8660427927970886","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":"Q558198$AEF09558-49FE-47C6-8292-7F05147F9245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf594865b8411cf38724331e5b4e522a20d2d5f","datavalue":{"value":{"entity-type":"item","numeric-id":3508722,"id":"Q3508722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8899de39056cce2ca748d60cc42eae16e2de8062","datavalue":{"value":{"amount":"+0.8310273885726929","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":"Q558198$8C3056DA-6280-4F4D-A906-0CEA99471CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac61054c8b0a52ec96d686557bc3e762a437e0ae","datavalue":{"value":{"entity-type":"item","numeric-id":4670560,"id":"Q4670560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a948bdecd8ecbba9041d66cb481ac8a97a8561d5","datavalue":{"value":{"amount":"+0.8295416831970215","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":"Q558198$F3A940B1-806F-41A3-80F1-A6A8EC5029A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms in BL and \u0141\\(\\Pi\\) algebras of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_in_BL_and_%C5%81%5C(%5CPi%5C)_algebras_of_functions"}}}}}