{"entities":{"Q962647":{"pageid":964495,"ns":120,"title":"Item:Q962647","lastrevid":65675214,"modified":"2026-04-12T04:13:19Z","type":"item","id":"Q962647","labels":{"en":{"language":"en","value":"Modus ponens and modus tollens in discrete implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5690005"}},"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":"Q962647$21AC28F0-CB44-466E-A496-EC0DC0E7DCA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26cc2ed955e8a72aa62806962c1d3c371aecd264","datavalue":{"value":{"text":"Modus ponens and modus tollens in discrete implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q962647$403966C7-F777-4802-AFDC-E0C1669CB50A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"680cc156bcba08e7f718a96b020f88a1bc5de436","datavalue":{"value":"1194.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q962647$9D747806-15B4-4036-8E3B-F6D71B5E1E09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac61124c130a309ba22dd6de30ccf8073e5ac16","datavalue":{"value":{"entity-type":"item","numeric-id":931578,"id":"Q931578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$7A99D837-D47F-4508-A73E-2EA86D99E39F","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":"Q962647$2C97FB9D-8273-4906-9810-855C78733E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25c3b5618642418ba65359ebcc6612953ba1df92","datavalue":{"value":{"time":"+2010-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q962647$B2D00E7D-E589-4FA5-939F-66AE97114A20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q962647$781B121C-A33C-4492-B0D8-693349B17F7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11c3c6ac8b1e651bd850f40c6859bbe2e35c72a0","datavalue":{"value":"5690005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q962647$A6181F5A-5E25-4557-9F35-91C0167A1C97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$C709C7A4-4D28-4E13-ACDD-68354F3C9786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85ed54de5940d15882ff549000d3c037bde97a9","datavalue":{"value":"fuzzy implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$F444453E-F0BA-467B-9DF2-48ED211D289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa3311b072babbdfc9d867193709efa857507fe","datavalue":{"value":"discrete implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$1B5325B4-0A67-4A8E-8769-091BBBF7983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$F5C3993C-1C92-4A9E-A684-EEB599CA1396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf38ce69bbe2dead1ef04b47ef90a49a0f625fc9","datavalue":{"value":"modus tollens","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$FB4887E7-CD35-4C19-B1EC-3C0C4BA708DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53f3d1073c729d23791c1eaea8d7108af1d4ef5","datavalue":{"value":"smooth t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$81CF07D2-32D9-4F8B-A24D-2ECC89133D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b9a25ed47f5d26fa48980fd6c4430b8a653da73","datavalue":{"value":"finite scale","type":"string"},"datatype":"string"},"type":"statement","id":"Q962647$6D9EDCFF-8920-491E-8975-6EF0E67B6E52","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":"Q962647$23756EE7-7F68-482A-9855-5AC332A83E4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7d21f218d7ac923c4bcb4fdfc23ab9bf4dcaad0","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2008.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q962647$74245E9E-1C88-4FF6-A06A-37BDF1C3314C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9475e8f75ea5c035d34a8864282e3d1d0ed2bdbf","datavalue":{"value":"W2000022321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q962647$D07390C7-C092-4F69-A3C6-947EA5E5C995","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c235bcd1a417b3d43f3f6cd6b35e23f66890fe","datavalue":{"value":{"entity-type":"item","numeric-id":1304215,"id":"Q1304215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$E17BBBF2-0344-4F4C-8596-882148815F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c1a79d380773cb8c7614cf932aa71136aaa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1914454,"id":"Q1914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$8686D042-7C89-4571-8BEC-171BB7EF8A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696ac8ad6dc59df6cc093c2241b81ff5a94edb3","datavalue":{"value":{"entity-type":"item","numeric-id":4315286,"id":"Q4315286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$80F9A737-18E7-4D36-B459-1621CCAC9B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0b0239bbaef4cbb52df64d0cc84c3735eb35aa","datavalue":{"value":{"entity-type":"item","numeric-id":1971938,"id":"Q1971938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$984BCD30-937D-4F0F-B50A-90CE780E2BE4","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":"Q962647$FCD5EBD5-F31C-477A-AFAD-17FC4FAF8075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f9e13559b452a34761c3a25718ac89ecc51a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4719362,"id":"Q4719362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$5FF69787-DEA4-4435-98C0-60E02C0625C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf4c3489f9b1832441e632bd5dc683589e68704","datavalue":{"value":{"entity-type":"item","numeric-id":5389739,"id":"Q5389739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$C88AF482-87AE-4A07-95AF-7485BBDF40E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94035dea6fb80e0b5605756f1ce02bf6b9e7373","datavalue":{"value":{"entity-type":"item","numeric-id":2581527,"id":"Q2581527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$E4AA42F0-9B33-4408-843E-97D993DE2E19","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":"Q962647$0565EF8C-8682-4AD7-9694-4E501E6F9368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e307d8202430211aff4f8ad756e87450df64dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175281,"id":"Q1175281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$03FBF316-D715-45DD-BA18-D2C96B9AA9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72de648f95f59fee5e8bd46fb08eb99e3a73b7df","datavalue":{"value":{"entity-type":"item","numeric-id":5692478,"id":"Q5692478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q962647$C39D8D77-A198-40EA-8F6A-5524629CA344","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":"Q962647$F0FD2FD6-A41F-4EE5-A4B1-FF84ACC85F83","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":"Q962647$7C96C6A5-51BD-43B7-931C-B3DC0F28600A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4535b4b6f18bded86a2a04236403542962e2cc3d","datavalue":{"value":"10.1016/J.IJAR.2008.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q962647$8D3AF745-945A-4B09-8D06-71B2624915A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0b6443ee789ddb3fcda09d6702cd2908b11632","datavalue":{"value":{"entity-type":"item","numeric-id":3021922,"id":"Q3021922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f9988575dc23b60930a5574b1e831dc34e4dd7","datavalue":{"value":{"amount":"+0.8349650502204895","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":"Q962647$F5374F73-A766-4485-8A90-D9CD56C072A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de2bd14052f0d1fade0a7c25f107523e93f613a","datavalue":{"value":{"entity-type":"item","numeric-id":274463,"id":"Q274463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1580c95a696143fdf92f5efecbffb2ac522bb6a6","datavalue":{"value":{"amount":"+0.7900475859642029","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":"Q962647$AE36F2EE-768E-4833-90A8-6D2357A81D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddaca78ad136610c25854662270553244c5f2d6","datavalue":{"value":{"entity-type":"item","numeric-id":845301,"id":"Q845301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e63581210a537d5a7e261b567938f0ebe4596b","datavalue":{"value":{"amount":"+0.7796077132225037","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":"Q962647$C7C5E800-9F80-4BD4-9810-D50D9EA32659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d12de77e446ce1db351d8a0b6611b4c838ff9d","datavalue":{"value":{"entity-type":"item","numeric-id":6058018,"id":"Q6058018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba21233cffb3eaf7f22fdfbdce3d7114611b86a1","datavalue":{"value":{"amount":"+0.7736679315567017","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":"Q962647$DD4B4433-DCEC-4B78-AE4D-804FC72C63FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75b7d29d164f9e6fc01b695a4fd5ffa61a23180","datavalue":{"value":{"entity-type":"item","numeric-id":2658017,"id":"Q2658017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72dbcca639ca14231af59064f44390e1e7dd6c78","datavalue":{"value":{"amount":"+0.7715564370155334","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":"Q962647$2700D654-DFCA-44D4-B3C4-D5FF4B4E0213","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modus ponens and modus tollens in discrete implications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modus_ponens_and_modus_tollens_in_discrete_implications"}}}}}