{"entities":{"Q1770974":{"pageid":1781716,"ns":120,"title":"Item:Q1770974","lastrevid":43316920,"modified":"2025-07-24T16:09:20Z","type":"item","id":"Q1770974","labels":{"en":{"language":"en","value":"Algebraic aspects of cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153732"}},"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":"Q1770974$FC6D54B5-92B4-4FE6-B8C6-C950A588EE73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc086bb04bdb5661f6570018c70371cba55b1b41","datavalue":{"value":{"text":"Algebraic aspects of cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770974$8F1A3C98-4706-4338-8777-2A0280A0D86A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c31f7bd876542da828d6c4b16644f9cf9a351d9f","datavalue":{"value":"1064.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$99C5ADF2-AE1B-4893-99D0-7A1CD4294425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770974$579F645B-88A1-4610-AEC3-096C3337C1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770974$1A156F15-B098-4632-88FD-125AAE7B8C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770974$DCBD2240-5948-4761-92CD-CEC54F4048C9","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":"Q1770974$FF3486C5-E30A-458B-A38D-EEEE8DF19B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770974$6CEC9D0F-B586-4FB2-BB61-ABDDC909A05C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$035B5F62-2EC1-4A7F-B9A9-A2C7C3A22B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$CA85F545-1156-4027-A050-40AD65B93FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$EBEE148E-AD97-42B4-8150-12AAAC80C514","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11febd2744d1facc720515a9738742b9cc30f99a","datavalue":{"value":"2153732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$635B5B30-3E29-4D16-8DAE-E5A4C798A160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8d588359591ef6b97e40dda6db9466c141b50b","datavalue":{"value":"Algebraic Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770974$B0E350CB-360B-4B42-95A6-5EDF5EB3A395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770974$5AD1E061-2F5D-4CBB-9AB2-79D358C1CF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770974$20B35C15-F167-4FB3-A388-C76178081870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770974$09606846-C38F-4DFA-9C32-02F5237B6A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770974$0BD28590-545A-4C7D-A571-04736942491B","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":"Q1770974$9B953D93-F582-4BD0-8982-23FC2F07B608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b302b1809d99ba35f01fe4e91eeac34d51daa8","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000037127.15182.2a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770974$C4BF5085-8192-4F26-8250-AACB2F30060C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d70c1ab74f89dc3b7f6ec6ca1787b92b2e9b86","datavalue":{"value":"W2042396269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$19281DC6-3C50-436D-AB0D-324337CC07CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7624ee704ccb6302caa17bd08ae2c50336518cbe","datavalue":{"value":"10.1023/B:STUD.0000037127.15182.2A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770974$F67265D2-6F15-462F-8792-43F6AFA2B3D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093dc2e6655d9dad58c1804e795e875aa09220d7","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1455d8d6a302bcf338be2497527e4760a14a413","datavalue":{"value":{"amount":"+0.95677847","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":"Q1770974$D49FCF67-C9D0-4A19-A339-E41D5669D95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6203d905dd80ebaaa1a0f6378ed8bcaa70f23b","datavalue":{"value":{"entity-type":"item","numeric-id":4383046,"id":"Q4383046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e48256f64a51a8c0d9b473f5e4fbfa5f69c5aa","datavalue":{"value":{"amount":"+0.932841","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":"Q1770974$01C2D9BA-3705-4258-A1AF-406720A20505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47a892470f857289cd535c29f074d6ee8e80dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1647991,"id":"Q1647991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb88633bbafac2cac872e548b9e83c486964120","datavalue":{"value":{"amount":"+0.90882844","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":"Q1770974$F844D0EE-1922-4F85-8BE8-D44FB9447192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531488db3d52ba4f41a09728b79f53e11daf1121","datavalue":{"value":{"entity-type":"item","numeric-id":2950241,"id":"Q2950241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96c3ff2efe54f3532928ed7785f76dbbb12a93a","datavalue":{"value":{"amount":"+0.8802759","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":"Q1770974$F666F7EA-FBF5-4116-B7F5-6CC9E144B2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196c6ebe60f0c1422da61e66eb263e9f101707ba","datavalue":{"value":{"amount":"+0.87921804","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":"Q1770974$DB8C64EF-E87E-4076-BE0E-B0E47A501F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8cf2933b33f7cf187d6ba2562d090a729c61a2","datavalue":{"value":{"entity-type":"item","numeric-id":4234320,"id":"Q4234320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a312685772adb12afcf4837e7aebfc8a1f6dd7","datavalue":{"value":{"amount":"+0.8760357","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":"Q1770974$4690045E-032D-420A-B239-059A8E3F61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4333640fb17725eecfc80bd6cc2daaee84943d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3807192,"id":"Q3807192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df974c53c4c0a09ca63a0e77d13f00f4906ded4","datavalue":{"value":{"amount":"+0.87400925","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":"Q1770974$86DDDE4D-546A-4FD0-A1AE-B92C153227E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1447727762a2f5bad690440907323f3798fe5a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6867493d653579c5b561bc602760e80b0c7366","datavalue":{"value":{"amount":"+0.8712315","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":"Q1770974$CCFFD6FA-BA96-43CC-80C2-EAB5F9597CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2ff73376f44896a6ccf9b3fc27a14b63ff5ff8","datavalue":{"value":{"entity-type":"item","numeric-id":4418122,"id":"Q4418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461b7483c7e4dbf4698c0289025c3760a1fd921f","datavalue":{"value":{"amount":"+0.8708424","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":"Q1770974$04585A4F-DBC6-4B64-9CC2-907BB1160A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf88362f6428d5d0299f9f394699d6f8456b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302abbeee3edce6bd81212c8ee49ecf5c678cc42","datavalue":{"value":{"amount":"+0.86678916","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":"Q1770974$1B20DAC3-E85E-46EB-80A0-3FD8ACCFBBD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770974"}}}}}