{"entities":{"Q2804046":{"pageid":2814784,"ns":120,"title":"Item:Q2804046","lastrevid":42137136,"modified":"2025-05-23T16:49:02Z","type":"item","id":"Q2804046","labels":{"en":{"language":"en","value":"Natural implication and modus ponens principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574610"}},"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":"Q2804046$FEAD00B3-91BB-4553-B5B5-D5DD6887CBDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd8a550ab69c2ff54c3eae385642671a3f91ed24","datavalue":{"value":"1338.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804046$82925722-9D3E-403F-9B38-FD06FE264FCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93d911ee8dcc508616bc351c9c243c31f352e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2804045,"id":"Q2804045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804046$39816308-8822-4C3E-9163-E6D8DA677B2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bab1e04a2dd935c04e3f5ad0d3bd237dec213f4","datavalue":{"value":{"time":"+2016-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804046$4193DE20-9DE9-4D71-AFE4-6B5B6A78C5D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804046$83F04D38-F284-4A6C-AAE5-4E9922A51F5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0239cb71b7e641200c28ca26b2e479a42273891e","datavalue":{"value":"6574610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804046$EF63DD3B-3F01-48CE-8546-B8AC623E0B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804046$969DD2A7-28AB-4362-B388-7D38C8C7D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b6ea2fdee9ed02c4703a6a4d850d07c05778ec","datavalue":{"value":"natural implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804046$1A0FDA79-FA7F-4EC1-869A-2AF58F705764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ceda5fdc1c5f73fbb82241150a2707f02c6ca58","datavalue":{"value":"modus ponens principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804046$BE548D0C-DE37-4624-B166-233557E7246F","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":"Q2804046$8362A34F-275C-47B2-9355-64866E411E9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5aa3081b553142175ae82e6879e8fef299b48c","datavalue":{"value":{"amount":"+0.8874525","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":"Q2804046$47C4CEBF-4F3C-474C-9AD2-D225A60D9ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aa2fc351b7bd12bae8a271be1dcd96021a9397","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318d8a289a48d73ffe98244376fa1be0177d2793","datavalue":{"value":{"amount":"+0.8860959","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":"Q2804046$8714B867-00A0-48DE-9BC1-7CDF38CC23EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce256adef124d09eb756ed038608701398011fab","datavalue":{"value":{"entity-type":"item","numeric-id":4294473,"id":"Q4294473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f31126c16974dc30487f683ba9b07c6728532b3","datavalue":{"value":{"amount":"+0.87589073","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":"Q2804046$ECA4B3CC-6E53-4F9B-B8C1-FE37FE8137F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bb2f1fdfbf2c3b0ea242c71bd5a10d1d7498f3","datavalue":{"value":{"entity-type":"item","numeric-id":2631649,"id":"Q2631649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6af8b150d6642015a886228b96cba89ce6396e1","datavalue":{"value":{"amount":"+0.875211","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":"Q2804046$6C3A2573-34D9-4E9D-A687-2CF1BED500AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ea666d9576128fa78998fbf051f0d1b80e1a75","datavalue":{"value":{"amount":"+0.8696654","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":"Q2804046$03EA67F1-58B4-47DE-B54D-C36B10C17F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ba66d2c3227381ee1f820afe6e7f093220b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5224775,"id":"Q5224775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92971f08c23eca19492eb9c286a1372bb124a5e9","datavalue":{"value":{"amount":"+0.86067927","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":"Q2804046$44621F3D-6A11-43B5-B08B-1278D3486652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e662408792f6c84e9883ab64e92ef8978295e5b5","datavalue":{"value":{"amount":"+0.8582876","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":"Q2804046$389C7B63-E96D-4F35-A2B8-F9B9865A7926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e6e7a1fe189e42816a8f633061159bb0aa6f36","datavalue":{"value":{"entity-type":"item","numeric-id":3550858,"id":"Q3550858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852be45a2563dd35cade71e72852c2e9eaf31908","datavalue":{"value":{"amount":"+0.8564072","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":"Q2804046$4157D423-2C70-444D-BEFA-7086310D6B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36111ab5d39b4ec19e7903bac27a7b30f6365db","datavalue":{"value":{"entity-type":"item","numeric-id":877241,"id":"Q877241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc413ca2727bb53af5564b138d984dcaddd0e296","datavalue":{"value":{"amount":"+0.8562804","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":"Q2804046$8651E222-1EB1-48BC-A70C-AA7BCC19CD48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9eede607011feb7b048bcec8dfb3d96dd98e303","datavalue":{"value":{"text":"Natural implication and modus ponens principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804046$3E8962EB-0F73-40A6-ABDD-B619D874C1C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804046$FEA0C4A1-E1DF-425F-B604-D9D480C6ACC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804046"}}}}}