{"entities":{"Q1799034":{"pageid":1809776,"ns":120,"title":"Item:Q1799034","lastrevid":42146441,"modified":"2025-05-26T12:52:05Z","type":"item","id":"Q1799034","labels":{"en":{"language":"en","value":"Cut-elimination for \\(\\omega_{1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958067"}},"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":"Q1799034$D9EECC0D-E11D-4596-9941-D6471673D61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcafd43fa6aa5dcf4ca6c0cbc1fa0821cdbcdc54","datavalue":{"value":{"text":"Cut-elimination for \\(\\omega_{1}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799034$C397955A-395E-43A0-97A5-5BEEC0ADE3D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$6F61A86A-7D03-469C-AAD4-23C2B234DC61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$35E35093-4F6C-406A-9416-9BE1EB7EA9D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799034$458E8253-58A6-4868-A7DA-34E9E00BD520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"753b3895a3cb7d53f7463f60cbaff66866508407","datavalue":{"value":"https://arxiv.org/abs/1801.10025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799034$02DE664A-066D-4D09-8FE1-536932F1F1A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$9D2FB005-9CB1-433B-9481-B0120992FB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$36B55F79-2D94-4C89-A035-E647EF803308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$BF8E164F-A0EB-4CF1-9F80-F7673E6A669A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$DCF9A163-A174-462F-A377-6795BD63218B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b5ae7b58bbcba7ccb375f324a6d224defe95ef","datavalue":{"value":"6958067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$E1E9B546-A2AF-4673-A3EE-0C91FAE6E7BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799034$A6D3FFA2-259F-411F-8BEA-229247CD450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fa2010e66790c07e3c184d45db62f49da98051","datavalue":{"value":"uncountable regular ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799034$465E3CA8-37BC-4EEC-A9B2-E65AB5C2C6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799034$DDDB51DC-3586-465F-83D6-36CC5D78D619","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":"Q1799034$530FEACD-EBF8-4161-8F55-8F211D88B08D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8d39d6f2b2c8b3dcc290853a1983d47171c7c76","datavalue":{"value":"W2885696443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$B2244FAF-8CA8-4DBF-AC6F-2BDB780B2958","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d218d3690c005dc0a2ab436158adb54815ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$CF8240A2-17A0-4C7F-A3C9-344526B14D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ec8e16531ce361bd3838a4fb393163035c6689","datavalue":{"value":{"entity-type":"item","numeric-id":2853981,"id":"Q2853981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$19E1495C-F889-468F-8538-DFFB92E7C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c27ddca4999e4e7d7d4401e4471edffe613a260","datavalue":{"value":{"entity-type":"item","numeric-id":2921002,"id":"Q2921002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$BAD4053D-F770-45FE-A887-53F9D079C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ea268fa64f0131a23d864d0f7982fa2704c0af","datavalue":{"value":{"entity-type":"item","numeric-id":494642,"id":"Q494642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$9B117AE8-A7DE-46B0-B410-930BC6DFDC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$7F9BAFDB-A7E8-4368-B962-5574F73D1FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$EF003FC2-6026-46F7-983E-09C721BC7BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799034$7CD8678A-A5B1-4A74-8DBB-82395FF20CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b786b136265bb38ceea8c3cd702185437f654ad","datavalue":{"value":"10.1016/J.APAL.2018.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799034$915B8637-00C0-4BE1-9F2E-4AD7E8D7172C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b39a8a97bab50c0980e63d9de518e9eacf7e42","datavalue":{"value":{"entity-type":"item","numeric-id":3086775,"id":"Q3086775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7881f60c34bbb9b5aeb66c385b4c4bd6bcb011","datavalue":{"value":{"amount":"+0.87313217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$652126E1-7EF4-4DDD-8CF3-F90B2328974E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb87392f68ef7607d5fd6657bd3271e995e8f3","datavalue":{"value":{"entity-type":"item","numeric-id":5854738,"id":"Q5854738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fc939a11ea660e3b6bd977c798d321e713dfc4","datavalue":{"value":{"amount":"+0.87108254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$539D0D3C-B6B9-4165-9F94-DF716BA99EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6f765c6b7902d8915ece3356d4bd646f5d905b","datavalue":{"value":{"entity-type":"item","numeric-id":5013907,"id":"Q5013907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c33292fb8c7ab1f8901d78d4a4cfc4ab0ed388","datavalue":{"value":{"amount":"+0.8674408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$B50C48D9-425D-4F3B-8FB5-58359E0B8D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a989797d751af07a09fd4765a9234aac2acbb0d","datavalue":{"value":{"amount":"+0.86367816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$5825E923-545A-43B3-BDC4-FD33EBB78CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c76e6aa7f7e51af0c09e90d96f833a214e63e9","datavalue":{"value":{"entity-type":"item","numeric-id":1661673,"id":"Q1661673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80c08cbf4b7faf98f2952d1f3bb10cc91f74697","datavalue":{"value":{"amount":"+0.8545875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$F389C363-051A-46B9-A11E-82167DE76A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a844a5f5ec9b1b67e1028d63da941c8ad3935a","datavalue":{"value":{"amount":"+0.8494698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$AC2CABA1-F4D6-40E6-B8BE-CFE407381ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139a1eefe7c7df7ac0d695483eb65d1e58250159","datavalue":{"value":{"entity-type":"item","numeric-id":2478554,"id":"Q2478554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3f32be26519026223a629ebb380c59b3fe0efa","datavalue":{"value":{"amount":"+0.844764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$5928248E-12A4-4BD2-8F68-21DE22133500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12425adf7c955e4b45dca68b0f67a805ce723207","datavalue":{"value":{"entity-type":"item","numeric-id":3222838,"id":"Q3222838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd3a0950a4f67c82dce8694d61b958e72926db7","datavalue":{"value":{"amount":"+0.8444963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$6C3C21FD-D661-461C-9B3E-48C136D41AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11405d699732eb52e458d5eb811247f8d048ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1114684,"id":"Q1114684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ced86147779b387a98c48989fcd92285adbb16","datavalue":{"value":{"amount":"+0.8421493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$8625806C-CB12-4C92-AACD-1B34780BD76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a6a70c77b8169058caeb3717ebae1de1719d2","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f92ec83ab7b802bc78e08648d10f20613f7032","datavalue":{"value":{"amount":"+0.8415532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799034$696AABA5-7AAF-4048-BA5C-50E89C4D31AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799034"}}}}}