{"entities":{"Q817697":{"pageid":819545,"ns":120,"title":"Item:Q817697","lastrevid":49801480,"modified":"2026-01-10T20:59:20Z","type":"item","id":"Q817697","labels":{"en":{"language":"en","value":"Admissibility of cut in LC with fixed point combinator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013033"}},"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":"Q817697$3065F5AC-00B6-481E-8050-B37B41C91948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfcc9a8166e2425572765397df2a379d87ed37bb","datavalue":{"value":{"text":"Admissibility of cut in LC with fixed point combinator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817697$07842924-6BED-442E-976A-853ED762F9EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e7dc3c1ea7c9efcebaf23c0b9cae698bfad6ea9","datavalue":{"value":"1089.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$2462D403-BC1F-4E7F-A69C-59FD429CF732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$F31C37CC-24F0-4F97-A2B5-B5E6589C28D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$375C8843-DA2E-4072-8228-4C0AA4223E18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-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":"Q817697$728AE15A-C17E-4C5B-8F99-5AE9883CCCC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e89df0442a00fc27af195ebec45a8e868bb9977e","datavalue":{"value":"Structurally free logics are sequent calculi that include combinators and dual combinators as formulas. Standard structural rules can be conveniently stated using these combinators. The author extends previously studied systems which involved only proper combinator by including structural rules involving the fixed point combinator \\(Y\\) and its dual \\(y\\). She shows that in this extended system a multiple cut rule is admissible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$91E9280E-D2E5-45C7-97E3-C243BC87F356","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$4012F68B-CEDC-497D-BB91-DEFEA0CFC6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$E4588FBC-C890-4FDF-A150-35AB17A9CF5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c1c1e7c7bd84e18890a8c1850c80bfe367b7c4","datavalue":{"value":"5013033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$4B31F117-49BA-4CB2-8AC5-4BB894815146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46702c6954cd4327c8ecee41c7fc6cb0048d3911","datavalue":{"value":"Combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$A07953FA-B608-4E95-AD4A-6A1AB42C4C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b031600c0cfd6d2e764bf64f26528742a574af41","datavalue":{"value":"structurally free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$0B432AEF-0FDF-4A55-890F-804BF9006A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$719F3304-F3D7-47CE-9141-B685EA859C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$37A903EB-0E2A-4530-BCDE-1518DE13A5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60ed5b70c766be548364d4b6100795eda0686cb","datavalue":{"value":"fixed point combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q817697$00BF8DF0-27BC-43AE-95C3-85F2EEBD48CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$60D787D8-6333-4758-8C06-E4D932FEBF17","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":"Q817697$7587A0A7-0275-4523-B865-7C4AB61706DF","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":"Q817697$94B053C7-162D-4D8C-A84C-22B20F2CC97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9401d820ac738695ec7bf46a0aa275bb4478cf5b","datavalue":{"value":"https://doi.org/10.1007/s11225-005-4651-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q817697$E8E19C56-7822-4C57-A43E-A14D0B939980","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb4e2a54941a046856f6416c2658e691ccd2c56e","datavalue":{"value":"W2066761871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$52AA3F19-A759-4FF6-BD66-1CDF7FC7A880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"186acf99ff02d164347274af36b6b9685bfa1f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2743637,"id":"Q2743637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$A255F09B-EC53-465D-B612-131854553068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a70c139089a2132580c4a82d76d6052b537cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$6C352360-B5D4-44EB-8654-C4AC8F25606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$FD8615F7-9CC0-49C4-9E3A-32093E481AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$6EAEDCE4-BA5B-4349-9A52-185264FFB3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$6806A33B-6DEA-438A-B0DF-2060CE7A616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d8a83e6cc2a7a4f4f86a5f96172a368c33f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$1339CC95-A815-4720-884D-3F6D12192284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$7CA62BB1-6EAA-4DCA-9AA4-B36A4E2B5E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$6470D226-4896-4F77-8F20-7615CC78CE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184224617103e546a521a516ac30c700b7d9a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":4138710,"id":"Q4138710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$C87A084F-B54A-4438-9746-B681D56CAB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e6d9e849bd790f8e9802155d975aaec967d07c","datavalue":{"value":{"entity-type":"item","numeric-id":4039770,"id":"Q4039770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$573BA046-F23B-4C4D-BDC2-7E7E4BB7DBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817697$8F42CBF8-7B43-4AA2-8D02-BDC30C8D6A01","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":"Q817697$BC3E8447-21A8-43B8-8FBB-00931B9CBB43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca389f831ffc550bd4d78aca280514f03b8107a8","datavalue":{"value":"10.1007/S11225-005-4651-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817697$DEFECA86-4F9F-43FE-B504-DDB2C0C0BA8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d17a1b0b815183548f24a3fc9c85eb59f3c1221","datavalue":{"value":{"amount":"+0.7620530724525452","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":"Q817697$600F2ACC-CF14-431F-AC0F-11B978F31C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0b6ba2bf2112774fff2f92126e35c32fa573d8","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca942a6838d189488d13c43cf79e4a630c07ff57","datavalue":{"value":{"amount":"+0.7503640651702881","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":"Q817697$335347C3-0DCB-4A01-893A-42BC4F281EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97512b94c56bdd5196304fe787252e3a152be40c","datavalue":{"value":{"entity-type":"item","numeric-id":1368379,"id":"Q1368379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca942a6838d189488d13c43cf79e4a630c07ff57","datavalue":{"value":{"amount":"+0.7503640651702881","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":"Q817697$42F39153-6244-4A96-9FA8-8B7A430E623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377f24bf998c13c06b9ef18a64618fb67d047f3a","datavalue":{"value":{"amount":"+0.7399052977561951","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":"Q817697$83018A6C-B49B-4DB3-B5E2-B6FA401F1649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c723c46188b9ce750d35623a4831e99709ded8c7","datavalue":{"value":{"entity-type":"item","numeric-id":5444708,"id":"Q5444708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377f24bf998c13c06b9ef18a64618fb67d047f3a","datavalue":{"value":{"amount":"+0.7399052977561951","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":"Q817697$F25321F5-E7F4-433C-AE70-B14EB06463AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:817697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:817697"}}}}}