{"entities":{"Q2804318":{"pageid":2815056,"ns":120,"title":"Item:Q2804318","lastrevid":42137724,"modified":"2025-05-23T17:04:35Z","type":"item","id":"Q2804318","labels":{"en":{"language":"en","value":"Nested sequent calculi for normal conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575031"}},"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":"Q2804318$D90A711E-84FC-43B9-B777-924BDA6F2592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d6bf45e7391b021836b01820f73f3c99d9254c","datavalue":{"value":{"text":"Nested sequent calculi for normal conditional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804318$55C31C01-D971-4891-9525-7E1871A57B8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33b8d67e39d7f8c2e320a54bd0f4554d5c22cfb","datavalue":{"value":"1444.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$8E895F1A-AF5C-4F82-A62D-66914862408E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a1b60f40159fbbdf2cd881549ca3760a89c346","datavalue":{"value":{"entity-type":"item","numeric-id":2804317,"id":"Q2804317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804318$D1519B4C-08D6-4B76-9445-6DF4524E4BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804318$48AC1D0A-3299-41D4-837C-82779A6FB0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804318$FACC8F53-9AFD-4876-A190-FDF7E3CD3B27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804318$371532AB-C07A-4974-99C6-BADFD7BB086F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56c83af7f0236832f74161ecc7797f0dda729dc","datavalue":{"value":"https://semanticscholar.org/paper/18c2848d930cfd704fec82fceeb686932ab564ea","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804318$17FE46C0-D05E-4084-A5F8-27B4AF2ADA77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$E75DA8D3-04D2-4D10-95AA-19D1CAA279A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$A2F20114-87B1-4A70-8CFD-AB7DEE6CB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$412541AA-E030-4670-9C7E-5B84CE5DC1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af3bc594a63c668aecce5bb297a89c200d9040c","datavalue":{"value":"6575031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$3A1CA92B-9D06-49C5-894A-DBBA9ECE2403","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027cc6c69e14371ce3b0caa3d4ea616d122d747","datavalue":{"value":"conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804318$617421E7-629D-423D-90B1-07A1476DF53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804318$4213A2BC-6C58-4F80-A4C5-17ECD0F3B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804318$3F159BF0-1D85-4E2B-9A08-39321EB467AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6a85d411aad7cd24a325d583836dc376ecdc71","datavalue":{"value":"proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804318$78D3946A-019B-438B-80CE-CD17B2A91838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804318$8BB0C3F1-1958-48D4-B70C-4D73A20D596F","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":"Q2804318$99BC4467-E2DF-4ECD-A0CA-67827F3EA3A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57f2a5913d04463854d6532bd85a67f88435d2ed","datavalue":{"value":"W4298044394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$B2B6DCFE-11D4-4362-9EA8-01DDC22FDBE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e3b528141c361a34bca30f075de635766d71301","datavalue":{"value":"10.1093/LOGCOM/EXT034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804318$A211D9C4-7866-4D39-9C1C-1DDB926FC8B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5e1e2f9fff3e69c780ffc84220f5007fef660f","datavalue":{"value":{"entity-type":"item","numeric-id":2915054,"id":"Q2915054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa32b7b89b509d8ccc3c7ca5e86f2960ca5fad3","datavalue":{"value":{"amount":"+0.9799247","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":"Q2804318$0C2F295F-25B9-4A5C-9B79-9273220FAA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ce516e0d2ea876f51a8898f4386de12bf62661","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fffee0e03c246922c8cc8bbd7b399641a0ce6a3","datavalue":{"value":{"amount":"+0.93891615","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":"Q2804318$A7CEE6A2-3C04-4F62-B148-AE01455E9B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a31344950312491fff2f2c776b71f300c2c4d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2296755,"id":"Q2296755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537beee8196b0f9e59c3c4435db17b98a4963b9a","datavalue":{"value":{"amount":"+0.9316391","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":"Q2804318$E667628F-9D00-4AF3-BDAC-313A46DE9CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbf6cbae08a8b18d63a860234c12f9e1f97e97c","datavalue":{"value":{"amount":"+0.9305969","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":"Q2804318$C64B9AEE-ADF0-4DA9-82D7-7E8F1AB2C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9da51f6b10768475a14ac230a2ba56c02972cf","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166108e3777fd6afcb6750e4d3763ba75ccd048d","datavalue":{"value":{"amount":"+0.9260531","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":"Q2804318$D43AD510-2B76-4DB5-8E21-704794BA3B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc222f72ed6b8a01753f420bbf6aeeb144d691c","datavalue":{"value":{"amount":"+0.914752","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":"Q2804318$6F7A86AB-B97B-4D52-889C-2CDB7FBB9E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f7b6d181ca588b90f058a509ee2012677de188","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ff8a59dd8ed1d3df0df2578972eda34a1f259a","datavalue":{"value":{"amount":"+0.9111287","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":"Q2804318$5F63ECF3-65B9-4EC8-8963-0BE71E9FB673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ba4347c385b7b857d7f517cc75226f766cabdf","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb41d590c0bcf30a125a52466826af0c58acab4","datavalue":{"value":{"amount":"+0.906971","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":"Q2804318$9A18AC90-0502-43F4-84FD-5306A88198CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0566b2a643c77fe189aa65c0fc5d541b2cc8b45b","datavalue":{"value":{"amount":"+0.89831597","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":"Q2804318$2594445A-A9EB-4398-B670-6C4AF4460C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be91c364e17b090618fd150d9e4d4834c0276c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2284184,"id":"Q2284184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd6dc75eb56b0f208a43a9de1955f8efa560832","datavalue":{"value":{"amount":"+0.8946417","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":"Q2804318$E76F3CA6-5DEF-429D-87F3-BB9C6D5013F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804318$9BFE272A-E339-4874-9AD5-5FFAB48C5819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804318"}}}}}