{"entities":{"Q3455774":{"pageid":5235174,"ns":120,"title":"Item:Q3455774","lastrevid":46518171,"modified":"2025-12-24T23:10:59Z","type":"item","id":"Q3455774","labels":{"en":{"language":"en","value":"Proof-Search in Natural Deduction Calculus for Classical Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519946"}},"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":"Q3455774$93169DB8-C9C6-49C9-AE9E-104AF9E9CFAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2e0e94ab568ce0e8fd7c8a503fab755a682ee95","datavalue":{"value":{"text":"Proof-Search in Natural Deduction Calculus for Classical Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455774$729A7894-C663-46CC-B039-2A4891C1DFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6b8aeac6131e7302e7fa13f99c0162fdeedd116","datavalue":{"value":"1471.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$A1BDAB45-8BF8-41A6-9E3B-E7C3905415AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d682a6c84c00a4a1920465eb70df3ff66aa73ccf","datavalue":{"value":"10.1007/978-3-319-24312-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$60B4E113-A89D-4EAE-9C97-6502CA19F6FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$77A99ACA-BAD8-49DB-A00D-CAFD6EE089BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$D94740CD-4F54-4C83-835B-D75BD5588C0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$313212D4-A8A1-40E1-BBE0-634DF4886495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455774$1D4F2A88-E877-4545-BB5A-659952F32E8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$702556E6-06F3-4B87-ABC6-F7B2615DA5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$DBD428E8-4685-4837-9EBC-7F9877991300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$B8F1E6F2-3674-4367-8548-76FB2DE95EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$F1204528-B122-4B3D-80D8-25C4CF78AD9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ecb113d89ead294f23e500e7bdaab9aff81b7dd","datavalue":{"value":"6519946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$6B13A416-5ECE-46AD-AA5B-E95D194905BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e54f4df77577ed046cbae6af65e9233cb2763f0","datavalue":{"value":{"entity-type":"item","numeric-id":18928,"id":"Q18928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$EB8340CE-F0BE-4488-B190-DD24FBA50051","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":"Q3455774$C25F5A7A-9163-48FE-9E69-57AF9A5853BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dd5ea1e7d4a048de8edca374523b4b1ddd78337","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455774$2BE82536-5CA1-4190-BBA6-DFA495FBBCC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56ef08055cea6a858124627d65d1886366c3b3a4","datavalue":{"value":"W2255911289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455774$05987BFC-514E-4D5E-9417-542AEFAF769A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b39cdbbd8978f45d030adcda0de91bc385038cc","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$2CC3BA0D-D65E-40D0-BB41-798C6F34AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d8c86eb700bcd7804a2c549d04d7c274011c8","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$6156C383-9892-4059-B7CA-A9D76CCF7331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a670aae163c22f2639325695a7853c2de81d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2851938,"id":"Q2851938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$7BB2C776-3644-4F9E-9E15-95B5FC346AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e62e8dc8b88a2b83c54669e1bfa58da1647877","datavalue":{"value":{"entity-type":"item","numeric-id":2946756,"id":"Q2946756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$CEB79DE9-9EF5-4965-981B-E7EF3CBE913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aeff44231374374fbd56ecfde39f4fdd5a2740d","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$C2A06D31-737A-4C5F-B7D6-0360165E2866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$9B31912F-09F0-4F8A-88F5-1CEA84C9F0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$847FDF76-AF2F-4C65-8A2F-A7BAB7F54132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$16A12071-0F90-4B41-9082-5E3CCE844CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7199e603f501209bb36d180d41a74d484cd922","datavalue":{"value":{"entity-type":"item","numeric-id":3150304,"id":"Q3150304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$AFCF757C-79A8-4AAE-A889-BCA812A434AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$F6CCA9B5-DBD4-4261-B17E-682B92FBBA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$BFBF5D83-8D9D-459C-8DB0-046B245BA474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$9919DCFE-1787-4510-A9D0-1C7A6A372E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455774$AD0AF0FB-0D59-4C90-A780-335F8AAACD3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8601f2c220e4bfc2451ac1f63f2c6d2e366e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2811589,"id":"Q2811589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3efe0382c4bb39df915f809b64457d0d2cecaad","datavalue":{"value":{"amount":"+0.93195426","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":"Q3455774$060EC974-D987-4306-98C9-0FFA32025E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d287efbf474071384e6f6e766cc92b08cb54ba18","datavalue":{"value":{"amount":"+0.92964125","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":"Q3455774$438C3274-AC13-4E04-A8D0-C6EB8BC76B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5103124a1601551ef8bebac20ac6239f849a3a9a","datavalue":{"value":{"amount":"+0.9272713","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":"Q3455774$75213456-DFC4-498F-A19B-EEF9A1D89559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2391b73c05974a209eebfa739ad10f54b12736a","datavalue":{"value":{"amount":"+0.9268273","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":"Q3455774$785B6393-0EBD-4B31-9BDD-F2083EAF8C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad98dadb20f9e2d0ee31da95f72ae796333f8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1049689,"id":"Q1049689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e4f52f9569527020a7b7238d8787183614fb7e","datavalue":{"value":{"amount":"+0.92470145","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":"Q3455774$58C7FF93-80D2-41B5-B36F-F351C461AE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3360a61977a1ee968db1e29c50105216b7d324b3","datavalue":{"value":{"entity-type":"item","numeric-id":4268421,"id":"Q4268421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d80d74067af12152b7dcbe318f198dd375654c","datavalue":{"value":{"amount":"+0.9199232","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":"Q3455774$FCBDA08C-BE2E-483C-A2C9-9FF910505378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a02b38b72a61c17ddb29aa192d008c98fcaeafb","datavalue":{"value":{"amount":"+0.91796166","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":"Q3455774$268EFF88-5EF2-42D1-8782-4B88751EBA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81537a1f6487c35e62659fda3248dc8205fb2019","datavalue":{"value":{"amount":"+0.9164846","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":"Q3455774$E6F0AA7C-D7D0-46BC-9CBA-990B437C6F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa190218ec268009f555abdbe7192106833378c","datavalue":{"value":{"entity-type":"item","numeric-id":3535113,"id":"Q3535113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c736203682ff32ff8d0cdc5d5caffc951bd25b","datavalue":{"value":{"amount":"+0.9144492","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":"Q3455774$239FCA31-666B-47DE-B777-5D98C6503739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ae2f04d0c0f0e80423be90c15cf0469c114ec","datavalue":{"value":{"entity-type":"item","numeric-id":5024718,"id":"Q5024718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be5b2db2b00a9a463236a8623a731444c059ef0","datavalue":{"value":{"amount":"+0.9140885","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":"Q3455774$895EA900-6833-47F8-B2CD-D1AFE33EECE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455774"}}}}}