{"entities":{"Q5213610":{"pageid":7243180,"ns":120,"title":"Item:Q5213610","lastrevid":53654681,"modified":"2026-01-25T12:23:07Z","type":"item","id":"Q5213610","labels":{"en":{"language":"en","value":"Cut elimination, substitution and normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162485"}},"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":"Q5213610$75AD25D4-89D0-4F39-9C9F-ACC35EB27362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a389a370da876fbbf1ff177ffb95e56ff20e4677","datavalue":{"value":{"text":"Cut Elimination, Substitution and Normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213610$5D58C766-C098-4D8B-B939-AA35D4A122D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea8a174833aa08b25f8758de02af2cf1b78a395","datavalue":{"value":"1429.03198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$C611A268-97CB-4999-A59F-D329EE384A76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"436444d69494a2c27a9b5ae546279eff4ed1a56d","datavalue":{"value":"10.1007/978-3-319-11041-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$6598D7B9-339C-4D93-A431-88324810E441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$3EF16C4E-AAF0-4BCF-A91E-E6893D8639DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$D0DF88BE-DDC6-4595-A156-AE6B02BBB35A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213610$03D4BB2B-0170-4C2F-B873-DB980A3954D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2de7929afc70278293a3c709b4960cac23aca4","datavalue":{"value":"http://hdl.handle.net/10023/7962","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213610$5D50B984-9D84-4136-A393-90508F1AB516","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$363F6F25-9DA6-4787-A65A-5B91B317A512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$065CB408-5CD4-40BD-AA40-1095C714D9EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad618fdc69df605f23804c89515091f67c9e5ecf","datavalue":{"value":"7162485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$BAC94BE2-E847-47A1-B46B-229E52088C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$E079D3B8-D7F7-4D3B-BF4E-BF2493911CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$F2583DD5-AC52-45A2-92BF-73399E6E68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$6478A84E-5D8C-4002-93BD-B294BDFC56A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$4C1C492D-9321-4075-9C9E-7E3328DD8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$1F0DF521-1D4D-4002-83F1-3ED97F873C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$24DA824F-1698-4D93-A78F-DC14CA709D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213610$4E57BB75-B584-4A8A-AD80-77327067A38B","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":"Q5213610$84E85EC2-A5D5-4BBD-B7DB-96853BBD4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$EB194DAE-7911-4AE2-B502-D5C43A4843FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$250FAF3D-FB16-45DA-8914-CD33082AC855","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":"Q5213610$C6206078-0D94-4A03-837C-FFA56825739C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c6bf3cbe796a946145af1d91c88929263cfc2b","datavalue":{"value":"W191813668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213610$0CBA2B4B-F077-4293-8EC0-CF94C8C56F24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$6324A5F6-F5C7-46B7-8F77-807BC9010CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$AEA301C7-710C-4B29-B388-5EB2FA04AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75d127aa05b9f9294d3d955a9552932e28c28c7","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$C973445C-5B16-454A-A99E-48AD3ACCA085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e8ae49acf392e5532c631d5f6f8ff7e33fcf27","datavalue":{"value":{"entity-type":"item","numeric-id":4444936,"id":"Q4444936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$63528CDB-1A24-4E5B-A11B-C747F2258601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$727FA7AA-F87F-4974-ABF1-A5C146B702C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$05359E39-B31A-469E-BED0-606FDC1AFD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d783f467c256140ec05303101afa6a7cd2f392","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$1D819EF3-5259-4AAB-8BBC-58C8856856C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$78DFAB98-FE84-432E-93E5-B25900A76598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$F38C557C-A47A-4AFD-A83C-23151E0BD983","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":"Q5213610$D5C4E2AE-7F23-477F-A0EC-22EE8BC4C6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$1D246AD6-C13F-4D3C-994F-F45B21382EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$EED769CD-8DC8-4E48-A0D2-6ABE8B7868DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$11D4AFBF-0A7A-4EA6-AA9F-DFB93AB77C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$08ABE501-468D-4263-85D8-672D0D2AB6BB","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":"Q5213610$0BDB8B4E-5314-45A0-8333-ED76BFD940FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d60400ae1230d8a8afb8a42ea97caa8d1a90b5","datavalue":{"value":{"entity-type":"item","numeric-id":5251185,"id":"Q5251185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$F180D266-402C-4187-9A2C-3FE793994581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$3E288897-9FDB-48C1-A0B0-E9E38E3E5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$4B233189-3333-4356-8309-D1EB321AC9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$3B769E0C-57A3-4A6C-B603-53A408931D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213610$A7D28D51-EB15-4566-95A1-1A345976100B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a84167731ef8eaec382725b47686201b1052d85","datavalue":{"value":{"amount":"+0.8300538063049316","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":"Q5213610$EE2C74AB-68FC-47EA-8562-D24712D172B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8086fce4db2f660f1696abcf2a31ce4c9a872e62","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a84167731ef8eaec382725b47686201b1052d85","datavalue":{"value":{"amount":"+0.8300538063049316","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":"Q5213610$E7B8A91C-C080-4775-B6F3-F1609B60BA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de572f920496c822d19c64e731ef7da092b4635","datavalue":{"value":{"amount":"+0.8262207508087158","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":"Q5213610$9AD1BEB8-33C8-41B0-B00D-746D78C56BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f7d70cf9d40342ff4a597df3c3d7b0a71c26a3","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eaff01a631d47bbc8e2b6c8479bcb0788489a17","datavalue":{"value":{"amount":"+0.8189578652381897","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":"Q5213610$320B50B4-C980-495A-8A6D-4A05EAB93555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c71915f1707e35235ce457f4d96b35b61c5ff71","datavalue":{"value":{"entity-type":"item","numeric-id":2713355,"id":"Q2713355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1ea93367f96f2d2c838e1878d67bb7ad3dd735","datavalue":{"value":{"amount":"+0.8150880932807922","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":"Q5213610$95519EE4-BD09-40AC-9A76-51CA36FAF14C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213610"}}}}}