{"entities":{"Q1685482":{"pageid":1696223,"ns":120,"title":"Item:Q1685482","lastrevid":72505230,"modified":"2026-04-14T05:22:55Z","type":"item","id":"Q1685482","labels":{"en":{"language":"en","value":"A simple sequent calculus for Angell's logic of analytic containment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6818432"}},"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":"Q1685482$77099EE7-0D9C-439B-9163-0872FAD94A5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd36e2456c816ab9e544131527f21180cd67e34a","datavalue":{"value":{"text":"A simple sequent calculus for Angell's logic of analytic containment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685482$74C669C9-1084-4C10-85BE-EDDA083DF1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a71f390b136da26a8b2e046535928c2a4e7d5979","datavalue":{"value":"1417.03164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685482$D858D771-BBCC-4193-9684-31DDEE41C536","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"719079c623455cd940169de10b8d7a74a4ee48ce","datavalue":{"value":{"entity-type":"item","numeric-id":302241,"id":"Q302241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$A9D9ED1A-256B-414E-95FC-654C03C9C19E","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":"Q1685482$98E3ED0A-E677-4682-A25D-D5C9849788C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15a701ba4909851bd5f18ca1e277008b920dd0ba","datavalue":{"value":{"time":"+2017-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685482$370FA450-C5BC-4DC1-93D1-72F6DA193A17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685482$CF4AA97C-9EDE-47F3-841B-0ABF72BB958F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3bdf194fc47afd9503463ea287936cbdc4aff65","datavalue":{"value":"6818432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685482$8A455018-6CBD-428D-9992-866986823387","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685482$BCDC5556-AAAA-44DE-929E-E28BFFDF75F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399a978187ea863a6fc5fc0228c967ee811f4c38","datavalue":{"value":"analytic containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685482$92D46134-08DA-4FA6-90FD-6603D37BF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685482$D214BE9A-8A92-4D04-925C-3F1CE78AA6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685482$31142309-0769-4669-8BFA-65DDFBA6000D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$B179FFE8-6EEC-44FF-9A44-6B6EFD836772","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":"Q1685482$1A5FC88A-8D98-4D28-8F75-9C4A60A4E6B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fddf698755bfa4f5588fb9ab7c2bcf5b7262db1","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9719-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685482$4EDEF5D5-2171-4DD7-8F4C-D93DC33BF733","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6d88430648ef0627eb64595ecf7dba62b9ad130","datavalue":{"value":"W2607492266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685482$C5356937-56B0-46C4-A7F7-7791748794A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5ff44a5a5cdcfd500d97fc0a2ff9b9355c5bd0","datavalue":{"value":{"entity-type":"item","numeric-id":288248,"id":"Q288248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$F93CF5C9-9D91-4075-AF22-7B4AF08ED254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e13cd89f2525a93ed32fb452640c96031fd202","datavalue":{"value":{"entity-type":"item","numeric-id":3914948,"id":"Q3914948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$0B6D18C8-E6AE-4A02-8C7C-FB65DD80F1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57fde7f41381dc71f8ea86212409ccfe27e660d6","datavalue":{"value":{"entity-type":"item","numeric-id":1087864,"id":"Q1087864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$A754F0D5-5D1E-42F5-A578-3AABB9D4B9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3270c42f4ea5c46a449158c4046ba1771363a71f","datavalue":{"value":{"entity-type":"item","numeric-id":1876092,"id":"Q1876092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$1C152557-8B90-4ACB-9C9E-AA2BF32227B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d203bb9194bb975b021f6bfe42182bfd80bf4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3099308,"id":"Q3099308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$F21EDA70-E312-4C77-8FCA-810E198242FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781aa5ae19cb768fb8a597e9128d325181357fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2804475,"id":"Q2804475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$1928D094-79E6-439B-84B5-393C63775979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29bad23f98cac667a348ab567f79b9f3e63fb5db","datavalue":{"value":{"entity-type":"item","numeric-id":801897,"id":"Q801897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$682F1E21-DAF1-4011-A3D4-E4FA19D48F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$5DEF7150-7009-4C5D-81BE-E3716C54587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab73c4975e85c7364acd87035927ba86ed0e58f9","datavalue":{"value":{"entity-type":"item","numeric-id":1425194,"id":"Q1425194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$B073F194-4A6E-4FE2-BEC0-773EF3CF4C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308bdf2e9164c2b1eae260c5117ed5fd44670160","datavalue":{"value":{"entity-type":"item","numeric-id":2957959,"id":"Q2957959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$F09335A9-0032-4B4E-AAD9-3A8225777D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228c509a8dc9a903288a34bf165ef85f8cae5a2f","datavalue":{"value":{"entity-type":"item","numeric-id":1090323,"id":"Q1090323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$BF766406-E62B-4E6C-9D97-272311F9A1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9253f35b2f88a2e1fb05b6f3d2a77b90cec46858","datavalue":{"value":{"entity-type":"item","numeric-id":5251301,"id":"Q5251301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$DF94C96F-7170-4FAB-BA49-0E0CE9CE4323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e522505aee13b125a1ce0152dd344b1936a63e","datavalue":{"value":{"entity-type":"item","numeric-id":484121,"id":"Q484121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$3A2EBBD1-35A4-4039-A2BB-1908B42F28E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$E25DED02-C186-463E-9EDC-98DB8D336203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$AC183BB3-AC2C-48EB-B682-BBBA8F8E7D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685482$47692A02-911F-4D8F-995D-13B879B1C732","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":"Q1685482$7C98AF72-7674-4EC5-A70A-CC1569D04CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc363e6166a631ec6e8d6b4f05a79bdc579477a5","datavalue":{"value":"10.1007/S11225-017-9719-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685482$5469B2B4-1FC1-47B2-B82D-1F9A99FE76E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef000c162c6ba2bd687c6bf95a97e5830479c830","datavalue":{"value":{"entity-type":"item","numeric-id":4412860,"id":"Q4412860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4677b91808f274d238f78652a9252913d5e22c","datavalue":{"value":{"amount":"+0.8902971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$999A407C-5A9A-4072-89EA-89C7AF568C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34102221cfbe5db820f700b90bd8be0decce82ba","datavalue":{"value":{"amount":"+0.888157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$EF348668-2CEA-4515-814F-C447B8BD8A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1efe94ba78f470558fbb589b99470be7cb821a4","datavalue":{"value":{"entity-type":"item","numeric-id":2243548,"id":"Q2243548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14063a8182babc5c8e0c98cffb1d635c9ae24ef","datavalue":{"value":{"amount":"+0.8828274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$39A9391D-EA8E-4EAD-A9AF-2B69A142C0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7a9651bc63f9b76295dd7f249698dc6ad43d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4972151,"id":"Q4972151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a89d269575b9f9e11be8c8d09518a3c0c28915","datavalue":{"value":{"amount":"+0.8822385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$03B3B1D2-BA16-4B29-9035-7CFDA1AC1E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe57f6a9c3610fd8d31e3c4b050ff2bcad844cd1","datavalue":{"value":{"amount":"+0.88139385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$FEEBE41C-B850-449A-AD02-CA2D249B6B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca567f76c24a34e994763bae8bca1893723a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59998cf6a4f677ba8f44580f2887b691c6c6330a","datavalue":{"value":{"amount":"+0.8811305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$DF972D36-B81F-4964-9397-8854F0F47BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee19eaf180da2113a1d90ac6934cb008794e7747","datavalue":{"value":{"amount":"+0.88030136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$73888B29-CE5D-4AED-A140-A2AAA655A242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dbce73d32923eff7a1f11cea56b657c756b1c4","datavalue":{"value":{"amount":"+0.8785686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$A385F73F-49DC-4FCE-977C-061AA825D6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ada629ff6031021378278273e90737fe0236a8","datavalue":{"value":{"entity-type":"item","numeric-id":4450443,"id":"Q4450443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3caf766ed7e078fdab793988d3636978e759174","datavalue":{"value":{"amount":"+0.87646294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$A1566FDE-2A3B-4FFA-BDC2-1589671B0311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed1205122ab61c0b506725fbe6c6767248bf19c","datavalue":{"value":{"entity-type":"item","numeric-id":5159492,"id":"Q5159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e460fc717c5baf25f38a7a503429503f88de1a3b","datavalue":{"value":{"amount":"+0.8743154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685482$E5DA6588-7A8F-4FCB-8B98-2DC7274645D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple sequent calculus for Angell's logic of analytic containment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_sequent_calculus_for_Angell%27s_logic_of_analytic_containment"}}}}}