{"entities":{"Q1818104":{"pageid":1828846,"ns":120,"title":"Item:Q1818104","lastrevid":46862124,"modified":"2025-12-25T18:03:06Z","type":"item","id":"Q1818104","labels":{"en":{"language":"en","value":"Open theories, consistency and related results in fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383557"}},"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":"Q1818104$23C8717C-1EA9-4278-8E07-F6635CF7F96F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6b269bc3da9d4c94ee903df8a397574260118d9","datavalue":{"value":{"text":"Open theories, consistency and related results in fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818104$6FEFA8A6-D6A5-4345-B998-8619466D10A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c41fd81fce6f94873bca88927dd79475678d618","datavalue":{"value":"0944.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818104$AE8935F3-3580-4955-9518-1399FC38B44C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bca0887483e01fc159ce4ed37da9ea03b6cf52f8","datavalue":{"value":"10.1016/S0888-613X(98)00005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818104$C38774D8-59E1-4819-8E9B-42C5BB0138FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb720d9be176b2ef12cdfd20ae546aa8a15a7c96","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$119D1C2C-9116-4B9F-96A5-724B5A89E99A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$BEAB7165-E124-4495-B576-6297E3BE4FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-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":"Q1818104$F9C93057-DE9D-434D-96FA-A1676A53E375","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d70b23bef3bc0bcc24358f2b354c0bd85dbbba45","datavalue":{"value":"In order to set the background for the resolution method development and application in fuzzy logic, the author considers a generalization of \u0141ukasiewicz first-order logic having many important properties. Namely, it is shown that for this logic the corresponding generalizations of the deduction and completeness theorem hold. In this way a syntactical reasoning on truth values is provided, establishing a formal tool for the modeling of the vagueness phenomenon. As the crucial step approaching resolution, an analogue to the Herbrand theorem is proved as well, providing a good formal basis for resolution in the context of fuzzy logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818104$8B80B2B6-E019-4574-B1B5-CF6ED83FD67D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818104$EE510027-2755-49A6-9CE8-DE341E828311","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741217192e214fef7553a549a8a2e7ae62fd52c9","datavalue":{"value":"1383557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818104$7EEEBB27-31D9-400A-B5CE-26737DA8A868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818104$C528685B-7885-4C8D-9901-CCDC1CA13C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818104$CE82CE2E-2E66-45E5-BB09-4BFC7D2340DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818104$F2C44964-D132-42DD-AA88-D5D452C7D677","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$1F97B754-0A33-466F-A4C2-B8AC6C78DD32","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":"Q1818104$692A128A-E2F0-474C-AD97-B7F56933A073","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec77a1bf15de44222d80543f9156a424e77fc526","datavalue":{"value":{"entity-type":"item","numeric-id":4351227,"id":"Q4351227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$45B3DF0B-D5A1-462F-9ACB-24FFD9C1FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$AD47547E-FE6D-4034-BF1B-02CDF5712DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1080dd9e4b2a2a4614afe1d6b188eb9b008e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3994407,"id":"Q3994407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$ED68C58B-90D6-4E77-9C5D-F25661FCB968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64e9da1b941d6228892787b2e027024c75a19f4","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$E3DC5A2C-DD05-4948-9ED9-D90F98EBC672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b9ac70d9610020e619e6a461d3d3e14a74189","datavalue":{"value":{"entity-type":"item","numeric-id":4895004,"id":"Q4895004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$5AA5791A-279A-4BDE-994B-888D86BA74EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21087f42682e923c479e3fab03a73495385197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5686977,"id":"Q5686977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818104$17CBB1F2-679B-480B-B186-7E9AA3CEE8B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ad8702d084ac601752453e8b622e3bec0f3c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4944943,"id":"Q4944943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef4914d17aa40a8b50366c22bc9c2419ab9e9bc","datavalue":{"value":{"amount":"+0.8296455144882202","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":"Q1818104$C18618F4-EBF0-4B14-AB0D-FF88AD074CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e0d8fbee154eda62cfb024ac4cb2d1984edd18","datavalue":{"value":{"entity-type":"item","numeric-id":4351227,"id":"Q4351227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b4c7b2d23cde0f002bb8d56718b2d9a515350d","datavalue":{"value":{"amount":"+0.8137452602386475","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":"Q1818104$86033216-5195-4006-912B-781B0285E7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cd48477d8a389a72653379ff726bd2dc23246","datavalue":{"value":{"entity-type":"item","numeric-id":1312159,"id":"Q1312159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dca4da7ab0ca7b5c272a5eed57cd227cd80bd9","datavalue":{"value":{"amount":"+0.812728226184845","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":"Q1818104$2474D498-C9DF-4334-AA09-DC7F5ECEAAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2138a81e4faf110097903620f388c4aa31dfd2b8","datavalue":{"value":{"entity-type":"item","numeric-id":1095132,"id":"Q1095132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89435a0eba1d7ffe35606c0b8a206231ed5de67","datavalue":{"value":{"amount":"+0.8044010400772095","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":"Q1818104$DADF6788-38B9-4065-9A3C-8F94238B27D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818104"}}}}}