{"entities":{"Q5951915":{"pageid":8128717,"ns":120,"title":"Item:Q5951915","lastrevid":47720182,"modified":"2026-01-02T12:52:23Z","type":"item","id":"Q5951915","labels":{"en":{"language":"en","value":"Fuzzy logic and arithmetical hierarchy. III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687431"}},"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":"Q5951915$4076F4F2-5CE6-413D-9900-AD35DA2C3F1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e08316c24ced80c98d90db4f5d0bf04f8095781","datavalue":{"value":{"text":"Fuzzy logic and arithmetical hierarchy. III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951915$67CBF867-2E4B-4585-B6D1-74F5E8B7AA2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2064a52de5e599f752ad84867caf4bcbb3e5f89","datavalue":{"value":"0988.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$39A96CFB-D06F-4D19-BA3F-F70915A23A3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da750fed83d2615459b936159501595c15cbace2","datavalue":{"value":"10.1023/A:1011906423560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$3D90E223-F333-47A6-9DE9-786F1506BDF1","rank":"normal"}],"P16":[{"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":"Q5951915$0F8AC52A-1E4F-4AB8-B5E7-5E907D4DD1E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951915$831F0CCA-1C6E-4DD6-993E-3B4445A62ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c49da5ceb3346ef7151386d4abe919b4fba4873","datavalue":{"value":{"time":"+2002-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951915$B771E88D-0442-4B4D-8339-669C0F98AF60","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73c7555dbc7daec1322ae72843099c96f9f0543e","datavalue":{"value":"[For Parts I and II see Fuzzy Sets Syst. 73, 359-363 (1995; Zbl 0857.03011) and Stud. Log. 58, 129-141 (1997; Zbl 0869.03015), respectively.]   The author discusses the arithmetical complexity of the satisfiability, provability, and tautologicity problems for his first-order basic fuzzy logic BL\\(\\forall\\) and the subsystems of \u0141ukasiewicz, G\u00f6del, and product logic. For satisfiability and tautologicity he takes into account two semantics: one provided by the class of all t-algebras over [0,1] determined by a continuous t-norm, and the other one provided by BL-chains. He proves some new complexity results and surveys the known ones. In the end he provides a complete list of all possible results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$DCDE92DE-596E-429E-94A3-FF804E17E150","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951915$247AD176-E540-4404-88D7-83F915462873","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$D476998D-9303-402D-808F-FEF9E430B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$35994BAF-DA52-4A63-9515-6A1CA10859FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$D540E908-DCBC-428B-9576-6E2152F64BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$5EECEDCE-F4C2-4A06-A588-8D8858F91CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$B34CB552-9D46-49EA-AF9D-E6F14FF61C3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6618355e23f03690aea2407ee1cc02bb2b22128","datavalue":{"value":"1687431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951915$FF432CC7-8578-442E-9553-D7A38BA8347E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$9B9F4840-D3BC-468A-9C69-DEDF82C895EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$E9D8B27C-E791-475F-B291-BC50B6614EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$D1568421-2A89-4C7D-9403-A4EF8EA39337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$4E0B7689-7ABE-448D-8547-FDDC0B463E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951915$624DE84A-8E4C-433A-9B13-600519C65128","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":"Q5951915$0568FB11-1DFB-4FF6-AC28-1FB89FC0BF06","rank":"normal"}],"P1643":[{"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":"090a30302e778dc82f28ab94effbac1be93f3c46","datavalue":{"value":{"amount":"+0.888192355632782","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":"Q5951915$6A02A606-A82F-4EC5-8116-AC7ED7F2B8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c48c93f30bc652563487c99cd2781706a802a1","datavalue":{"value":{"entity-type":"item","numeric-id":3367322,"id":"Q3367322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663ad484ac923db587ba882403f7d5bd0104aeec","datavalue":{"value":{"amount":"+0.8734215497970581","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":"Q5951915$45413266-E213-42A7-960A-863CEE5BCE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d35e3a4cc62156451f306bf4234aca0a1b1031","datavalue":{"value":{"entity-type":"item","numeric-id":2466754,"id":"Q2466754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7739cfb1d85495d7ad9c7b3949119663e6ac09eb","datavalue":{"value":{"amount":"+0.8544683456420898","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":"Q5951915$8B1AC0D0-7619-41E3-B6EB-44C292F4D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58432f5ffa4e7f36ae1536fae4e1463220f8b792","datavalue":{"value":{"entity-type":"item","numeric-id":3553915,"id":"Q3553915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3398593c29d7302697472354e0e80646e1776eb","datavalue":{"value":{"amount":"+0.8544373512268066","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":"Q5951915$CBD3EA60-8B54-43FF-BA4A-CE7A9434FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7dda8e77e4bbe2cf0fbb8edbe55b5bcdfdb128","datavalue":{"value":{"entity-type":"item","numeric-id":1035656,"id":"Q1035656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81039d055ddad12b0e3796c9898933070215bd4","datavalue":{"value":{"amount":"+0.8498711585998535","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":"Q5951915$B5EFB496-AE87-4C69-A736-956B386AA09D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951915"}}}}}