{"entities":{"Q2770971":{"pageid":2781709,"ns":120,"title":"Item:Q2770971","lastrevid":83289230,"modified":"2026-05-07T07:05:22Z","type":"item","id":"Q2770971","labels":{"en":{"language":"en","value":"Inverse negation and classical implicative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1704396"}},"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":"Q2770971$88D310BF-3262-430D-9627-D2228BE5FA4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0b05909da2f81da46f4c069291bb1b1186fb84f","datavalue":{"value":"1007.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770971$32C90EF7-D4BD-4D1C-BE6A-3CFEA2F7D263","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49961f8f05963b4b9fb4ada0a07a7b103787b5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2751813,"id":"Q2751813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770971$2A00CB01-D611-41F4-A49E-1BE728DFDEBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f004312de52306fc7600bb16bd0709c1b334f36","datavalue":{"value":{"time":"+2003-03-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":"Q2770971$F4984F07-3813-4B7A-B9DD-A5120EE14042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770971$9C7BC4EC-3DA9-4BC2-9A4F-0DACE3E089EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ec54076052d4d7ecb19bde2e4d6d9bff52d47e0","datavalue":{"value":"1704396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770971$22EC03AD-A63D-42BC-A350-434A3577BDBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc0527cac88e75fb5cfdb0f13a3012fd6f5e98e","datavalue":{"value":"implicative-negative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770971$06279704-C217-47A1-B015-41A6CD530BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1712b38abfb7ce6583b9166a1fe748dc74f0348","datavalue":{"value":"inverse negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770971$0BFEAFC8-8DE0-4289-8478-3F711294D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770971$A9709CBE-0B88-4A78-AD92-9B7921CF6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770971$6D5C52E2-388D-470B-A392-78895FC985C9","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":"Q2770971$55DEAFF7-10CF-467E-921E-8AB475CF81F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9890a94e8b97054cbad77666224e2cc502db109d","datavalue":{"value":{"text":"Inverse negation and classical implicative logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2770971$63AA30A5-AE3C-408B-9B09-73DE755E67A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770971$44CE216C-B8C2-4942-93B2-84D109567AF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cb1671af77f3893b838c910d06f34e1f6e337b","datavalue":{"value":{"entity-type":"item","numeric-id":4870572,"id":"Q4870572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d1b3e94e1bd22839fec6027273a929dcb46992","datavalue":{"value":{"amount":"+0.7406752705574036","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":"Q2770971$AEE37FBA-32B4-4B53-ACAE-8D68FD7EF499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6f3c95250b0b00dab221e9981e99a7ab73780","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2e59bf05e0927b5e2e7cf80ddaad31ba005090","datavalue":{"value":{"amount":"+0.7225248217582703","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":"Q2770971$67269EF5-A232-437E-B03A-2C455DC8AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac59f271dfd57306337c7bc9595211d6702d06ee","datavalue":{"value":{"entity-type":"item","numeric-id":4563701,"id":"Q4563701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32be6be345997e02e9925ca66e5f21e4da87cbf","datavalue":{"value":{"amount":"+0.7132166028022766","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":"Q2770971$A794198C-E1A8-4E32-BE11-2E4CE5911EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e629d1cd6ffbd991fdd8c8388457a782a8aefe2","datavalue":{"value":{"entity-type":"item","numeric-id":2806784,"id":"Q2806784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ec2509141199e48c882ca28b7d4db1ef433d3f","datavalue":{"value":{"amount":"+0.7121815085411072","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":"Q2770971$E16E76C8-B964-4474-81DC-3E17FB580E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7144894b1bcaaf76911348215d10dd621f084cf","datavalue":{"value":{"amount":"+0.7115101218223572","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":"Q2770971$33D25D05-7C7B-492C-89E4-F6F164689A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverse negation and classical implicative logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverse_negation_and_classical_implicative_logic"}}}}}