{"entities":{"Q2581527":{"pageid":2592270,"ns":120,"title":"Item:Q2581527","lastrevid":44405688,"modified":"2025-11-22T17:37:27Z","type":"item","id":"Q2581527","labels":{"en":{"language":"en","value":"On two types of discrete implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244780"}},"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":"Q2581527$8C18B7C3-6FFA-4349-841F-05120FF7283D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef2198270a7769662840ba701967ebbdde98046c","datavalue":{"value":{"text":"On two types of discrete implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2581527$278528F3-4583-4CE2-B8F7-6FA774A37F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dff3e8c9fc57bc5d57431bd930a0f09f5cb2f9b","datavalue":{"value":"1084.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$D60E72A7-1E4E-4DE6-8A09-03C219A336B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$EB011511-C5BF-44FA-928C-2372B25BEE7D","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":"Q2581527$51C40B0D-D591-4DA4-A433-3047A1E513B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2581527$F77ACCCA-0339-43E7-AE2C-3AE3DFAC3573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$0EA73F6E-486D-4FA1-B65F-63DD9ACCA886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$288A0699-46AC-49EC-904D-22ED8FB35D3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fbc1956e344f54d664bbf33bf858a6433034933","datavalue":{"value":"2244780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$00C46AA1-F7EC-47C4-823E-E8F84B98DEE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f17541ad579131c9baf195aa863e331d795373","datavalue":{"value":"t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$A1EC4BE8-C89E-435B-9E74-57939D8490E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9593a616d14178ad7dc44fcb4156b817a01b71dc","datavalue":{"value":"t-conorm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$72900B06-690E-4DEB-9B64-39AB42DFABE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$3C3D21BD-87F5-486D-9648-CD27FB009F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b15ff709854bc56138d5c15701996f271978e1e","datavalue":{"value":"implication operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$DBC878C5-8F30-481F-A663-86A42B77A8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e87fd086f7fab8e7ea15b94e04b680f085c3805","datavalue":{"value":"QL-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$165BCB22-369E-4F47-8D3F-AA71BE9A4431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c5e850dd513d6b0bf0744c8e3f0f124fdb7b68","datavalue":{"value":"NQL-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$AA33FAD5-546A-48F1-A07B-9C1A6AC5AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a1bef3395cacf6034f8e302b08ce374e33e8dc","datavalue":{"value":"smoothness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$A82358EC-3EDE-46B2-B422-A0642E0256C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb5835a749ad65b784bb3f6de64e3b83e10bb28","datavalue":{"value":"finite chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581527$0340DD03-9BF3-4783-8262-4785809172D7","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":"Q2581527$1A9FBEDC-4BD8-4AA0-B375-F0F7DA0CF34B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca218d432b98131fd4549b17734f029ad57f94fd","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2005.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2581527$6F729359-0C52-4640-91AB-4FCAB9D78DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15b330d5adebdd55b03ade69e30cb135fa30231b","datavalue":{"value":"W2058587526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$EA80FEC9-661C-4D78-9B4B-BFEDF6FE6E43","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":"Q2581527$440C963A-5110-4E50-A288-20098F81A89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154a6eefd41f2ab0c07815e827436a49acc77894","datavalue":{"value":{"entity-type":"item","numeric-id":1867699,"id":"Q1867699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$941E7256-48AE-4921-959B-E7B63DCC6E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886ed8a108735027e0dea112628523913ff683b5","datavalue":{"value":{"entity-type":"item","numeric-id":1177687,"id":"Q1177687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$8CC3A1CB-7AB6-4574-A5B4-28CCD1251125","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":"Q2581527$B5997D6D-67B9-4764-B400-997467C6EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56af834022ca76ce49c3d46530d68c823b60bdca","datavalue":{"value":{"entity-type":"item","numeric-id":3838055,"id":"Q3838055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$5194A4EF-A296-40F3-B5C7-08850AF46DC7","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":"Q2581527$47118684-3A10-450E-B5BC-243FDA0DBC6B","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":"Q2581527$1A9F57DD-282A-4CA1-AE86-16D1C4762281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c090fffebb68c7c0a23e798acbda9fef13eb74","datavalue":{"value":{"entity-type":"item","numeric-id":1876496,"id":"Q1876496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$3C607195-A686-4C4F-B860-B41F41651740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6c13355e05731a62a788a44eae287218fb2495","datavalue":{"value":{"entity-type":"item","numeric-id":4272485,"id":"Q4272485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$9FE19EA0-1CFE-41BF-9C9C-3E4C9D5B28C5","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":"Q2581527$B57EBE04-3C9F-453D-95B5-14060ABEFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed91b59c08c1df521771d1a1656800dd15412003","datavalue":{"value":{"entity-type":"item","numeric-id":1867637,"id":"Q1867637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581527$9760E8FC-A8DB-4AFC-B6F8-370E3E184A5C","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":"Q2581527$6D7B52EA-E80C-43BA-B83F-BFAB403CF3AC","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":"Q2581527$995A1EBE-6088-498F-898C-B278153F9383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50116ec934bc2bce2a48e4460512af3e7574cba4","datavalue":{"value":"10.1016/J.IJAR.2005.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581527$CC250D58-0A52-4A69-97A0-4F3B147F09BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940ff7c62ca292ab53413245380193be550cfa57","datavalue":{"value":{"entity-type":"item","numeric-id":1653647,"id":"Q1653647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966448a0b03ebec45312c992a95f50f6c9559704","datavalue":{"value":{"amount":"+0.84844255","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":"Q2581527$C37602F3-5691-4DF8-A3C3-F044DBAB0E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51417b5a02fdd95f83c3dce16b939f331d82506","datavalue":{"value":{"entity-type":"item","numeric-id":962647,"id":"Q962647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77af247d6bd84ba24fa7ee45aecad641bfc53098","datavalue":{"value":{"amount":"+0.8415876","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":"Q2581527$862B757D-BD12-4344-A553-716C53DBB4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe385388bf79e99e437e182a8169f72aa550a8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2457029,"id":"Q2457029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542ce86806612e9b4e067451e66e89139d602baf","datavalue":{"value":{"amount":"+0.8353863","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":"Q2581527$1C2F7F97-C1F5-4727-9DA1-BEDF8ECF52B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b7e86e400dd1760d5de506685dc8c6f03d81d0","datavalue":{"value":{"entity-type":"item","numeric-id":5957712,"id":"Q5957712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39430e94a622fd41edc3f7e245e649c6fd4a7483","datavalue":{"value":{"amount":"+0.8108837","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":"Q2581527$4F1CCBC8-DD15-4496-82EE-2C6488EA1FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6531aa86165512d980387f586a21ecee5ef7c20d","datavalue":{"value":{"amount":"+0.80693114","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":"Q2581527$6F24A121-3199-4A16-BCB4-18EE7D887AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf047dbac81a85b80a58094d97879403ce182894","datavalue":{"value":{"entity-type":"item","numeric-id":2974671,"id":"Q2974671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adc8a96a219c446846e133c716b1adb186c84a9","datavalue":{"value":{"amount":"+0.80687845","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":"Q2581527$3E4E9AF9-FB70-4B52-92D0-A3EA00016992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f18267a0a0a156f8d1c7303baafb1154d550a96","datavalue":{"value":{"entity-type":"item","numeric-id":2994287,"id":"Q2994287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfb17520cdaa8e4fe5ef4d220e4a6af0c0bc0b7","datavalue":{"value":{"amount":"+0.80578935","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":"Q2581527$F56B4637-67E4-4DFB-8C1D-CE4654F84D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba65a9fcaf9f84599b603c8f71d162c9342e444","datavalue":{"value":{"entity-type":"item","numeric-id":695269,"id":"Q695269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db535b0ab8ed2e7bb973aad397b28405f4ef496","datavalue":{"value":{"amount":"+0.799098","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":"Q2581527$290FA7EA-012A-4560-8128-9ACF165447C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5482d6706ab8db6fa113fcd53dcf1235920cf468","datavalue":{"value":{"entity-type":"item","numeric-id":1334600,"id":"Q1334600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d73458a7e78cfbffec917cdfeef38c89e59635","datavalue":{"value":{"amount":"+0.79884917","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":"Q2581527$3056AC89-397E-4B17-AD23-B06186A3A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da8c70dcd9929b2a7df6346af5657136a4ffdde","datavalue":{"value":{"entity-type":"item","numeric-id":1750348,"id":"Q1750348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec5a5fba76f1c3a450c90111c0c00ec4cb5093d","datavalue":{"value":{"amount":"+0.7987931","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":"Q2581527$6066DFC1-2414-4ECD-9BBF-4BDC42B9CD47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2581527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2581527"}}}}}