{"entities":{"Q5957903":{"pageid":8134705,"ns":120,"title":"Item:Q5957903","lastrevid":47759458,"modified":"2026-01-02T15:09:43Z","type":"item","id":"Q5957903","labels":{"en":{"language":"en","value":"Complexity of t-tautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719218"}},"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":"Q5957903$BAA8C262-13BE-48EF-8474-47398AA21933","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aa9245583760e2777769e3a5c07f0313205eb89","datavalue":{"value":{"text":"Complexity of t-tautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957903$42EDFBB0-CDA4-427C-917F-C137E1DDD367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb01586b3259ead10456bb471a4edf4a344ee900","datavalue":{"value":"1006.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$447729EF-5D74-4AF5-899E-CBE0966BF1B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91051473d88a0d50be93b500e9ded1099dc17033","datavalue":{"value":"10.1016/S0168-0072(01)00048-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$3AC6918B-11DA-4299-82AC-EFF034FF1078","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$89A3CFF8-503C-4A54-AEA8-0F8CA8320F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$D85E2894-9C8D-4451-BF52-ECE8F7228FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$4CE5FAA0-C6BE-42D3-974B-982EBFEC1543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$547DE906-30DB-4326-96A3-40BD5BE4E43D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$B85EA9FC-8F54-4455-804F-5A950091E6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9a31d1239ba34237427d8bb3517c194d569b08d","datavalue":{"value":{"time":"+2003-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957903$B4325940-E38D-4249-8663-08E4EC387818","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9238812b65b74bc3b125b676b54b202897c7ba5","datavalue":{"value":"The paper focuses on propositional fuzzy logics based on continuous triangular norms (t-norms). After a brief overview of some principal results in the theory of t-norms, the proof of the main theorem is provided: The set of all t-tautologies (i.e. tautologies w.r.t. arbitrary continuous t-norm) is coNP-complete. From this, it also follows that the universal first-order theory of t-algebras (i.e. algebras \\(\\langle[0, 1], \\star, \\rightarrow, 0, 1\\rangle\\) where \\(\\star\\) is a continuous t-norm and \\(\\rightarrow\\) is its residuum) is coNP-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957903$E0D61250-9DCC-41F5-960D-7995F03E115E","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":"Q5957903$4707D4C5-093B-4F12-AADD-4BF3B54EB66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$4C984F85-2A21-4269-9DC8-1E9DF9BBE4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$AD55C2AB-39C7-4561-B14A-6F2BB7763786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$1997A1E2-6329-45B5-BD43-16B8FFDC7D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$049ED092-98D4-4F84-B6D9-8DF41C8E776D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"739b53ebf0bfb96bc1092c30aeb8a5422a021874","datavalue":{"value":"1719218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957903$03962D4E-BBD2-4ADF-ACE3-D90A14677898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957903$F9E20243-4F9D-4FF3-BA47-C5DD48274CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66703a869b644c6a07bd81bf1d2c562dcfb4024","datavalue":{"value":"triangular norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957903$68400D9C-64FC-4EA3-B487-FFE71A0B9807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2084cc29e670eea4c95dc6235db08eceb1eb8c","datavalue":{"value":"NP completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957903$EDF491AE-D1F3-4851-8A25-ED9F445DF6C2","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":"Q5957903$9EDA7F0D-E084-44BF-B5C2-BF7AEDA661F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$0308CD68-D598-4C08-9066-1B7499968EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a2774b4cbe7788f6094a50a42299262cb8a67","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$4F33C48E-2033-4D6D-86C0-812A723A3C00","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":"Q5957903$A2BADB59-3A16-4C46-9489-2F27C7401CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b54a2dd9a2085a52d684d7962240e64f022dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$F4A9178D-191A-481F-8B34-F4A3865218F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$7349D86C-DCF0-47EB-B7B7-EA85CE16CA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$D9468707-4C73-444B-A421-80EDF5892D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a585079b2e8fc225f38e3eea0cb24e5bd6cc8e","datavalue":{"value":{"entity-type":"item","numeric-id":771978,"id":"Q771978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$B4D60A62-DE44-4C4D-B87F-A414711A89AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06690c618624cef0088363bc3664b96f0edccd2","datavalue":{"value":{"entity-type":"item","numeric-id":3293719,"id":"Q3293719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957903$27B5AAC8-0C29-4C71-9648-5182ED72BC15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b518682764aac9e5df19f409f746a2a8c40a50","datavalue":{"value":{"entity-type":"item","numeric-id":2492318,"id":"Q2492318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518a7d116ab5cb58bfd24de7732bfbe269f77026","datavalue":{"value":{"amount":"+0.8082260489463806","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":"Q5957903$AEA14FEB-2B47-4ACC-B340-BFDC1D253512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a0ce02feb9342700729fde177f6c9445f0029b","datavalue":{"value":{"entity-type":"item","numeric-id":816865,"id":"Q816865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3ac513ca7a7e1a48662a6f7ae56dee7ba4b95f","datavalue":{"value":{"amount":"+0.804874062538147","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":"Q5957903$E5ACB663-1789-4C78-9251-95560838E0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ad886a329c4c39f08230506aa2c2dc9a4ca8cb","datavalue":{"value":{"entity-type":"item","numeric-id":1765100,"id":"Q1765100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5f92c2afe3704f52ea03a036abc220138ded92","datavalue":{"value":{"amount":"+0.7815303802490234","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":"Q5957903$D2951643-EEFB-4172-A5D6-45A353A3B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ef87375c3f41a58793152369c8ae8411119d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3623218,"id":"Q3623218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7e3e6cdc042306c2a69dd2da18fcb8f20ce751","datavalue":{"value":{"amount":"+0.7776392698287964","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":"Q5957903$7FD6D822-83B6-499B-89E8-B320797ACCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a994f53f0bc05afdf68c72f41e37e27d35ec16","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb691f1ec97fa016de564caaaf324c752ce9e82","datavalue":{"value":{"amount":"+0.7768725156784058","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":"Q5957903$5401B56F-CB55-419F-9547-228DD90336E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957903"}}}}}