{"entities":{"Q698831":{"pageid":700680,"ns":120,"title":"Item:Q698831","lastrevid":63607182,"modified":"2026-04-11T14:18:25Z","type":"item","id":"Q698831","labels":{"en":{"language":"en","value":"On generalized modus ponens with multiple rules and a residuated implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1809992"}},"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":"Q698831$4D7EED1B-7DFD-4BD7-8A59-FF564764954D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bd894985138f99daab6f98a6c154151c2c157a0","datavalue":{"value":{"text":"On generalized modus ponens with multiple rules and a residuated implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698831$0A8D9FD8-BAAB-47D7-B55C-D79ACB7C2BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d243be543bf99843abf153a79b3e61e4b0006595","datavalue":{"value":"1001.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698831$A40E61FD-76A3-49CA-9E19-DAFE73D2A910","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c05e94b0f23c07e2c05ce44097ee6d9acba6b04b","datavalue":{"value":"10.1016/S0165-0114(01)00089-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698831$76530AF1-9F9A-4135-973B-29BBADD3AF57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0488a2cd73b740620cfeb58092f2e492b3ee42","datavalue":{"value":{"entity-type":"item","numeric-id":279411,"id":"Q279411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$7CACA875-4213-4348-8583-38242420E0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b763b513c7e903099da269efac4ed391ada33a8","datavalue":{"value":{"entity-type":"item","numeric-id":698830,"id":"Q698830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$13A3A364-F5B5-47FD-BBEC-B8CC37612743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$5295B06E-C66E-4196-954C-EE4B93BF0365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bffdc8b8d5e9929ac7ba3da2bea94b5f4ddd4baf","datavalue":{"value":{"time":"+2002-09-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":"Q698831$99012111-D7E7-4F9C-A1B6-AEC9EFE98BD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698831$1767E85B-13BA-4D57-B52E-19E3DDB24D08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1c7c3906d72f42fa5107491770c357d93f3c205","datavalue":{"value":"1809992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698831$D58B6A4C-FB60-49C9-A2E6-7C096B2AC53F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6239a8b73ac745697026909b0b71099f2213ff1b","datavalue":{"value":"fuzzy inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q698831$00849BF0-1848-4BCB-8DAA-BA7B96553015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422c358d09312cc972b2f2b3abbde205245fcc70","datavalue":{"value":"generalized modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q698831$A063904A-901D-46C4-A6EB-CF8D570FF211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110181d0d171572523efdfe098c8fa2aaffc376d","datavalue":{"value":"residuated implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q698831$413ECA25-ECD9-416C-8666-20C72C1FE7DA","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":"Q698831$6E4F6573-4365-40BB-9E8C-2C896A420095","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"063728e38ae86d18ac437fed21d660b4995f176d","datavalue":{"value":{"entity-type":"item","numeric-id":3208626,"id":"Q3208626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$C5CDBF36-90A6-49EE-8B19-F5F8D6E6E16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4baff4130f1c3701c35082a4965596b612444c","datavalue":{"value":{"entity-type":"item","numeric-id":1961292,"id":"Q1961292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$75E62E02-55A0-4AF9-B440-F017B1CF035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d5e9601c42e0f76bfe43ea90dd505bbacf9135","datavalue":{"value":{"entity-type":"item","numeric-id":4946086,"id":"Q4946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$5FF8074D-326D-4616-B272-E4EC030252CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55da41c4902bda94a7f49d0166217597466bfa37","datavalue":{"value":{"entity-type":"item","numeric-id":1097258,"id":"Q1097258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$8E01E66C-78BD-4128-A5D7-B628CD53E699","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":"Q698831$8C372141-9043-45AD-8069-8852A0EF45A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478f1b788d9d4e0a48189a15a17d4046a04236b7","datavalue":{"value":{"entity-type":"item","numeric-id":2641291,"id":"Q2641291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$32E74E35-9104-4E33-B023-69D6A527AC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f538ba0fecdbebebecc36fd8492063dfd2af2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":1266749,"id":"Q1266749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$AD8C826E-06D6-42C1-AC9C-919230339C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121b9b7ea97e416e9e0bc13cd26c68e9aa45d148","datavalue":{"value":{"entity-type":"item","numeric-id":582138,"id":"Q582138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$36695280-F36A-47CC-B49B-77BDB608A656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1960d11dfa4f92cb3d13dec89a85757b0c38b406","datavalue":{"value":{"entity-type":"item","numeric-id":3824288,"id":"Q3824288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$37759ED9-3B3B-467A-AB1A-78C0B0448C71","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":"Q698831$EAFBA786-C633-4AFB-864E-31ECFA32C6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f538de0fb504f2b0b674256b62b645861d4899","datavalue":{"value":{"entity-type":"item","numeric-id":3336431,"id":"Q3336431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$5DBE776A-10D9-44A7-9D4D-E84138FE807B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b0c12dce00d2807f47f4a3ddf266d3f2148a68","datavalue":{"value":{"entity-type":"item","numeric-id":2454613,"id":"Q2454613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$F09515F9-7EBD-4F80-8093-77D59707BD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490e0f7938f4f34008919fc8f71e1b6f676ca748","datavalue":{"value":{"entity-type":"item","numeric-id":3337456,"id":"Q3337456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698831$1DC7DDAA-5BFD-4D27-99DD-4257E8A659DB","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":"Q698831$C538BA6B-40EC-454D-9ABC-807D04BB0D97","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":"Q698831$051954CD-2491-4850-B376-FF8FE28FAE73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ac8e2c7a6a1fda8638fc3f5a8fd3c5b04af712","datavalue":{"value":{"entity-type":"item","numeric-id":3842142,"id":"Q3842142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2312e59d07614fc3d7cbc5447d1c73fcea08a299","datavalue":{"value":{"amount":"+0.9791207909584044","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":"Q698831$DC969A8F-4B91-42DE-911E-AE78CA660BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ddf48c1d2ddd6926db57d397a81f9102d6852b","datavalue":{"value":{"entity-type":"item","numeric-id":3824394,"id":"Q3824394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2312e59d07614fc3d7cbc5447d1c73fcea08a299","datavalue":{"value":{"amount":"+0.9791207909584044","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":"Q698831$466A81C7-26F1-4C41-9180-0E4A37974356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c7a5771b5f019f6ff6fc7e1971f6ccc15b4a05","datavalue":{"value":{"entity-type":"item","numeric-id":3703872,"id":"Q3703872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea1d95c138b7b92fa1036cc09c90f29e0e95b84","datavalue":{"value":{"amount":"+0.81926429271698","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":"Q698831$91D75FB5-ABD3-4D14-9286-463BFB60186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1bbc3deeca1e5d0969f2434aba2e5252042717","datavalue":{"value":{"entity-type":"item","numeric-id":3726087,"id":"Q3726087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cce7fa49a8f5c881fbd3fbe24009b2d8d23a93","datavalue":{"value":{"amount":"+0.8190473318099976","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":"Q698831$20145C11-5353-4578-9994-BEC1335010F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb00752a91cc936243f66bf84823dfbb6e1e2678","datavalue":{"value":{"entity-type":"item","numeric-id":1321918,"id":"Q1321918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547ba1448727151b7e7f4674bb3162999daa1eda","datavalue":{"value":{"amount":"+0.8143725395202637","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":"Q698831$701D6231-072F-4AF8-8A61-D8851A90ADDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generalized modus ponens with multiple rules and a residuated implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generalized_modus_ponens_with_multiple_rules_and_a_residuated_implication"}}}}}