{"entities":{"Q1116716":{"pageid":1127465,"ns":120,"title":"Item:Q1116716","lastrevid":69681012,"modified":"2026-04-13T08:40:24Z","type":"item","id":"Q1116716","labels":{"en":{"language":"en","value":"Fundamentals of Fuzzy Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090843"}},"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":"Q1116716$35102723-2819-4B11-9BD1-21F013B44C1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dda29b4efb661483c9e5fef446447eae29e4fcb4","datavalue":{"value":{"text":"Fundamentals of Fuzzy Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1116716$320BD285-4A68-41AA-8B3D-F8D99F059435","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c468e220ae26d05dc0cc3030fbd465481925f46d","datavalue":{"value":"0666.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$D956E64B-363A-4544-A0C8-8E06BE9CD70F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55962fce91d495549a8f014b0f72de5fa71de6b8","datavalue":{"value":"10.1016/0888-613X(89)90005-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$A7F7543E-86A5-41FB-9A3C-961E87035226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3daeeab3dc65d738668de16ffb6dc96dbb9a43","datavalue":{"value":{"entity-type":"item","numeric-id":796493,"id":"Q796493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116716$B80FE06F-8CEC-48F3-8FF1-53B277394013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f343e0224805e05d7df9c058b399b1865bff5c","datavalue":{"value":{"entity-type":"item","numeric-id":1116714,"id":"Q1116714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116716$2DA29194-8D1E-4923-8301-BF87B4579BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53116a622f916298e92f5e30873d3d4104cb2bba","datavalue":{"value":{"entity-type":"item","numeric-id":1116715,"id":"Q1116715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116716$08368957-1E5D-4BB0-9D05-D1C18ADEF93E","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":"Q1116716$A81B739F-A6B0-419B-A1AA-4506B22BBF77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1116716$D2C34A08-D0C5-4670-8602-4CE6BD030EF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"533b9e5ce0d40d2923e68a38d76b073243015388","datavalue":{"value":"A Fuzzy Prolog is introduced that is based on the fuzzy resolution principle. There are three levels of concern: (1) the fuzzy truth values of predicates that depend on several values of individual variables, (2) the weights of rules that depend on several fuzzy truth values of premise and conclusion, and (3) the confidence of resolvent that depends on the fuzzy resolution principle. With these three levels, we introduce fuzziness into the resolution principle and unification and cause fuzzy logical inference to be significant in Fuzzy Prolog when the values of all variables are taken in the closed interval [0,1].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116716$F012503D-4E2D-4891-982E-4D6F7681C512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$8E87D6B6-EBE4-4A29-9EBB-421D74959566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$3A220F3A-FC05-4AA2-9163-26E35AD89418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed4c28f2d2b2af59dda0f717861000c9c430f8f","datavalue":{"value":"4090843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$C761060D-40C7-4509-8FD6-AE7E57D1B30A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e665a942ad8aea419f5ff1f9f1046eabe10a807","datavalue":{"value":"fuzzy inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116716$5BA21D0F-4B9D-4111-AAB4-C34ECC902394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3feacc323960009fed98798bd6187ecade65e6","datavalue":{"value":"fuzzy first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116716$4B6B9C32-EAC6-4E90-9B7C-94C89042B17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ed370cb718902991c2d91b11092ba328e62ce5","datavalue":{"value":"Fuzzy Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116716$C5E148D5-1853-44B0-BB8A-4A69E5693953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f69eee1e9deba9bfd90be0f8a705de07c2728df","datavalue":{"value":"fuzzy resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116716$534B6CF1-C9AB-4965-8E21-55D30A0D9311","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":"Q1116716$44E4BCAF-6E3C-440E-9C94-174C81F6C801","rank":"normal"}],"P223":[{"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":"Q1116716$B1A415A7-DB42-4399-9690-99621063F869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116716$A0237C28-CBD3-4913-8D4B-ED46D8C413DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116716$4EA524E1-EE88-4026-A10D-D0F7D789A0AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"612f0b2a3aa82b39740f184e0a83149dac2de1d8","datavalue":{"value":"https://doi.org/10.1016/0888-613x(89)90005-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1116716$3BCE163B-965B-4259-929E-294BB2148ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7b53099fb499c0ce4ee80b4cd08c9f5258ac1a2","datavalue":{"value":"W2063238431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116716$2194BAB6-5F02-455B-B453-8FF65C9A71EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77d247688bfc1c36ed8e0ab44e84afb0e106e22","datavalue":{"value":{"entity-type":"item","numeric-id":4812984,"id":"Q4812984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cabde7a53bac905980d4ff3e7dcc5953a2a386f","datavalue":{"value":{"amount":"+0.9406906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$BFD90194-731F-4B1B-A1E9-BC48ED50208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7583cba311654ef09ec64a0b490fab89ab73b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1311826,"id":"Q1311826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d39bc6f1080b19408d1b2b90cf051c7f2d4411","datavalue":{"value":{"amount":"+0.92107284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$9CB5318F-0189-41A4-B145-A71567B13D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01588cf1b5e78ee0a0973693de941fa6beabe527","datavalue":{"value":{"entity-type":"item","numeric-id":3820052,"id":"Q3820052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0e742022290ba1fb25a37fe35f4d98d2f3a3af","datavalue":{"value":{"amount":"+0.9125025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$1A40978E-370D-47E4-8D87-0D3BB98A67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004749295895e70eb53ef6299eb1a4da96a8d986","datavalue":{"value":{"entity-type":"item","numeric-id":2869678,"id":"Q2869678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db27738a05372b84303b9a670a4884e98fecc63","datavalue":{"value":{"amount":"+0.9084486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$BEC589E8-7F3E-4216-9BD5-CAA3A6ABB455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcdabbfe3afe057a2a14ee2915c7b07385f16d3d","datavalue":{"value":{"entity-type":"item","numeric-id":1096409,"id":"Q1096409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458ca1b5ee932b184ea83ace12e55378b23f2384","datavalue":{"value":{"amount":"+0.9053496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$9B810C08-EC97-4431-A493-B1CDA26E0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ea0ee9bad611740c703cd36a57d490ae103ea","datavalue":{"value":{"entity-type":"item","numeric-id":1319449,"id":"Q1319449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391325eaa32fad64d1c4dc7f3ecb0d56d608b14c","datavalue":{"value":{"amount":"+0.8991261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$608FB104-E055-49FD-813C-2CF599A1E9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31a9def2a8829ff065201a39a1c9d455a18836e","datavalue":{"value":{"entity-type":"item","numeric-id":4549477,"id":"Q4549477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391325eaa32fad64d1c4dc7f3ecb0d56d608b14c","datavalue":{"value":{"amount":"+0.8991261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$878EA35E-0B93-47B8-9FAF-891091FA1866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd6cd46edbd520584b1c786a053e088408bd042","datavalue":{"value":{"entity-type":"item","numeric-id":598583,"id":"Q598583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5393dcd9a2cd2a5c8ef959940ce4a080a24ba26","datavalue":{"value":{"amount":"+0.8987424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$3EB7A98C-0515-4F72-B459-A9F17E4C1394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388c6ad88fb73e7aaf444e11ae3d2f84688cdf62","datavalue":{"value":{"entity-type":"item","numeric-id":3347860,"id":"Q3347860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f34e82dd948b3b0d34ab970af5f4b4a3d3ccd4b","datavalue":{"value":{"amount":"+0.8972097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116716$2603D38D-E7F6-4591-9DCF-DCA57B9B0369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamentals of Fuzzy Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fundamentals_of_Fuzzy_Prolog"}}}}}