{"entities":{"Q1349247":{"pageid":1359986,"ns":120,"title":"Item:Q1349247","lastrevid":47914888,"modified":"2026-01-03T02:00:28Z","type":"item","id":"Q1349247","labels":{"en":{"language":"en","value":"Algebraic proofs of cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1743147"}},"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":"Q1349247$18CD9CDF-3F21-4C7E-A2C2-2BBB4D4CE5A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0324c14544f4b5340f63b0a9738790f36f93ba2d","datavalue":{"value":{"text":"Algebraic proofs of cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349247$47E05C76-3C4A-4980-AE65-4B7EBBC48574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d589c81a46c9e62a37bf986d657b730128571e56","datavalue":{"value":"1015.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$00921317-E8B8-44CA-9806-B14C15CAE6F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"351e341fcc6165af68d481a7094fdfa96b8a4532","datavalue":{"value":"10.1016/S1567-8326(01)00009-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$D790CE80-8CD0-489D-B279-0185BE412FB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$230DDCFF-2AF0-41ED-83D8-18EE5D5D7F43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$D8681F3F-2291-439A-9D02-025028CC3630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cda08edf6e14c28a948f9b78f5bc4351bb49e6b0","datavalue":{"value":{"time":"+2002-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349247$8231208A-0FC8-49E3-A4EA-69F96AB079B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$1F51457A-FF18-4BC7-A134-4E8B0DD02728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3029ab3fb946e2a4f81c6cbda2a6d02692f1fce","datavalue":{"value":"1743147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$D9015A3F-CE4A-46C6-A825-5AB3D543409A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1cdce634c94330d8f6c771015592e86c335a2","datavalue":{"value":"algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349247$D87E28DF-BA2F-41D3-AF83-BC7F8EFC0F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec041487db9c7257a114955ca127662a3487671","datavalue":{"value":"cut-elimination theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349247$03ADE952-AFBA-46C5-8335-25403A3A6009","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":"Q1349247$82FAC154-9856-4F26-8685-03E7328B393D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$CDB00C8B-AC52-4739-831D-201E2091BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d248cbfc7feae2d5c5e1983acca757ec689a41c2","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$CF6DD0A6-E2F3-4249-B8E4-C127F983B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$81FA0E43-2231-4CD1-904F-DE334B03BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5345f6943b27d982604103a8a31c0b3f8701a43b","datavalue":{"value":{"entity-type":"item","numeric-id":4077989,"id":"Q4077989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$03870A65-DCCC-4171-A05A-4AF45B60573E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d985b69febb89475c9585170093eda35f3ec2efc","datavalue":{"value":{"entity-type":"item","numeric-id":1128177,"id":"Q1128177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$9F5E0AA9-2AFA-4275-8136-1E0E9AFD5695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$3B9AD2C9-B46D-443B-B9F6-2BAFC0B71D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$75FC133F-0492-4AAA-ACBE-D6A36D5677FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$7DE29DE6-D4EA-4CF0-B305-0F36063D4B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$CDAE62B5-436B-4BDA-9788-3A30753246F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$79A3D32C-F27C-4226-916F-572AD22126D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43885f66d80d1241069b05fb4eab29aaf7555c60","datavalue":{"value":{"entity-type":"item","numeric-id":3984419,"id":"Q3984419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$47F265BB-2CC4-4334-B401-9E9E8E9FAA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b2552df22122d49147b3088587e6117b7f5c19","datavalue":{"value":{"entity-type":"item","numeric-id":4351921,"id":"Q4351921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$6534DD88-3718-49A3-A128-4CE088467BB2","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":"Q1349247$692DD883-1ABF-4775-9193-EFE5FAFFD14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1738b91247a220aebdb794b7be3b70e82f085d10","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$13A4C12E-4444-4AE5-9632-B2A0B2ACC920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$696EA78A-935B-4A23-93E3-333CE19E2626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$BCB876E0-E0FC-4EEB-A4E4-BA9F369727B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$22D9220B-0EFA-4E5D-BAC9-9DC107DAD446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349247$54ABEAD3-D9B1-40E6-B7F3-2231C58AF58D","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":"Q1349247$74FE1BA0-1D9E-44E7-BC0E-B00CCBE3EE32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7a53deb3297fc63a2179e50163a12b89b364172","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(01)00009-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349247$A4579582-A03C-4D80-B39B-379A44DD86E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a4bc08a7a5a15ede7bf189146cf8c6293450de9","datavalue":{"value":"W2093985783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$A66BC1A2-0026-42CE-857F-4204A9F04A41","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c3ba93788601ff29426fe7923db40199d74d8b4","datavalue":{"value":"Q127087656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349247$3B61A125-F893-4298-A32C-972A5AA84009","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f575f2395f8ef9ffb7612c993bd4c7d4d71b3b78","datavalue":{"value":{"amount":"+0.7948790788650513","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":"Q1349247$BF33A389-9CAD-4025-AE1B-04C2920CAED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c07eb4047e12587172602bcc86e8d6df1bc05b2","datavalue":{"value":{"amount":"+0.7928749322891235","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":"Q1349247$DB71E1E0-703C-474A-9015-D49D1C869E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54046ccd02eee886e01b5d6e7493e6c3f4461d0","datavalue":{"value":{"entity-type":"item","numeric-id":1946677,"id":"Q1946677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9e1df5b3b48e39d765748a21d9f596970a49f2","datavalue":{"value":{"amount":"+0.7868239283561707","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":"Q1349247$626861C6-786B-4783-B19C-8186A07F3D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88956b1008d0eb407036109fd9b4891cbd279994","datavalue":{"value":{"amount":"+0.7864882349967957","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":"Q1349247$7F38C809-69C3-49C7-A243-83F6B7127D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e04afcb9e2b628698094cfc00d1a8b354f74f64","datavalue":{"value":{"entity-type":"item","numeric-id":2778826,"id":"Q2778826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305fec59aa7543c1b1f6a808b34e2843a56d5891","datavalue":{"value":{"amount":"+0.7842473983764648","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":"Q1349247$E4AE409A-4134-4EEA-91EE-80936AD4A81A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1349247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1349247"}}}}}