{"entities":{"Q4999459":{"pageid":7029036,"ns":120,"title":"Item:Q4999459","lastrevid":56895288,"modified":"2026-03-24T12:30:55Z","type":"item","id":"Q4999459","labels":{"en":{"language":"en","value":"Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368977"}},"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":"Q4999459$A3DC677D-5FBB-4855-ABF5-E10F3C6A01D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25f26b900c95a1bec726a7a895873ccdc954c445","datavalue":{"value":{"text":"Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4999459$58B1CDAC-920D-4D8B-A310-86B01BC7C4A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15edd6834c9a083a0050d1f0a08fd1ff65334c86","datavalue":{"value":"1477.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$BD9AB960-285E-45AF-AE01-A3BBFA0AA78E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb43bafcfe83326cbd8e6e1a7883513149669d22","datavalue":{"value":"10.18778/0138-0680.2020.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$908B266B-D634-4D50-B5A2-19CBAD5DF095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f1a0d7365f4e13a10681d70e4d8cbb0b717e58","datavalue":{"value":{"entity-type":"item","numeric-id":831219,"id":"Q831219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$EC9B4041-6DDD-45A0-9D18-988A74CD367D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$F385C514-FE02-4473-AB06-42BA8E88BA63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1b07861f0a8f55d609d0c858d9f681c9c0e6b5b","datavalue":{"value":{"time":"+2021-07-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":"Q4999459$35DE1A77-7C19-446A-9649-78E579945D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$AA6A467A-EE20-47DB-931D-3D62AA5014F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$9D5F14E8-6A03-4153-AAE6-ACEBEBCAA654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$6A02DDF2-DE1A-4B14-96B1-926184B0D7D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b368023353ff8135bce63d191cc2dba229d5b540","datavalue":{"value":"7368977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$A15E14A0-333C-4BCE-AA59-ED7BCF1DA127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22377efcec8c25821784a69b395a78249d69cfce","datavalue":{"value":"empirical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999459$9FFE16A1-9AD1-4AF9-A679-CC309A3D8323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ea92629965fb26669c34faaf7a7b808ee3ed7a","datavalue":{"value":"co-negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999459$74BE9C36-4DE1-41CE-8A74-358B172970BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999459$A6BF0577-1715-4F8C-9D0E-46E7AFBE1842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999459$46177E0A-D955-499D-B9B1-5ECA2CAD6F55","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":"Q4999459$48C45A66-5B44-4023-9695-D8A97E42C4B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ebc62e46dd57373e5a6e44b65036bc4f48e788d","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2020.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4999459$8C229B53-3635-4047-BCC4-FC2DBC1B5074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f53355c8acbdceb77dd5084f2cf53bd7071d0f2","datavalue":{"value":"W3048696070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999459$B7BE0B11-31ED-4E38-B1BA-36A0841D0D68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c98a013c9db2f476146a2adecaf1e0f57be407","datavalue":{"value":{"entity-type":"item","numeric-id":4636288,"id":"Q4636288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$EBC7006B-98BE-40DA-873B-91CD44B1DC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a073d26065a8386677be4e7cf8b199e312d7c95","datavalue":{"value":{"entity-type":"item","numeric-id":3546092,"id":"Q3546092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$B252748E-2B21-49A3-9353-8BC06CFB4D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59c2041991d762582a33a84b533a59ba8db1f00","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$FC54C8E7-30FD-4622-B51B-97ECEDE633D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$886B3B67-CBDE-485A-8AF1-B0B51B700C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7642d147ccb2e67467d8f1ff4b16b4809bdf4a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$D2900D4C-61C0-4531-9BC4-51B02C72CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$B9B0C027-F5F1-47B6-863E-6FC076F24324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712ae4afad03497fb25c4fab9e338df8484fb795","datavalue":{"value":{"entity-type":"item","numeric-id":809995,"id":"Q809995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$E225AC5F-2B88-4642-BCBC-841E875D45E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$7AFCD655-F245-4B40-B484-01AEC0AD86CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$B85094AA-991F-4AB9-97CB-7440B5B1986F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aeca5241dc99dcb9544bbe712bf45c404963202","datavalue":{"value":{"entity-type":"item","numeric-id":5147749,"id":"Q5147749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c5badd8ea0961ea904eb53d5cd8c6e607068e8","datavalue":{"value":{"amount":"+0.94376874","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":"Q4999459$16A74317-E33A-49F5-B4E6-05A396B119ED","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":"229f4c6ba2af7b2b1df4a1062801cb2fa7cdf795","datavalue":{"value":{"amount":"+0.87419915","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":"Q4999459$6FE2687E-DF47-4104-AC72-7D91134255E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92dc078299696f4e9eba95ffd121aedc1a78b6","datavalue":{"value":{"entity-type":"item","numeric-id":4903813,"id":"Q4903813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf6198c55ef6abdecb76de2b88d42af6e702036","datavalue":{"value":{"amount":"+0.86393166","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":"Q4999459$F61FDBD5-9EB7-45FD-B4A0-DC66F09D9A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c0c9cc7d721a8e4e8146bda71c35d72286210f","datavalue":{"value":{"entity-type":"item","numeric-id":4636036,"id":"Q4636036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc31dbbca8c5c964ad63a5723ecdaa9972f04c1","datavalue":{"value":{"amount":"+0.86260176","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":"Q4999459$909E6665-FAAA-4A7F-BBFD-2E1822EE4605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc59ee566a00980cd051d24d8e5012344c0530b","datavalue":{"value":{"entity-type":"item","numeric-id":1006496,"id":"Q1006496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f64a44e457ea011333943bb623f0183fa69482c","datavalue":{"value":{"amount":"+0.84694505","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":"Q4999459$CE7DB06E-FA62-4ADA-9EB7-623650B88595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5dcce4013ee3292b5cb58d11534494856d15ba","datavalue":{"value":{"entity-type":"item","numeric-id":1942343,"id":"Q1942343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a95477825d747176485106391c917b28e174225","datavalue":{"value":{"amount":"+0.84285057","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":"Q4999459$2A9185A4-C4A6-4680-8B31-7ACB908EFF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacf0ee48cf61647bf3461db8d242d4d903c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5411431,"id":"Q5411431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1929b30190bd05c0119b60fd097394b8bb816f3","datavalue":{"value":{"amount":"+0.84259695","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":"Q4999459$D48AC475-A834-48DD-88B0-FCB393F3B1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28667e395d07c6e76dae542564f0d91f95255579","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8d02ef2e4d8acd8a91f9a4f2b5e28eca772276","datavalue":{"value":{"amount":"+0.8407599","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":"Q4999459$5A4B2D1B-9674-40DD-94A7-2E5B925BC1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6ea0052b43e35b31147f15bf0b1e1d7a1acd55","datavalue":{"value":{"amount":"+0.8399148","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":"Q4999459$8400785A-777C-44AA-88BF-3EFE492D581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461e685ce058228a766afb66afe3dcec65eb0eda","datavalue":{"value":{"entity-type":"item","numeric-id":2751057,"id":"Q2751057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6131606c48b95d2208f832f1c9993587772aa281","datavalue":{"value":{"amount":"+0.83757174","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":"Q4999459$94465A5B-7D1F-4547-BA3A-D14BF878DBEE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999459$A3BCE80D-76A4-4DA7-BAF3-832329A44883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4999459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4999459"}}}}}