{"entities":{"Q5422301":{"pageid":7451875,"ns":120,"title":"Item:Q5422301","lastrevid":50186210,"modified":"2026-01-13T10:52:45Z","type":"item","id":"Q5422301","labels":{"en":{"language":"en","value":"Which structural rules admit cut elimination? An algebraic criterion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201538"}},"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":"Q5422301$2D1DFC44-33C6-43EB-987B-69A72F1D9F7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74f3afcf7c76c0b51fc9e530a6b5546f00052fda","datavalue":{"value":{"text":"Which structural rules admit cut elimination? An algebraic criterion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5422301$D10F2405-CDF3-4532-8370-1A1C91A61D61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184eb33fe1bea52292f9b70aa345feecfeb81e22","datavalue":{"value":"1128.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$1C1E7FD4-DA65-4F09-BD16-EF9A12691B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$402CE40B-9E26-4077-8F4F-DC69DBEDAAE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$AACB36E3-B883-4560-BC3E-3A6200EA0295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422301$8D992EB7-433D-4B3F-B9D3-2FF736B41CDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab9a107c05cd29f9dc731834f3a753cedf5c6a99","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1191333839","type":"string"},"datatype":"url"},"type":"statement","id":"Q5422301$9A8167E5-EE8C-4D91-8F74-091BD8C4E0A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$7C81B676-5671-4642-BE6B-59FBC030CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$779AAF10-0F9E-45C5-AE87-CA3D96AA7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$443F9051-A311-4DF1-819A-BC25A2F91216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92c1701ae76caae857133efd4ca509152e33511f","datavalue":{"value":"5201538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$AD415B02-3D4F-41F2-AEE8-97B9B44E0B3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422301$2399F972-F0EE-4183-AB90-09F02BBD48F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f519ea265919de06b2167314925348bc21f681","datavalue":{"value":"Lambek calulus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422301$D9099124-B399-481C-9857-C175B30427AE","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":"Q5422301$AE175737-DF95-4C8F-8559-827C2E6890CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c19ad81d4a94eaf835f0f38d77c8a881989c9cfb","datavalue":{"value":"W2170289322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$A836F6DB-EA84-4128-89F0-41E3C7CE40EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0004f8fddecc0a33725b971c1c77c93c033b938f","datavalue":{"value":{"entity-type":"item","numeric-id":4692942,"id":"Q4692942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$D83D3236-3C2D-49B7-80EB-A318CEAE49AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$3E8416BF-882E-46C5-B002-467FAAA3EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$FB231198-3A40-41F2-9AB2-AA7157FB3C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$D8ABEAB6-19C2-481A-8D68-DA63296C9BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd776131e11e4278abdb74b0dc63b486b93334b","datavalue":{"value":{"entity-type":"item","numeric-id":4309506,"id":"Q4309506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422301$0BEF42AF-D985-4F0C-BAA6-5A6B858AB450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cef80316c765cccd4adc67a3295db5b6b7b6bcb7","datavalue":{"value":"10.2178/JSL/1191333839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422301$00C8FF50-64E1-4798-86B3-DCBD9A063D04","rank":"normal"}],"P1643":[{"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":"d8bd4ad1f7ad4481f72e7aac64f2f4092c9adc8f","datavalue":{"value":{"amount":"+0.7729203701019287","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":"Q5422301$7AA2A9A6-6ED1-4748-82FE-398E7CA04440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b6b0c9f4f5f7941c58044a5765c6300d436c0c","datavalue":{"value":{"amount":"+0.7699832320213318","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":"Q5422301$2312146E-B608-4194-8840-8DD2414123AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99d98a41394116034bcf192007e09a7a21b3017","datavalue":{"value":{"amount":"+0.7332586646080017","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":"Q5422301$3D0D5566-C6E0-487D-81D3-B5D8D9A075D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2ed59f9c82abca3f91f0e8daeb18df51bd2d6","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab695a1c1a354878e3162eff2ea23a1f128a5e1","datavalue":{"value":{"amount":"+0.7289570569992065","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":"Q5422301$CFA90505-A567-4393-99B8-2F88822B57FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a051622b200274dead32cc611d9db4b218b82018","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2886a815f0b1dbc1236a1e423e8af7b1f8e363c","datavalue":{"value":{"amount":"+0.7229208946228027","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":"Q5422301$CF3F2A20-B6FD-40F2-9C39-5CD9452341AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422301"}}}}}