{"entities":{"Q2866737":{"pageid":2877457,"ns":120,"title":"Item:Q2866737","lastrevid":83590007,"modified":"2026-05-07T09:14:37Z","type":"item","id":"Q2866737","labels":{"en":{"language":"en","value":"Sequent calculi for `generally'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238550"}},"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":"Q2866737$77B83EC5-4EE5-4014-88EB-8CAE6910608F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035ab0afa311b86ec6f56fcd1c12dfae20c399bd","datavalue":{"value":"1277.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$9F799784-5D1D-4720-8BD4-7B9B8C1EBA42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00f5ddde19826bcf2c65e92f6efac4182dc21d5","datavalue":{"value":{"entity-type":"item","numeric-id":2866736,"id":"Q2866736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$CDC24243-928E-493F-9D03-FEAE5C8CEA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$499B64E1-C20A-4037-A6EA-18E5A024A07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$A5032054-684A-4091-89B2-E2F12D1190C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$E856ACAE-4AB9-4529-8AEC-67EBDC3DEE4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866737$2D768F94-6DB7-4FB7-AAF5-8900A5960318","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$1DA80E4E-114A-4AEB-A643-A8A2DF1DE989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$7DF3AD44-2E3F-46CF-8F9E-5FA27D4A01D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dab6f8f951b2f49201b269322c8c7aaeef1a476a","datavalue":{"value":"6238550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$AC0368D4-E424-4F76-9A39-96DA52F77C61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef50a967c383d1969ad58c1ff29a905de85bc87","datavalue":{"value":"logics of `generally'","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866737$7BB82E0D-2E63-413F-B28D-61C98B57F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6411554bf2b9ec3ce83a90717c3c8b2a8883eba","datavalue":{"value":"vague notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866737$412B5E12-B7E1-40A8-A990-B3AEE850E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866737$6B14DAD2-8A73-4E7E-9071-9F93D423347B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866737$A502B430-0578-4ABB-B46E-7CB1F0359C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866737$46EB5873-0303-4EA8-984E-24CA634ABC46","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":"Q2866737$15100221-F4FA-4415-98A4-834A918CD332","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34498d4a27c111a49a3a9a0e3ea78a215e87ad1b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.065","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866737$76ACB979-C488-499F-9A37-C38BC1EEDAFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"776ba6a13fdfc2d29921a7785857b99e6781a11f","datavalue":{"value":"W2092966072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$E1B7E886-FA6A-4FDC-9412-AFCECCE31F39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4840fb89c1bb0abc19f0ac0e208874bbd3c00195","datavalue":{"value":{"entity-type":"item","numeric-id":3927223,"id":"Q3927223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$9FFC635C-6A44-4D44-8282-685D8C9E085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$0038469A-9C69-4FA9-82AA-6776646A4006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe612022fee900feabafdb798e8c4802541f969a","datavalue":{"value":{"entity-type":"item","numeric-id":4364502,"id":"Q4364502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$28D0E450-484D-4666-B1BE-2757CEE52436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$35665073-9B37-4DB1-9377-09DC861E3B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$F8CDA693-811E-4E88-8B7B-77B6BAC00815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$03FB34AD-8D98-4C32-9087-8B6B895CA1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$5C29C4AA-ED89-4BF2-A283-5ECD7D322D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac87242fc70de06e2fa974f724f0ac7de2b8737","datavalue":{"value":{"entity-type":"item","numeric-id":4847379,"id":"Q4847379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$89A3DFD3-18AB-4D20-87C1-33E2998477D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74cf8bc17935d5a0209c6a3bbfbbaf6d830c38fe","datavalue":{"value":{"entity-type":"item","numeric-id":5711869,"id":"Q5711869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$B278B79E-870F-4744-BAF8-F6BA0516E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dc04d60f1c6de08e9469c3ba5fb7ee3645c98f","datavalue":{"value":{"entity-type":"item","numeric-id":5437004,"id":"Q5437004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$D9D002DE-9F72-48B9-9F16-78F30A8FA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ee8829bc54a7c7c959a82d691b2cf83cc9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1770623,"id":"Q1770623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$6431E92F-2F49-4E46-88D2-69FE58CC77D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce17307cca0ae46bc1d9fa6d8428d022f07c5af0","datavalue":{"value":{"entity-type":"item","numeric-id":4437963,"id":"Q4437963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$F79E4599-E600-4B48-AF0D-07DAC6FA43B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee00bdf5ef256a18c8f7372c4502700ac5fcc05","datavalue":{"value":{"entity-type":"item","numeric-id":4888136,"id":"Q4888136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866737$674A3EB6-ABBB-49A8-B770-826B92B4EB74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe19661d3e19074fb8cd9bff6e5acbbebf4e3417","datavalue":{"value":"10.1016/J.ENTCS.2008.03.065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866737$C62C84C3-2E76-4B52-860F-3FAC63F1EBB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4489773f1f41034e0d9120b138b6d1af400002","datavalue":{"value":{"text":"Sequent calculi for `generally'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866737$42506542-9B4C-4E03-A7AD-0F9C79E8E43B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d70c14f98ba73a054e8626e184bf7044acfdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5437004,"id":"Q5437004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2deee4ebe9897206febabed2522f32d515ec77b3","datavalue":{"value":{"amount":"+0.9084133505821228","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":"Q2866737$9D3CEF5D-9D8D-4EFE-9D92-3888D3FB9945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c936e2210fdd6f0616d5dc901b06ff15a7f7eab","datavalue":{"value":{"entity-type":"item","numeric-id":3367290,"id":"Q3367290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16efcb7750efce24b3a3100aebcc48b755ab72c","datavalue":{"value":{"amount":"+0.8094828724861145","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":"Q2866737$A7869199-F307-4D2E-87B0-803C1D9CAB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8be7c1b8b14e1bd34c81c5e9b1de62a9930187","datavalue":{"value":{"entity-type":"item","numeric-id":3119359,"id":"Q3119359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bd100297d63058b6ac47d6fc95a23a370677e6","datavalue":{"value":{"amount":"+0.800372302532196","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":"Q2866737$7CE3922A-0CB9-400C-802C-13FD1D326361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700ef6753ba9695c7f54b0911cd75cae2a1fffbe","datavalue":{"value":{"entity-type":"item","numeric-id":5251189,"id":"Q5251189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a56030fd18714824b933bb1b81792c8d83d06f","datavalue":{"value":{"amount":"+0.7967579364776611","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":"Q2866737$CDDB1F07-7849-42D7-BFD0-088FBE41FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea58d43ce509639d14055b16808ca9d435ff27b","datavalue":{"value":{"entity-type":"item","numeric-id":4656556,"id":"Q4656556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae8e82e6f8441cea650f90618fe36e2bdd15a29","datavalue":{"value":{"amount":"+0.7950031757354736","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":"Q2866737$8ABA0F1F-8CF2-47DC-AADC-968D4D13CECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi for `generally'","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculi_for_%60generally%27"}}}}}