{"entities":{"Q582262":{"pageid":584029,"ns":120,"title":"Item:Q582262","lastrevid":62936982,"modified":"2026-04-11T09:05:59Z","type":"item","id":"Q582262","labels":{"en":{"language":"en","value":"Semantics and computation of the generalized modus ponens: The long paper"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130307"}},"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":"Q582262$C484C685-E34B-41D7-9E74-F473575C9C50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bace60de24f9afdbf81d863a8d3dd71b5de2ec2a","datavalue":{"value":{"text":"Semantics and computation of the generalized modus ponens: The long paper","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582262$66926260-ADCD-47BE-AEBC-854A23404DD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c54442e97b7b2c0c750207f69d25084c5420902","datavalue":{"value":"0689.94006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582262$65298407-4EC5-4461-880E-8232732EF518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd5563404d57bb215946ca973a1e0798be98f5c","datavalue":{"value":"10.1016/0888-613X(89)90006-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582262$5033D8AF-9B38-4E56-A03F-923F6EA501CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"279897d121499cfff5bb3fc309895435003c603b","datavalue":{"value":{"entity-type":"item","numeric-id":582261,"id":"Q582261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$3C911994-D90D-4ED1-ADB3-2D604CCF039E","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":"Q582262$D562338C-97B7-4392-AFE9-3AA558FEB3FD","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":"Q582262$2D2B940E-44AE-45D7-836D-D8B8C28881B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0253048eacf34eeb2f903955e5b32f0973f78f39","datavalue":{"value":"The generalized modus ponens deals with the problem of inference in an imprecise setting. The paper explores four of the most often encountered possibilities, in the case where a single rule is considered at a time. The behavior of two deduction systems sufficient for practical use is investigated in the situation where the dependency between antecedent and consequent variables is described by a collection of rules. It is shown that one can get a meaningful approximation of what is produced by the generalized modus ponens technique. This paper suggests one more step to computational tractability of the fuzzy set theory framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582262$2989356E-C39B-48C7-9ABB-27989B1D540A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ec63a0ab51237df67e9180d4cd78b9f8f886b2a","datavalue":{"value":"94D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582262$E38B2032-1DDF-4362-94C0-385123393C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96e1102857a15473f454563be31fde2f74d03219","datavalue":{"value":"4130307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582262$EB807DD4-6136-4FB1-BE7E-A95BF7B16BA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582262$B3F5117A-0DE3-42C3-8AD6-E78453589C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdf9f9996c240a5178bb7fc87d3f34499208c47","datavalue":{"value":"deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q582262$D3AA9001-ED73-4FE4-B64B-82AFAF00469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422c358d09312cc972b2f2b3abbde205245fcc70","datavalue":{"value":"generalized modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q582262$C09F971F-37CA-407A-A30C-068181B0368F","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":"Q582262$0272892F-74A8-4DE6-885B-D8EE3702D2B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b68636171ca23da9824bbdaa0ae5e2affc0c68","datavalue":{"value":{"entity-type":"item","numeric-id":759490,"id":"Q759490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$069C124A-37A2-4EE3-BEA2-531CDD0EEF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65f7e8b576fe8b981ff458680ccd5148236cd","datavalue":{"value":{"entity-type":"item","numeric-id":5181125,"id":"Q5181125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$D6E942D7-A03A-4CE7-A97A-2E0D8B0B35A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad03eae4c43cd4a452a47951cea25fc001173e","datavalue":{"value":{"entity-type":"item","numeric-id":5730522,"id":"Q5730522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$553378B1-CDCD-4078-872B-BA715D98C67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6661bd6b8d8cd8f3861edebdfefb0c4ac4af8ee7","datavalue":{"value":{"entity-type":"item","numeric-id":795822,"id":"Q795822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$CCBC8E7F-9318-4BA5-B0CB-5B245CCA2F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1806b2d2177c140d81eeff55068006a5a7712064","datavalue":{"value":{"entity-type":"item","numeric-id":3726087,"id":"Q3726087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$9DA0F4CA-E29C-4568-B400-04E14AE835DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ccbaf310c418579692c1f87b22f32e81c1730","datavalue":{"value":{"entity-type":"item","numeric-id":3703872,"id":"Q3703872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$12E06270-C66E-447D-9158-677B9DE716E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f797c48a9baedcc2a73c448be5415ffd234e089f","datavalue":{"value":{"entity-type":"item","numeric-id":3824394,"id":"Q3824394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$EEE0E7EC-0E6A-48D5-A731-B72199E3F89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361be07009d363363c8507b9da7b93c55c3e2c65","datavalue":{"value":{"entity-type":"item","numeric-id":3676067,"id":"Q3676067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$2A4318B2-B66D-4FC9-B099-3851B09B6A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e825c27a8762cb63e1bbb1572a263ae4e23f4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1172053,"id":"Q1172053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$6175DA7E-B4DA-4F15-A2B3-A358085B870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582262$64718AA1-7968-4057-92F8-917A75304EEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbaff6ade68c64b78545180106a1a70ced77d79","datavalue":{"value":{"entity-type":"item","numeric-id":3509055,"id":"Q3509055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230c0a4ea97f03a4994fc37dc72e33024deb80c5","datavalue":{"value":{"amount":"+0.8886339","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":"Q582262$8ECF1B27-84E3-437D-B739-503B998E9AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbb4b1caf395d7ffebebb0768c0699da5f40957","datavalue":{"value":{"amount":"+0.888292","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":"Q582262$29423D6B-4496-49EB-A3EA-870C66DDAF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ca845eab521e433c6d4afe342d73488fb06500","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc9df7caac806c81d0ca0ee651bf016f83ca50f","datavalue":{"value":{"amount":"+0.8878292","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":"Q582262$66BAEAC4-75BA-42A4-9693-940BE7671D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c936e2210fdd6f0616d5dc901b06ff15a7f7eab","datavalue":{"value":{"entity-type":"item","numeric-id":3367290,"id":"Q3367290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088f4378e1b0d50a65a600c12484f0fabc1391dd","datavalue":{"value":{"amount":"+0.8842398","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":"Q582262$25D568E5-1352-47E9-9AA1-ABDBEABAD2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774046dbefe326278e878c009a379e02a7abf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4385436,"id":"Q4385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a99178f90f47a67605fb434e5212d6fd94a0c58","datavalue":{"value":{"amount":"+0.8828768","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":"Q582262$DA0691E2-414A-4AF9-B7AA-76A5BF7CC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537f7e1828d9fe36b25fd004df3f69ed64fe13bb","datavalue":{"value":{"entity-type":"item","numeric-id":4028792,"id":"Q4028792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ce35cfb0f0d8d855058b056a9365305bd8f083","datavalue":{"value":{"amount":"+0.8802742","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":"Q582262$1F29F006-347E-4F37-BB7A-9BA874E084C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9f602ea2162da4cc22039c8f5e4ea8c625f774","datavalue":{"value":{"entity-type":"item","numeric-id":6485399,"id":"Q6485399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5688e2c3daddeaa44b7a7b3c0241dd82949f4b37","datavalue":{"value":{"amount":"+0.8801816","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":"Q582262$09AA9490-CA5B-4499-AAD4-197A4B252561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd252e448daa148f7b057e200077583cef0833e","datavalue":{"value":{"amount":"+0.87946224","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":"Q582262$DAC33C3A-2C6A-4E88-9F3E-600AFF5EDA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b005e914d0a2e0c8ad820d5af12a3b7e4edecb37","datavalue":{"value":{"entity-type":"item","numeric-id":5200467,"id":"Q5200467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6537692b07ae40b083658a67924b0250809e185e","datavalue":{"value":{"amount":"+0.87742376","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":"Q582262$FD57A874-2153-45D2-BB6A-8E3C4A44CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b46e267134ea318cd8e86042ef0a00b2e104f6","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e119b52a4aefca0ba7fb6d349b35b0d5e95c8ce0","datavalue":{"value":{"amount":"+0.87589735","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":"Q582262$DAA61C41-0174-4F58-9387-7E9CDD76284B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and computation of the generalized modus ponens: The long paper","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_and_computation_of_the_generalized_modus_ponens:_The_long_paper"}}}}}