{"entities":{"Q332082":{"pageid":333849,"ns":120,"title":"Item:Q332082","lastrevid":61068636,"modified":"2026-04-10T20:58:33Z","type":"item","id":"Q332082","labels":{"en":{"language":"en","value":"Natural deduction calculi and sequent calculi for counterfactual logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644700"}},"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":"Q332082$F612653A-3678-4B99-A9F8-26B0E490EEAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ec5966cd3d3ac250595807a21171e39c3f75e44","datavalue":{"value":{"text":"Natural deduction calculi and sequent calculi for counterfactual logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q332082$F32CA6D4-8E16-4041-A038-94DEACE8A555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55c2f55905d7756b5b59476c89ff677fde5a5b20","datavalue":{"value":"1417.03286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$C4504F06-8D17-491B-8EC1-6D6D672FC3CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$E8713EE9-4855-46A1-831D-98E3FD4BAC8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$DE7F84E5-9A53-4943-961D-BE9238798CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-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":"Q332082$54F2B325-1D3E-457E-8C4A-E19EBDCE4D63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$1F912270-6C03-4A74-8A26-84FCB93AD36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$03D03276-1D3B-4CB1-AF3A-A72B8714F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$17D6ADD0-D796-4822-8CC8-8A848DDDD6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$C0151B95-93F9-4E03-B4CE-42491E8ABAD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e64bc79751f4093f3c2c0758f4791e5151f814e0","datavalue":{"value":"6644700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$E92BB198-AD30-4D0C-BACC-E38F7EEA7626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7047974fa86be02901a3fe85241d3257b6164c17","datavalue":{"value":"natural deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q332082$D7D98A17-EDEF-4B37-A65D-456F162DB3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q332082$746ACC58-7BB1-4B77-AC59-BF4621666BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q332082$0F4152D6-DBF3-4220-AD3E-034E1F5435D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269e0b0130baa0220c1aa5c76133a88d14d0827e","datavalue":{"value":"counterfactual logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q332082$BA2ECAD4-6841-46D5-9266-76685CB13DA2","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":"Q332082$E9C54E41-C53B-4621-A5A0-BA66C64757E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8526ae31da3d97d7ac9dacaab5fca668f2f3d9","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9662-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q332082$55C3FD46-E43F-40AF-A30D-F49A0A3051EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c848cb6749fd2fffb8552d97340197fb12479088","datavalue":{"value":"W2280276996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$E50A3085-8BF0-4EA7-AA7C-CA81D00F53A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f0bc88aa55032297db9b76efec86c6cc575cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2804318,"id":"Q2804318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$DBD0826C-306F-4AAE-BCF9-3B02E58783C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3b132c0311080781579332db08c582c5afb4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4796462,"id":"Q4796462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$C3EA5255-F954-4EE3-BE46-8F674C094FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$63CA9D88-7568-4824-B5D7-4C6397CAECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$32117331-4641-465A-9D0F-CFA2CA9E5EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d445c7ef12d43dd508cd858b96c215919c29e542","datavalue":{"value":{"entity-type":"item","numeric-id":3043113,"id":"Q3043113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$6AC01836-DFBE-481F-AC75-43C0CA2B5861","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":"Q332082$FBC40251-A3E9-4BB7-8A2B-581D664072E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df371ac2d0a17e7e1006933262fa9d95a1329e06","datavalue":{"value":{"entity-type":"item","numeric-id":4789444,"id":"Q4789444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$B21775EC-92B2-403E-9BB1-38F60A5F454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$FEC92C65-938B-47B4-865E-EA8D5C04B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adbcdb9adf8c49da48cabafac0ca31c3d12bdb6","datavalue":{"value":{"entity-type":"item","numeric-id":3455776,"id":"Q3455776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$E987E168-0E57-409C-B014-89717F8242E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b80a374b3c6924c7ff54b10bc049ba49c7c861","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$AA13D273-EA8A-4D58-B7E9-962631D77FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19869f725e62f8398666e086cdb5b9b1635a5bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$848E7930-5239-46B9-8D6D-A1EFF25FE678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$7B7B763D-404F-4E7F-9825-3866E8DD2683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$79E6B17B-1FAA-4D4D-A954-FD8E7908B95A","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":"Q332082$7B4E2EED-271B-4B9B-A692-C557DADF971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$9188A730-DC9A-490C-A85D-4C93FE2E69D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff13f8ce31322a6d09188edcedc147aca3d62ef","datavalue":{"value":{"entity-type":"item","numeric-id":5635429,"id":"Q5635429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$C2A81BD2-80E8-40CA-813C-94CB76467B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332082$F16E97A2-F695-4ECF-BD27-8DDCCA3B3CE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4047708de4da28ea1b3af63f159f5bf955d46dd1","datavalue":{"value":"10.1007/S11225-016-9662-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332082$EEE09987-ED4E-4238-87EE-F4BA17F94836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1641f843794a20b406390307a1588e85778a1ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2835877,"id":"Q2835877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a766231f3ee6e38dd1fffbf2d3093f807478b2","datavalue":{"value":{"amount":"+0.8458830714225769","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":"Q332082$AD524951-C548-421F-9B26-55C139C22472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e00a1bd49664e7ae85ebe69266408f0a5efa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5224572,"id":"Q5224572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac4fce0839386dac66522e9f253c15840302a7f","datavalue":{"value":{"amount":"+0.8013365268707275","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":"Q332082$03680F82-B0EC-46C7-BD3C-A81EDB8DFE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dc9f309b2dd05a028d3948ecc4471afb9fdf93","datavalue":{"value":{"entity-type":"item","numeric-id":2804473,"id":"Q2804473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c2eca11ae5cb8c025dad0878fb51d1728ab3cf","datavalue":{"value":{"amount":"+0.7927560806274414","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":"Q332082$64874A2F-A444-4AE7-9D40-590E81B0D75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b35930d5514a058f904bd3dd3d7489f48388770","datavalue":{"value":{"entity-type":"item","numeric-id":5215773,"id":"Q5215773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2475dc706fb5d605ab7f13bf3ac9dd12857e0149","datavalue":{"value":{"amount":"+0.7859730124473572","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":"Q332082$16D541C2-DB82-45DC-BA72-3F5BEED2D021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f3059e47a50c6a853d0e24ba3ac620b2bf7510","datavalue":{"value":{"entity-type":"item","numeric-id":4225116,"id":"Q4225116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e2791a120d956c4b6621926e7c41975da358ba","datavalue":{"value":{"amount":"+0.7783792614936829","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":"Q332082$BE280A63-A76B-4B61-BB95-13036A831B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction calculi and sequent calculi for counterfactual logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_calculi_and_sequent_calculi_for_counterfactual_logics"}}}}}