{"entities":{"Q5951916":{"pageid":8128718,"ns":120,"title":"Item:Q5951916","lastrevid":47720185,"modified":"2026-01-02T12:52:23Z","type":"item","id":"Q5951916","labels":{"en":{"language":"en","value":"Three complexity problems in quantified fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687432"}},"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":"Q5951916$A4C7D9B4-D35C-4905-83EB-FD7157030AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc8269fff283d94c0218a8b71f07b1a9774411b1","datavalue":{"value":{"text":"Three complexity problems in quantified fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951916$2A75972D-E5CA-4572-A201-69E2A82A906E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fadb58cfa8ace305544fd4a88c6391420c1b7ebd","datavalue":{"value":"0985.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$2247C6C9-F04F-4BF0-A06D-B95D07B90399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f56b10c260ed957be0422d5b8b5f7607109c067f","datavalue":{"value":"10.1023/A:1011958407631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$9E9E1EB0-6D32-49C0-8FAE-44AC19021E2F","rank":"normal"}],"P16":[{"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":"Q5951916$A80CE28B-B381-489D-8292-BBCFA7B009E2","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":"Q5951916$C72376A0-5D93-4483-A02D-94C06AD8BC5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951916$12705A7B-A430-42E9-B926-6D0AF420DC9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83eb1cc545153d56cc695ac2be6eadfd94875ac9","datavalue":{"value":"It is proved that the set of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical. Also, solutions of some problems proposed by \\textit{P. H\u00e1jek} [``Fuzzy logic and arithmetical hierarchy. III'', Stud. Log. 68, 129-142 (2001; Zbl 0988.03042] are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951916$A1E5A95C-04DD-4913-ABCC-4B4D44FA8EED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951916$539E86BB-1575-4F33-9099-6EFD4651E94F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$EBBC0D92-885A-4A42-B0BC-6AD2F4CAD279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd51c7a3c118fd252a90f4541b11b3420f12ce79","datavalue":{"value":"1687432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$4AC1853B-0346-4288-A01D-F3892E1CEBBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951916$3E54B5B0-96EF-4D4F-B89C-CB9070E8C1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8ae7f96061fb60d38f42836c133f652df8f764","datavalue":{"value":"many valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951916$F3F0E8B5-9B8F-4C6F-996F-C88644CC5404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951916$C9749D05-0F63-4156-A822-669163AB1DE3","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":"Q5951916$DBC7D541-2146-4F32-B190-DE21466BAE57","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3b4581b189969f693a74175b2a52d226f6205607","datavalue":{"value":"Q56083688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$C3B21411-05A4-4FC6-8EF7-8F647608EAA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7122eb39be2f007e96aaaf54572903c5dc0b1887","datavalue":{"value":"https://doi.org/10.1023/a:1011958407631","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951916$04E42790-BA64-4050-9EEA-187EEADE7CD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d01c5f5a08647088c2c9641d1d36053b68c19ab","datavalue":{"value":"W1580732237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$129A6C08-AD08-4E81-BF68-8BE3499DBDF3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"44761a80cd05772133c4a38e7f57124e742d25d2","datavalue":{"value":"journals/sLogica/Montagna01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951916$AD02E88D-D72A-489F-884B-152356DC4C27","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":"d7b1de3c155aa0a66d80e60128c3c47dad9e91bd","datavalue":{"value":{"amount":"+0.8680901527404785","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":"Q5951916$9542ACDC-BFFC-4166-8596-76CBD6209778","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":"1141c89e3cfd42e42db7166c74cb74ac348981ed","datavalue":{"value":{"amount":"+0.8534530997276306","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":"Q5951916$EE4EDCF9-69E0-4D46-B670-679711239DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a22e00a70eaaee8df7737fd755ede0d760f9cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5951915,"id":"Q5951915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5f34cb68b84ba86c6571f1d45be03ce2630c85","datavalue":{"value":{"amount":"+0.8485538363456726","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":"Q5951916$2B7CFEC6-3DB8-4CB3-AFC2-301EC7BA9D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7aab553db5aa09871ef01565767f2866c03c0bc","datavalue":{"value":{"entity-type":"item","numeric-id":816857,"id":"Q816857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c05e132aad391a4454a7ad60325fe2bf781e48e","datavalue":{"value":{"amount":"+0.848553478717804","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":"Q5951916$DD8A97CE-7B23-4F27-85EF-A0FF23057EEE","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":"604753e53aeca144fdafe30632a1442bb129be44","datavalue":{"value":{"amount":"+0.8406469821929932","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":"Q5951916$0E054B2F-54AE-4D77-9505-A636088709F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951916"}}}}}