{"entities":{"Q2987741":{"pageid":2998465,"ns":120,"title":"Item:Q2987741","lastrevid":52809230,"modified":"2026-01-23T13:31:13Z","type":"item","id":"Q2987741","labels":{"en":{"language":"en","value":"Hypersequent calculi for S5: the methods of cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720032"}},"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":"Q2987741$559E6638-E199-4930-A3DE-25B3ABFD000E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aab440f21e5665a93e1f028e5888c8b9e76701c2","datavalue":{"value":{"text":"Hypersequent Calculi for S5: The Methods of Cut Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987741$0B5C2EF6-1481-42A8-80C8-16B04D65E9AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca056cfe0ec23f73aa818a00478c5519035e5c31","datavalue":{"value":"1372.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$1B3B5C0C-C3BF-4FEA-B906-AE457D271616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb28fb292f1214159c8bb81de664a6587002d760","datavalue":{"value":"10.12775/LLP.2015.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$D38EC847-9B26-4BAF-80C7-72CC5EE75DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a000676d16bfd2042ae0775461f9087e1cb65dd4","datavalue":{"value":{"entity-type":"item","numeric-id":2987740,"id":"Q2987740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$2BB8F133-9CE2-4E5D-8488-8DC6413B248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$9C725515-7E43-4577-8D0A-4977816D5893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$748CFA86-CB67-4C7E-93F5-0EB61FCC7E20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987741$B2BCA3A2-1A64-4C04-A8D7-9D96A977EDF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$BE036B16-A30B-49A9-BBD3-C39A8E9D1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$892B1466-CF2C-4A17-A457-055454B2F721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64499d56808bb79040d0540c27e880337ad0ed64","datavalue":{"value":"6720032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$2398EF9C-BEFB-499C-B8DB-CC6ACD3819E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987741$E415566B-7959-4521-9539-304280FCFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987741$55739C02-A744-48D4-B1AE-352BAB94048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987741$7712E2C9-FE69-451B-BA44-0319B2B0604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987741$105F8E36-0AF6-4BE0-ADB3-80383896EEEF","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":"Q2987741$1FB1DD52-F573-4076-B41F-D9D7239DB79F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$BF965E0F-150E-4538-B206-EDA6F6713B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$67DB6F9D-1E9D-417B-A988-B3696A4B995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$3C2E58C5-CB85-42C6-95AF-890DFF79E6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145a559601ebb9c012589cd989eb25dd264c9a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3097870,"id":"Q3097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$5808434D-6EF8-48F2-A23A-DBEC01AFBA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$9E98709A-D099-43A3-B0CE-A4289326E96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811458264a650a109340a5030fad038d17897be7","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$04837D23-F6E7-4A21-AAD2-ED2A2DB66142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b55e9c8d88a8480c3e2dddf9678e7410e8cfb1a","datavalue":{"value":{"entity-type":"item","numeric-id":4412849,"id":"Q4412849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$DAC6CFB4-1964-42D8-B8E4-B20E8F95229B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$013EE201-5F25-4BDD-AC27-34046E41F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9b4d2b73c4238f89e2674297b6becf284b2a42","datavalue":{"value":{"entity-type":"item","numeric-id":2259013,"id":"Q2259013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$6600FF64-C300-41C1-B64B-1E3A402C4CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$7AE83765-419F-42D2-A54D-E583BEC19733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$27159CC8-24F2-418B-8800-1368EA171161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$E332FAFB-9762-482D-BD52-405617953859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a62373005957a00a867150e668ac7939bf9ae","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$48E04ABE-2006-4A94-9B71-BBCBB635B851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$7A5BB031-EE71-4A1C-8825-1CCEA0F6839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f995501f3b2c4fbc92b29fa48435a1a179936de0","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$9E66102B-2E5C-4124-8641-14835C0C135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$113675A1-05D2-482A-A956-E6A502C71F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$D58BD10C-3EC3-4944-8530-C6EDBD206D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$7E9E2B3D-8D5C-495D-8638-5F43E2ACD7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$1377D631-4BE5-428C-BA94-D467EC75B916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$D0A85B23-5624-4C40-ABFC-3FB09CF734CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$0FCAFB6F-AF2D-4FD1-85E4-CCB8F9E3A1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$48531A9C-9628-44E9-834F-CB38567A5346","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":"Q2987741$88496279-BF6A-4339-A5FA-581B513AA1BB","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":"Q2987741$711BE0A8-FD46-4F78-8A20-E4BD08C70BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$FC283323-D5F9-4997-87ED-C68ADCC67B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ff8f7704174158e4c5067ef5934618afec4702","datavalue":{"value":{"entity-type":"item","numeric-id":2642520,"id":"Q2642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$CA9FB7B2-7DF3-435E-AF6E-5B16AD9DEF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$953295DF-AC40-4B75-BC51-EC66203EF48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e178c90d5d44c31a72eb3351acc4b7ff86fb7130","datavalue":{"value":{"entity-type":"item","numeric-id":4948528,"id":"Q4948528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987741$CFE1D44A-E525-403D-AEB5-E347A44F42AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eb6e51559a81a21a774600b10d62c4545dcb957","datavalue":{"value":"https://doi.org/10.12775/llp.2015.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987741$2F4B9F8F-2EFE-497C-BFF6-97FBCB0A8806","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8ab28bb7f9fb291e1948d926105c07191c615f3","datavalue":{"value":"W2098580639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987741$618DCF4A-FF14-4659-A6EB-DA0AF774D014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a04cb15e88d1502ec9eeb9062ccb8a8190421d","datavalue":{"value":{"amount":"+0.8455347418785095","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":"Q2987741$7270236A-3B27-414B-9E06-EE4D1E11AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab37009b51b38685d4d5aa14f7981eee374c99c","datavalue":{"value":{"amount":"+0.842124342918396","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":"Q2987741$4D948D35-CA53-4AAE-9AD6-FFD9C65F160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cd63250fa2e473a2bb146692d25e6092d214fc","datavalue":{"value":{"amount":"+0.8280432224273682","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":"Q2987741$5A47EC4F-990A-4168-9741-130EA71A4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ef32e9587404b4e1508ee2b3083487411ae009","datavalue":{"value":{"amount":"+0.8250927329063416","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":"Q2987741$C02E8517-37D5-4E32-952B-14E762B4048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50b448ca2ddb9ee66e64ca64d548758fd3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":5283968,"id":"Q5283968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689b24011f14a6068b62f991b45554b58841e973","datavalue":{"value":{"amount":"+0.8145447969436646","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":"Q2987741$415231FD-C1C9-4151-91E0-734B2DA2F117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2987741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2987741"}}}}}