{"entities":{"Q2278843":{"pageid":2289586,"ns":120,"title":"Item:Q2278843","lastrevid":71743884,"modified":"2026-04-14T00:15:35Z","type":"item","id":"Q2278843","labels":{"en":{"language":"en","value":"A cut-free sequent calculus for defeasible erotetic inferences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142219"}},"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":"Q2278843$8EC634AF-3853-4D8F-8AA2-BFEC9100D6B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f82b78102a50e0af4bd4603c72508fe35e3e4a6","datavalue":{"value":{"text":"A cut-free sequent calculus for defeasible erotetic inferences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2278843$724BC753-F45D-4A54-B1C3-7A784C2D85E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62ab51a6ebbc8a8e13a176e31301e72de69dea7c","datavalue":{"value":{"entity-type":"item","numeric-id":2278842,"id":"Q2278842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$B9974656-9F7E-4312-99BC-44B5476C5154","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":"Q2278843$0C94CC22-6BB2-463F-987A-CD3962B48816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bef9928ec9078c68c2933d242e4599e8cb078c8f","datavalue":{"value":{"time":"+2019-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":"Q2278843$0FE18201-7E9C-4AE7-82D5-F336493420E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67b0eb2237dcac8add1049cfecf74f63dc078b10","datavalue":{"value":"https://arxiv.org/abs/1811.06883","type":"string"},"datatype":"url"},"type":"statement","id":"Q2278843$681A0EAF-F02F-43AA-8F41-08F9D003B226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278843$0E2B3F1E-AF0A-45B8-BBC6-9ACC146DEC69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"520604604e06a0525081d7bafec5a1a2993eafb5","datavalue":{"value":"7142219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278843$8156CBA8-D45B-4B5E-A4BF-CBCA4EEBACC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9c1b8c0fd9e0e04efaf9ba49a8c7d4bb3cdf42","datavalue":{"value":"erotetic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278843$34CE45F1-6F84-4DF9-AA8A-59F1F0F48189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278843$C7825FBF-D98C-41F9-84E3-40DAD01A7D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278843$7EFD8797-4DCF-4558-BDF6-F668085176A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37792fe3c11b5fbdb2f835ed9a1fafcde04db7f2","datavalue":{"value":"defeasible reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278843$92E262A3-20B1-434B-BA69-6C2AD60D3B01","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":"Q2278843$75B226DC-DED2-4DC5-8CF5-0A3D2ED0FD75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9a21a15e4bc4c2f3866f1fa8a24d721b2c3a5b8","datavalue":{"value":"W2900616281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278843$E70558A7-9763-4C85-98E3-B841AD66CBC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a4c6132f7b227c8ec0544bdbe3d7efffc04c47","datavalue":{"value":{"entity-type":"item","numeric-id":4113804,"id":"Q4113804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$48ED01F5-DBE2-4E8A-A6A3-4AD54374B4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71138d348d6096487d0692143e4e6ed18d82a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$23DAA184-FB63-4794-9CD6-C39953D69F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b333c0517b9100c21742778c3680d297ee738c2","datavalue":{"value":{"entity-type":"item","numeric-id":514591,"id":"Q514591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$63C6631D-39E0-46BF-99E7-6F2196154738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ca84f7aa53b5e71e8f370677fd5783a21ad679","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$3204A6BB-1446-4AE7-9122-9585BEED131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbe22b68f3b09c028441a5544fb9640b0d7c371","datavalue":{"value":{"entity-type":"item","numeric-id":4173340,"id":"Q4173340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$4A93564E-9B2C-4B2B-AC45-22FBF351D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c9f5561e3155bd445f7a0f8e776f9c8c010b93","datavalue":{"value":{"entity-type":"item","numeric-id":4109636,"id":"Q4109636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$6480A4EA-F901-4A6B-B9EA-F28D7D665C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb103918e031217ff37d103578191225b1a433c7","datavalue":{"value":{"entity-type":"item","numeric-id":5843956,"id":"Q5843956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$E2F0CF45-9B40-4F35-9B3C-0246BB56DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f304ec4dfdee91836b173349673a23b1b162ba5","datavalue":{"value":{"entity-type":"item","numeric-id":383562,"id":"Q383562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$09C4C51C-6ADF-4883-BAAD-1B92EFDC2A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db7c8f60e9672a41c5d1d953615a990364bd54","datavalue":{"value":{"entity-type":"item","numeric-id":4811772,"id":"Q4811772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$9BA3A49C-89E8-4751-900A-BEA05ABA71F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb98811df87eb4444770359179b26645f248a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4644567,"id":"Q4644567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$AABB4766-DE4F-4841-8036-7B56AFFC9DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ffb139b611f3f4d51fdd9fe821033f42728b18","datavalue":{"value":{"entity-type":"item","numeric-id":2987041,"id":"Q2987041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$C9C64E1C-7129-4A04-9ED0-E44C21351353","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":"Q2278843$4B44B766-8BDC-4333-AEC1-DB2667020EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c78cdfcb5522837b65a574546a4b21a5164ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$CED535A7-17FD-4F56-B2EF-E34819C4AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526dc3de73ea4df5ad33987bf3d3674b8a6670c4","datavalue":{"value":{"entity-type":"item","numeric-id":2872612,"id":"Q2872612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$4342B788-5509-4EA5-B123-E764DB6311D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2ebab5c3724d9114207b44a3499e562913eb75","datavalue":{"value":{"entity-type":"item","numeric-id":2422531,"id":"Q2422531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$0AC95865-32C2-4AC7-A2B2-C71E5CB7AC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e53ac15c4e298f20aab0306489bf59e7ac95e2","datavalue":{"value":{"entity-type":"item","numeric-id":813092,"id":"Q813092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278843$2DA8C448-D471-4B2F-8562-8B8B631F80C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7fcc2c8ec892c1cf4593e58a15f493cff88f4b52","datavalue":{"value":"Q128900159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278843$9D4A3F14-B176-4E31-AC4F-EB5BC276651A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0c0288f5e6ebeac291d5e00f2cc7c551fd2d780","datavalue":{"value":"10.1007/S11225-018-9839-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278843$CD057972-B283-4AAE-A65C-8FF980923C35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e662dec4064e2c2421f7561940719260a08ecae","datavalue":{"value":{"amount":"+0.9022954","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":"Q2278843$7AAD025A-973E-4F0E-8E4D-6F43E6B3862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedff2a5fd0ec7cd0603ee32671f98cefcfa47f6","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18098aa6867f24c290fee28e26e7f3f3bb416f4","datavalue":{"value":{"amount":"+0.89363074","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":"Q2278843$999B5F51-1319-4602-BAB8-DF899E260212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61affd34089e7e43a6b50b51c0dbab91de126c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5283435,"id":"Q5283435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593fad11b6f4341100fd682255912a50244b4a56","datavalue":{"value":{"amount":"+0.89092547","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":"Q2278843$FCB632B0-306E-4E2E-AEAD-087B174039AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593fad11b6f4341100fd682255912a50244b4a56","datavalue":{"value":{"amount":"+0.89092547","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":"Q2278843$C77A7EAF-7CEB-4059-91E4-20878611606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3206d7c121ced57d7a62b35ef045ac4abc52af06","datavalue":{"value":{"entity-type":"item","numeric-id":5172146,"id":"Q5172146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8414032e53da1fdc99f8c96827d1f78322be7ec","datavalue":{"value":{"amount":"+0.8870966","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":"Q2278843$4ACAB2BF-5EF7-49B1-A1C3-19FB7650180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386c36ed0a62c00dcc0e7da3b15175cba97d1880","datavalue":{"value":{"amount":"+0.8857918","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":"Q2278843$092B769B-1803-4113-A74D-13B243FD997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343051f2cf9312bd39c5e7b2b5b9464173e82b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5027673,"id":"Q5027673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f61ea37764fbbcc2025b2d62507dc2cbc4a8b0","datavalue":{"value":{"amount":"+0.88512","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":"Q2278843$A274C2AC-B623-4689-8971-4C16E1533DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8733d0acf26a545be6d2edb5b2be87103625838d","datavalue":{"value":{"amount":"+0.88436806","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":"Q2278843$9E891E48-8772-495F-B10F-E665B523386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f8939447e3b4d354cc89be29b631b6bd9ace25","datavalue":{"value":{"amount":"+0.8832272","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":"Q2278843$B9DBFB9C-545E-480F-9DBF-23FF48AD2E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fed5f973324a7796ab5672ce47630263820969","datavalue":{"value":{"entity-type":"item","numeric-id":4610318,"id":"Q4610318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667f79f2a4df245d062db6849ccf20d30f85e9de","datavalue":{"value":{"amount":"+0.8798469","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":"Q2278843$D6C4594E-4990-4F32-B773-545462F93952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cut-free sequent calculus for defeasible erotetic inferences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cut-free_sequent_calculus_for_defeasible_erotetic_inferences"}}}}}