{"entities":{"Q818516":{"pageid":820364,"ns":120,"title":"Item:Q818516","lastrevid":64570518,"modified":"2026-04-11T20:47:09Z","type":"item","id":"Q818516","labels":{"en":{"language":"en","value":"A connection between cut elimination and normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013636"}},"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":"Q818516$64D11E61-20C0-430B-902C-9214F9E1FC2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db260fc0a09bdfb8b4771806e247d955f3b42244","datavalue":{"value":{"text":"A connection between cut elimination and normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818516$8388BDB5-5571-4379-9541-24B1D4D1C550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21f505b156762293ef7af8b1055d65ad30e6e794","datavalue":{"value":"1089.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818516$126104CB-6F7F-4D5E-8318-7ED0FE649D6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$F2596597-7561-47FD-8369-8370E47A28B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$70EE31E4-7E76-4D9F-8CBE-5A6C45B38433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-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":"Q818516$3D6073C5-44E3-45EF-B5E0-C569A09A9E5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818516$2BEEBE14-36FE-49F7-B8A4-491596608AB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7b32b240350d7d31ebb15c35f17c93e27ffc916","datavalue":{"value":"5013636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818516$30DAD98E-49C2-4DF8-A82E-D9F42A9863B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$4169C150-6148-4867-9CCD-E913D41032B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5ce16df76d225f50db2e2fd0a06022d30342b3","datavalue":{"value":"conversions for derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$43B16E92-C22F-4BE0-9ACA-D14DF24DCF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$C2FD3857-0DA2-43E1-8F67-C2FB5C7C682A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$EDFB0988-7E0A-4C06-9933-4257D62A4301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$ECCF84F3-5CE6-42DA-A07C-1920A9AB5794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q818516$570037E5-D3D5-4BAD-BCF2-631083C382D7","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":"Q818516$FFEAABEC-5751-4CFB-9279-62A77DD7A37E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1a24c3006736330f47a55983d67d5b43215cb77","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0295-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q818516$88FADB35-0B91-466B-9969-50663948BD66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f93528c8e440a3c790bf8b9045f7df3b5a464de2","datavalue":{"value":"W2023487230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818516$969D6821-DACF-4956-8FB2-85918FF9FD78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2569f69c28906fddf9d5028580fb85c05208df41","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$563ABB0F-6D2C-41E7-808E-C6EBFB459ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c9f388839a113aa1f268f75b6fada8d8740a60","datavalue":{"value":{"entity-type":"item","numeric-id":1407599,"id":"Q1407599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$FD956A73-1D27-4729-AC42-BDB0CDE60411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e897bc8b0383e0be621508dc47975da8303b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4487267,"id":"Q4487267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$C5996794-F3CF-470C-ABAF-EBB23780638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$AB04D4C5-817F-498C-BDD0-7763199FDC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361e0f23746829e48ff0ff918b87727856cdb536","datavalue":{"value":{"entity-type":"item","numeric-id":5928308,"id":"Q5928308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818516$B5DB090A-419A-49BA-B2AA-DB99A33C94C5","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":"Q818516$90C2C94A-B85A-4C67-B654-18763906A7B9","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":"Q818516$426E4790-675C-4E0E-B9F3-28CB11E8907E","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":"Q818516$3CD44945-0190-466E-81D8-15D74D8F633D","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":"Q818516$E978EB0E-BA01-48C0-8618-0424804D5FFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77e56332faa30f6fa2f2971e3fd7e5a89908cea8","datavalue":{"value":"10.1007/S00153-005-0295-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818516$459B613E-C42D-43E7-A2A6-5D1BB1023F49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0081b34b0601a991dffeabbe55d9c9ab58b6a45c","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cd2bce11f1d7be217510a20309500fa09cbe56","datavalue":{"value":{"amount":"+0.852035403251648","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":"Q818516$A89A1CC4-601A-42E0-A8BD-CCE74B435D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08edf37047e15b9447f7521ce24714d635407ea","datavalue":{"value":{"entity-type":"item","numeric-id":3510440,"id":"Q3510440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a885a8ca65f56dd39d4f2109db5c0373641fd6","datavalue":{"value":{"amount":"+0.8269266486167908","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":"Q818516$C515F780-2024-4251-8D04-EFE7A0D1D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b40e55f9dc03419cede20bf26c51746b650664d","datavalue":{"value":{"amount":"+0.8258996605873108","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":"Q818516$DC906B93-03F4-4F8A-B8E3-878887834467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ec02c7d07ea4068b497ad4a87518a0249b32b7","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfecc636dfb3532be4ac44a2d9211cff6728ed81","datavalue":{"value":{"amount":"+0.8217160701751709","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":"Q818516$9EA15407-E9EC-4CF5-BA61-309291458B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b419f24277f2c2c36c621175f439653d84f33ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3655015,"id":"Q3655015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67314541e3bd4d7f9eec08975489fbc5cd4eaa3","datavalue":{"value":{"amount":"+0.8162750601768494","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":"Q818516$05B64655-5915-4CCD-B88F-E5BE3E391F62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A connection between cut elimination and normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_connection_between_cut_elimination_and_normalization"}}}}}