{"entities":{"Q4506460":{"pageid":6536053,"ns":120,"title":"Item:Q4506460","lastrevid":97268180,"modified":"2026-06-05T13:45:53Z","type":"item","id":"Q4506460","labels":{"en":{"language":"en","value":"A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1509481"}},"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":"Q4506460$78E58A9B-560B-4C6C-9561-1E7271854C50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3550256370f890da622869dea42754cf020353b6","datavalue":{"value":{"text":"A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4506460$900FE9EA-BD20-4662-8238-B653DB3678C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b6c58100c5d963de96a7c1fd33ade31ebacdd57","datavalue":{"value":"0951.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$F4B5F94A-7C19-438A-8FCC-8DCB1F726488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51ff3d25d9782286e326d57cd3de87efde146bab","datavalue":{"value":"10.1112/S1461157000000188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$F48DC03F-2E7B-4762-87F0-8034F3444ACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3284ca1bff8df867ebfe9cbdfa155072f0ae36a3","datavalue":{"value":{"entity-type":"item","numeric-id":2751531,"id":"Q2751531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$FE366107-E881-4308-B06C-466E98F8C4D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"997f8e81aafe849f90a25017f3ed07a2b1feb16c","datavalue":{"value":{"entity-type":"item","numeric-id":2709391,"id":"Q2709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$5FE403D8-4FC9-40F7-AA0C-BCA0873C1317","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0d7008e8447ba410a216087c18a25ea2beb179d","datavalue":{"value":{"time":"+2000-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4506460$F60D6C12-1D51-472D-874E-E01F8283AB5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b3509c72308ee66b4194c35c79c1d505e8bbc06","datavalue":{"value":"http://www.lms.ac.uk/jcm/3/lms1999-009/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4506460$C82843C6-9E11-4A98-B72B-732AE076AD7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$AA119DAA-4EB5-4CEF-9B1A-4BE3CA310103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$257BE214-2603-4AA5-A94D-6F10752BD68D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b004cb78eff079f065166f4680cff901374b0d1","datavalue":{"value":"1509481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$5EBC6A65-8A23-4E91-8C9E-C1840C0C75B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187066f29e073ebcc7a9a33516ef3934de18d150","datavalue":{"value":"cut-free intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506460$148495D7-CF7C-4834-83DE-C2776236CD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e3b75d125d831a9e54d25d52d29eaca36054b0","datavalue":{"value":"weak normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506460$5F908BE5-AD18-4337-BAC9-BF68BD3A8AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8031bcf883efe00302a2bb4f5d57b8c7a10ac81a","datavalue":{"value":"implicational fragment of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506460$B4A8AD29-BD5E-4A04-822C-C3149FA0DA69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$B4E3F1B9-B005-49C5-9051-1AB08F55D71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$F20EA004-904B-451A-A9E2-BCA1B66AAB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$B3E66422-A78F-4F0D-A3D2-2320F44376AC","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":"Q4506460$4AFB6E76-6A36-4C19-AC98-A359DE2E062C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$BC27595E-CADD-4133-A109-DBF586EF4669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$2BA2362D-007D-428E-B614-3D981F01A649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f2adbb2e2d11ec69ce4c61e0ae7f7b45e1dd84","datavalue":{"value":{"entity-type":"item","numeric-id":1275632,"id":"Q1275632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$A31895AE-EC2C-4982-817B-704150D91BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$0A0A950D-807B-482B-A454-72CCE50D4A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2cd4cf713ccf989480cb5c49a18cb39965ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$A019C413-4D1E-4A44-ACFE-C60C3E0D75E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$1F1A3BCD-7DFB-4D47-895A-E4B8DCD56933","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":"Q4506460$508FE806-7DD9-48B7-AD52-694B2B2DD7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d8c86eb700bcd7804a2c549d04d7c274011c8","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$752C429F-8F13-4219-82D3-AF2E8D976A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$0FEA461F-BA59-4D99-A18D-8DD3DA1A1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$5E024964-FB15-41F3-8105-2BB080961996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$5E287CE3-1F27-4188-9C47-86F2B0F7A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506460$8B4D9562-11A9-4B77-86C1-779A3E761E8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e64484595be674453504bdfa7f8bf4d1350ea43","datavalue":{"value":"W2111155907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506460$B198FB72-DF9E-4D3C-BB36-EAF44BB1D918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14834824771135e9cf6a75527d080c77f143aad3","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032520fd56f6724cf5a17c3393a6c95196a67c4","datavalue":{"value":{"amount":"+0.8129795789718628","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":"Q4506460$8B4B6B54-5F68-49B8-8588-92DFCD0558D3","rank":"normal"},{"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":"0d143620728c4181388a0903078d0629bf89d02a","datavalue":{"value":{"amount":"+0.8040810227394104","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":"Q4506460$E64B5F49-00F2-4641-A642-1C0F45A4A86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547bd3c07c9c229b174593af10279334786a28a3","datavalue":{"value":{"entity-type":"item","numeric-id":4635630,"id":"Q4635630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d143620728c4181388a0903078d0629bf89d02a","datavalue":{"value":{"amount":"+0.8040810227394104","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":"Q4506460$B8CB5C9D-F20C-4562-99F6-C63C96954F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49e67237d9db5abf6cfba43cdcf558caf9530c2","datavalue":{"value":{"amount":"+0.7896832227706909","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":"Q4506460$D77B2662-EBFB-42D5-A8AA-EFAE3756CEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46837bc29d87c3d7145f5a48f5ff17d766dc2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3395a5d2c10dbc0f9d665623717e46d8281012","datavalue":{"value":{"amount":"+0.7645422220230103","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":"Q4506460$D0DB22A0-8F23-408B-A09A-CAD507783F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs","badges":[]}}}}}