{"entities":{"Q1312159":{"pageid":1322909,"ns":120,"title":"Item:Q1312159","lastrevid":67141662,"modified":"2026-04-12T15:34:04Z","type":"item","id":"Q1312159","labels":{"en":{"language":"en","value":"Fuzzy operator logic and fuzzy resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488233"}},"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":"Q1312159$8EC452F5-810A-4938-96D8-4E2F4FA55A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e6477ac602ca69e85b99d8aff84768952c451c","datavalue":{"value":{"text":"Fuzzy operator logic and fuzzy resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1312159$53DB3D71-C338-4AA5-81DC-433CA4F5C1F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7204df9adea5a305f2ebbfbcfed7884427847be1","datavalue":{"value":"0801.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$8FFC8A7A-F6D5-46B4-BEDB-A36EEA7FF900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"109d89e373b491271bebd7f2a16d14c24b2e7305","datavalue":{"value":"10.1007/BF00881864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$2CAF572B-9A82-486D-84F5-93AE60515637","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d280e15e8de16cf00e901ee69612fe69a687a79b","datavalue":{"value":{"entity-type":"item","numeric-id":1193839,"id":"Q1193839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$4B97A7FC-3291-4452-98CD-80916EC12CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fa3b6ed1a0804ca7f578902a321ad72f63cabe","datavalue":{"value":{"entity-type":"item","numeric-id":1312158,"id":"Q1312158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$2BD000FB-AA18-4D96-9295-C9AF804FA797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf325f852b6657c873f5f14cf7af722b717f18e8","datavalue":{"value":{"entity-type":"item","numeric-id":254205,"id":"Q254205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$D8FA0B6C-52F0-4CEF-BB62-560E9ADDB74D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$DA0D667A-4EF6-4AC8-97CD-E07A1EED1BEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1312159$CCE465A9-BF7F-4108-A327-30AFB4EEDAB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43fc655c6c7075f708680b53df9d5ec72e2efa8a","datavalue":{"value":"The paper presents an attempt to adapt resolution-based theorem proving techniques to fuzzy modelling of uncertainty. Within the first two sections, some general arguments are supplied to justify the approach. The FOpL calculus (Fuzzy Operator Logic) is introduced in the next section. Then, the resolution principle is redefined in the context of the FOpL calculus, and its completeness property is proved. Some additional results and examples are presented in the final part of the paper. The reported research could be an important step toward developing an appropriate theoretical framework allowing the design of new theorem provers for uncertain knowledge bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$CC728BB8-1DE4-48A2-BA0B-15EE6791766E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$01552772-7ED8-4145-AADE-A6CA916EC58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$C2C0F2C6-42C4-4528-B6F8-C68AAF1851C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$1DAF2FE2-496E-4841-B426-0AF06E15A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$4672AB7E-AC0B-43CC-8D1A-1876FFFEBED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6350407dc422de59c8860f007496b01d87d7c15e","datavalue":{"value":"488233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312159$EBDB5AFF-86F2-4695-86F3-F054706E484C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e080aa4d7d6841ef25559e90b059cc0c603784f1","datavalue":{"value":"fuzzy resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$F8CAC12F-C5E8-4F2B-B34A-975ADFF34B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$B4F21325-2838-40BC-AF53-8F35259B670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a530f4a411fe3340b77a0917250764774836f7e3","datavalue":{"value":"fuzzy operator logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$F8BA4583-98DC-4446-939A-9E8F01E6AF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$7164E6A1-CA3E-4E76-B173-434DFBB62073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b75b4d6678ca4c7d1fd3161ffd2ca5082cbe0c1","datavalue":{"value":"uncertain knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312159$D7592D43-427A-426D-B7F6-3A9C308BA567","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$46C2E4E1-03B8-47D8-8EBA-5DD50527458F","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":"Q1312159$56F67EA4-FED4-42A3-BC0F-42B6E603B11D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a701a6f9f5e3fde995fefbc2a5595ef77fb3f1","datavalue":{"value":{"entity-type":"item","numeric-id":1230592,"id":"Q1230592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$9B0BF1A3-111F-47B4-AAF1-0BCC9692240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be2bbd07f410c5578c72843e7a4d0f7bf8cbab","datavalue":{"value":{"entity-type":"item","numeric-id":3782839,"id":"Q3782839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$8990ACC9-F71F-4564-8776-A1E32A00C9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1cf15ee4e36fc15fa9d6b95fa3d594b1feef3","datavalue":{"value":{"entity-type":"item","numeric-id":1099968,"id":"Q1099968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$EC9872FA-C084-4171-B884-948232A755CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317d5a55fc493c655927b7258bab843c73c5701e","datavalue":{"value":{"entity-type":"item","numeric-id":2556855,"id":"Q2556855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$37C71F94-E19F-4947-A3C1-0A575D32971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b765a73cbb2b7f4115bcd42f41a6fa3b83b359","datavalue":{"value":{"entity-type":"item","numeric-id":1820599,"id":"Q1820599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$C320CA58-A7CF-418A-8B93-9E25BBFA3300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6cb16206c23f60538ec60aa79c5469ef42fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5799632,"id":"Q5799632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$F36F3087-3DB6-4861-AF70-ABA99603A0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$371FE638-9C20-435F-AF17-2B02C4B2605A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ffcd38af82eb3c5dd42cd2ae35de3d04b65fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3929677,"id":"Q3929677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$F402CA65-CCE6-4A6C-8C0B-EABCA6782624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170f07a0aaa6d1f92a2f193d1b2d61a6971a7c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4094173,"id":"Q4094173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$E6879537-DC88-4805-B8E3-1EAD431EA8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44861c68d72f92ebe19ef2f0e20bf53d2c095668","datavalue":{"value":{"entity-type":"item","numeric-id":4101816,"id":"Q4101816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$F191845D-4962-4452-8BE3-BAE13D0846A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57559b829970b69ab606dc57fa085011996a4ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3962308,"id":"Q3962308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$8ACCD91C-655D-4E76-BCB1-53FDEB57B794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b66ebb4850661a16006befb2721386802e018f","datavalue":{"value":{"entity-type":"item","numeric-id":2277443,"id":"Q2277443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$F4DA270F-BBA6-4133-B229-583D8419E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748ff6f9e53b6d422dd6177e8d0ff6b11b9a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5656745,"id":"Q5656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$F0057969-6C92-4249-BD70-FEFF33CEA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f42446f7133dfe470fdb131b3bb4347d44f744","datavalue":{"value":{"entity-type":"item","numeric-id":5826088,"id":"Q5826088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$10410D09-7615-49CA-BB89-4263DC10FBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9899ac3711a0ba7eaa5b54b87f5ebafbb4562e","datavalue":{"value":{"entity-type":"item","numeric-id":4131415,"id":"Q4131415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$FA1949E7-D7ED-435D-A32F-D6EC884C17B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7193c85930858ecf1b0ab72f5c25c60e891423","datavalue":{"value":{"entity-type":"item","numeric-id":3820052,"id":"Q3820052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$B36F4907-80B8-4533-ADD7-24B78D2C6D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$A60CC519-A41C-47C0-AB6A-544167EDA683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$4596F0A8-3C7C-4386-B8E4-A3AE3053B16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9e99c550acb73dd461febae9a3738f88082517","datavalue":{"value":{"entity-type":"item","numeric-id":1253933,"id":"Q1253933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$EFC8C551-2D6C-4D56-B08E-48968C70CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9728b2aae00e30a4fb5befef5e4b6085928d3585","datavalue":{"value":{"entity-type":"item","numeric-id":3746924,"id":"Q3746924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312159$44083F68-7452-484D-87DC-DCFF4DC94982","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08a2cb2bb62f9a66fc5cae55a9b823c05482d91","datavalue":{"value":{"entity-type":"item","numeric-id":4017754,"id":"Q4017754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3036c515224deb6c431afe0f1d9b21cec44f2bb4","datavalue":{"value":{"amount":"+0.886319637298584","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":"Q1312159$2DADBB8A-BFE6-44BF-BB52-05A6AA50776C","rank":"normal"},{"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":"8ef14f3b941987abcbde1571bce8580b1e1e8fdd","datavalue":{"value":{"amount":"+0.8227318525314331","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":"Q1312159$BFB831DC-6939-409F-A966-5B0EE53CFA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fdecd616d7278702fb189d8153ac5fac1529cd","datavalue":{"value":{"entity-type":"item","numeric-id":3768878,"id":"Q3768878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5344933a9076b79c8822514ab5302c1ff56e7bc8","datavalue":{"value":{"amount":"+0.8227316737174988","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":"Q1312159$547AAE3B-A6D1-4EBF-872B-8A8F49C83CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dced12a6a96fcafce20633af9e638d39b262960","datavalue":{"value":{"entity-type":"item","numeric-id":3403439,"id":"Q3403439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bb89baa91c57cb20df086b2ae58daa7ace894a","datavalue":{"value":{"amount":"+0.8185153603553772","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":"Q1312159$2343BE32-0B9C-420A-8E44-CA43C57D46C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501d9030860c5dbd5c11786168c6a822bb1c6902","datavalue":{"value":{"entity-type":"item","numeric-id":1818104,"id":"Q1818104"},"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":"Q1312159$FD7891EA-E77A-4137-A0B3-8B05E089BD8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fuzzy operator logic and fuzzy resolution","badges":[]}}}}}