{"entities":{"Q274463":{"pageid":276230,"ns":120,"title":"Item:Q274463","lastrevid":60560229,"modified":"2026-04-10T17:44:09Z","type":"item","id":"Q274463","labels":{"en":{"language":"en","value":"RU and \\((U,N)\\)-implications satisfying modus ponens"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6572807"}},"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":"Q274463$6F00A988-A8E2-46BA-94D7-BCEF7B095E88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e047e1d5e70addc783d2b7737953e16edf3fdf98","datavalue":{"value":{"text":"RU and \\((U,N)\\)-implications satisfying modus ponens","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q274463$2EA25E1E-1160-462B-A291-2B4AC772C84F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5a1b81d8b11c0dc1e2c39ed47b21681f2744615","datavalue":{"value":"1348.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274463$986C84FE-3712-490B-91F2-C0CF78D20FEB","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":"Q274463$14AB2939-CB7F-4EB8-8750-28049C841684","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f92bc506e92058516177f3ba9f4af4822c6db1","datavalue":{"value":{"time":"+2016-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q274463$3402F75E-8360-4C0F-8BFB-83C042E78C37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3fcd8c79bf3fb575a79e2310bf276c3d8e8c922a","datavalue":{"value":{"entity-type":"item","numeric-id":279334,"id":"Q279334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$AD2A5053-4C5C-4202-B785-15351194F734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274463$AABDB3D3-60E3-4031-810C-05897E14E727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a04bcea0e4adaf6fa1ba4d925d2c50314309d596","datavalue":{"value":"6572807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274463$FAAD24FA-DC18-46A7-BBA7-D4271C1620FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f44400cd8c8bffe3d834eb3c9fc31fbae3cb89","datavalue":{"value":"fuzzy implication function","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$767F66C7-F8CC-4E7F-864B-F048B5F7D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15597bc6778504845ac208d8149e5477f800ac93","datavalue":{"value":"residual implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$428C0FA7-E1C1-42BB-A7D8-36213D78088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed8082798e0d48be29df97a654adb66ddb1997e","datavalue":{"value":"R-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$FDC7FBAA-4E3E-4DC1-8FDE-F6B8CE0438B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c1ead54167d8abaf59a437bc6fc0b0fe90dd84","datavalue":{"value":"\\((U,N)\\)-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$E54A3466-D1D1-4128-93C5-80C51841EF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$C82A45FC-22D8-45D8-9B68-6F6491AA5F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552b61edaceec63d57bfc4246e69ea42ffd532ee","datavalue":{"value":"uninorm","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$DBCA543F-6D45-4B86-BC61-4B4A18C0AB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06481d6bd2a7f1e32f85f793d8916e9edb6d9121","datavalue":{"value":"fuzzy connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$80C61AFB-2C34-4B0A-AA36-52C4104D7EF5","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":"Q274463$C0E131DC-E028-4E18-9B34-B198DFE97771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5310079a7c936ace2491049fb7b381ec60e37ab","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2016.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q274463$3B074BFA-9EA7-428C-823A-850537E24088","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed194205c133567c2f2db72297bbac50f99a67f0","datavalue":{"value":"W2250912615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274463$183A587A-FB9F-489A-B011-F143B7200684","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cf4b37b01f384a878332f0c9c328306d734e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2638197,"id":"Q2638197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$DA3235F7-B1B7-44F1-BD54-183258C51AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d710bf6d7a0247f7c8379f70d4d28486f2969cb","datavalue":{"value":{"entity-type":"item","numeric-id":1867705,"id":"Q1867705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$BDB6C8CC-BB92-4A8A-BAE0-BC815C883164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3e1862c7dbe15ececefe0c674eec57dfdb462e","datavalue":{"value":{"entity-type":"item","numeric-id":1933948,"id":"Q1933948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$1C181797-9396-47BA-9FBB-FC1712BD6BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ac7499b1c3e8793d1e1a2b86da27fc23312698","datavalue":{"value":{"entity-type":"item","numeric-id":931613,"id":"Q931613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$1A0F9CAF-3EAA-4AE8-B446-211292FF7591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbdd2b7950d6c5f3fd6d21a3ee796d7e7411b112","datavalue":{"value":{"entity-type":"item","numeric-id":1038004,"id":"Q1038004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$707549E9-1D9D-4033-8C48-ABBD2EA2C90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c7a273e377e3140b5f35350c88feee62e87c57","datavalue":{"value":{"entity-type":"item","numeric-id":1806623,"id":"Q1806623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$E7DF8C7D-E1CC-40D5-B2A7-8BA43A3E7839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df60676ceaf6b47d54d2ef0ffbd034856f4f0254","datavalue":{"value":{"entity-type":"item","numeric-id":695242,"id":"Q695242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$FDDC1840-63EB-42D0-8140-DB866120642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aebd2c0bcaba3fdcb27d55e6ed1c0015a9455b","datavalue":{"value":{"entity-type":"item","numeric-id":3114496,"id":"Q3114496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$DCE4B095-A384-4A66-9F00-DF305A91449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf1a8560f1a78b8667f60354eb2d4bd23a902b9","datavalue":{"value":{"entity-type":"item","numeric-id":1349175,"id":"Q1349175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$7E0FCA49-628B-470A-AD4B-15403CBF4F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$D5520EB9-C487-46C6-B350-C2B5EE560F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19b8c31023bbc43b289854d80708e83ca2f3e72","datavalue":{"value":{"entity-type":"item","numeric-id":723243,"id":"Q723243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$525E6642-8FA4-4B37-BFE5-5AE91ED718B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818e35bfb5a610aa25a2720b83993277eb6f7f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3448605,"id":"Q3448605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$B0DBB1F0-A357-46F8-B612-9FD048F7EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2fc2af79e57774fdb7e30e15e9976db14f5514","datavalue":{"value":{"entity-type":"item","numeric-id":1398917,"id":"Q1398917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$91D96DF8-3C5A-4E9B-90F6-BCCBCBA8AD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad74d87668635ac89db0d98818d0e6cbb6ce72b","datavalue":{"value":{"entity-type":"item","numeric-id":2988503,"id":"Q2988503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$DE77032D-EEBD-4885-95D2-94B9BAE73E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb5dd59dd89260b43c4ce89317b8f0145fa29a5","datavalue":{"value":{"entity-type":"item","numeric-id":529008,"id":"Q529008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$2B24696B-EBE7-43D5-AF32-49C7E382FD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c1216fcee15d23502a11cd68649c06ec7d1ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2457029,"id":"Q2457029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$ED06C704-35A9-4339-A8BF-8983EE8D821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27c1e81f1d6c496ccb1e1ef48bc2a18aea2a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":962647,"id":"Q962647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$0135C9D9-6C3F-42F2-84EF-794823833866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275aa255616c9f3d4b0ed2aa9e3dc45acc47123e","datavalue":{"value":{"entity-type":"item","numeric-id":969568,"id":"Q969568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$12F57683-183B-4DCE-A49B-4B4AD9AFB3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e9ad034f727670083b310ad9e810f401a4b596","datavalue":{"value":{"entity-type":"item","numeric-id":5166232,"id":"Q5166232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$823F021F-1336-4F0B-9BB2-EC17C39943DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159331919eb810e1c0004dbb83e1d49a9b3f29bb","datavalue":{"value":{"entity-type":"item","numeric-id":5389740,"id":"Q5389740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$9FF658C0-4BD1-4A0B-9FA1-9FC92E80213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0686d6a2ce0855f0200aabff8e26e4985bc9b51a","datavalue":{"value":{"entity-type":"item","numeric-id":3546384,"id":"Q3546384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$D43BCA82-07AC-40B0-B84A-4FE1D3C2513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfeb10f654a43bde2d1223df15d7a34c5120cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1037901,"id":"Q1037901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$6FE9154E-6B79-4EB8-876F-28EA38F5A71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdc0ad3720b9b800e01de6467a864aaf079ab4d","datavalue":{"value":{"entity-type":"item","numeric-id":3021922,"id":"Q3021922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$3D9088E9-A8BB-41FD-B1AD-7D7EE6D3C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed85f63212f03deb94dc3aab20011ee6047467","datavalue":{"value":{"entity-type":"item","numeric-id":3022763,"id":"Q3022763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$CFA68262-2E30-4EDE-98DC-04D3821E9F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7372252e30a0f138a5a736b42e51b77cb1424","datavalue":{"value":{"entity-type":"item","numeric-id":4503750,"id":"Q4503750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$F3C671DA-440B-4D20-A136-CB1787039945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6872e52f99d0b7872f132765dbca8fa5d3b12903","datavalue":{"value":{"entity-type":"item","numeric-id":2270417,"id":"Q2270417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$30846596-A7B8-4264-942C-2A2F659EA890","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb4220c8e0b3e6c46bc55517aa06587ac61a90c5","datavalue":{"value":"10.1016/J.IJAR.2016.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q274463$04B2B440-19FE-488C-98A3-901B0F46143E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aefe8812e8c137caf089306557b46670dcf7053d","datavalue":{"value":{"entity-type":"item","numeric-id":2328833,"id":"Q2328833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$06697FF1-36E5-48B4-AA28-F183CE73D746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf7b2f91fd60235fe38cfb650c780a9c66d2ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1867638,"id":"Q1867638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$F18B267C-364E-4406-844F-E36F2BA00570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eedb0023911857d1741f8be2b0c10ee84dbe1016","datavalue":{"value":{"entity-type":"item","numeric-id":723241,"id":"Q723241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$FCD45C24-02B6-4F67-9678-9BEDB908395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4037677897d81b7f0c4a4239ae351bd69498d411","datavalue":{"value":{"entity-type":"item","numeric-id":448929,"id":"Q448929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q274463$1D1A7607-50A4-4FB7-9185-343931F2599E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ded8084bcd01e6e31b2f8d41e5310e498e7b761","datavalue":{"value":"One of the most important classes of fuzzy implication functions are R-implications, generated from t-norms, and \\((S,N)\\)-implications, obtained from fuzzy negations and t-conorms. These families can be generalized for uninorms to RU-implications and \\((U,N)\\)-implications, respectively. In this paper, the authors investigate under which conditions implications from the both classes based on uninorms satisfy the modus ponens property, also called \\(T\\)-conditionality, i.e., under which conditions they satisfy the inequality \\(T(x,I(x,y))\\leq y\\) for all \\(x,y\\in[0,1]\\), where \\(T\\) is a continuous t-norm. NEWLINENEWLINEFor RU-implications, it is shown that \\(T\\)-conditionality depends only on the underlying t-norm \\(T_U\\) of the uninorm used to obtain the RU-implication. The authors analyze situations when this uninorm \\(T_U\\) is continuous and thus, taking into account well-known characterization of continuous t-norms, considering four possible cases: minimum t-norm, strict t-norms, nilpotent t-norms and ordinal sum t-norms based on continuous Archimedean t-norms. NEWLINENEWLINEFor \\((U,N\\))-implications the situation is different, the underlying t-norm \\(T_U\\) is never relevant and only the region out of this t-norm is important. In this case, the authors present a full characterization only if \\(T\\) is the minimum t-norm and some partial results for any other t-norm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q274463$F5042941-3040-49B2-BEF0-93A3CD3266AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4440f9c9df8de3d541934604906b6d9741c11128","datavalue":{"value":{"entity-type":"item","numeric-id":5115749,"id":"Q5115749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19881aa94cb12bdcdcb9c7bad75f06184bd194b0","datavalue":{"value":{"amount":"+0.8934237957000732","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":"Q274463$A69DE17A-8C86-4D3D-8BD4-EA96B3CC0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634a7ddc722b781f790248669444efb0184872d","datavalue":{"value":{"entity-type":"item","numeric-id":2328834,"id":"Q2328834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ccb9cd2dcbd8f798aa97500d78bbc88f299baa","datavalue":{"value":{"amount":"+0.8866052031517029","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":"Q274463$7A627228-41D1-4867-A0DE-436D717D64E4","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":"23d72b29220c5af1c9c5f0ca1d34d7b90a280f43","datavalue":{"value":{"amount":"+0.8801586627960205","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":"Q274463$6A97A526-FFEB-47DA-B101-B42A79459EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f968d97a00d6236dffe77e16aa537ea7b16c2","datavalue":{"value":{"entity-type":"item","numeric-id":6485296,"id":"Q6485296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e84dadf12db96ea0d9caed12d1699771999739","datavalue":{"value":{"amount":"+0.8674370050430298","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":"Q274463$8BCC0110-D261-4175-8AD2-D4A4ACF61B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7bbc57c025070bbd1dc7c6403dfa41b1409cec3","datavalue":{"value":{"entity-type":"item","numeric-id":533152,"id":"Q533152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6683469f0d96cf1e73b608b7817342d359b114d0","datavalue":{"value":{"amount":"+0.8370136022567749","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":"Q274463$1A09D118-389E-4A99-9A9E-097EC7A1EAEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RU and \\((U,N)\\)-implications satisfying modus ponens","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RU_and_%5C((U,N)%5C)-implications_satisfying_modus_ponens"}}}}}