{"entities":{"Q5013907":{"pageid":7043484,"ns":120,"title":"Item:Q5013907","lastrevid":40718218,"modified":"2025-04-04T11:20:24Z","type":"item","id":"Q5013907","labels":{"en":{"language":"en","value":"Cut-Elimination for SBL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438599"}},"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":"Q5013907$44F365B7-DD3E-40CD-8F43-E6913DBDA8A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310558808a4ec6b6c40396b05befeb79785c6e64","datavalue":{"value":{"text":"Cut-Elimination for SBL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013907$44B672FC-3480-4349-BFF4-3A20DCB3F3E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bbba634249273b0cf77db3abee802d71a6da025","datavalue":{"value":"10.1007/978-3-030-49424-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013907$F63C64A2-B7D9-422A-9E60-AB925660BBFE","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":"Q5013907$E6801C51-FF58-488D-B006-6BFA2635D07D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c32b06bc595cc0428a1baec33ca77fa4107426b","datavalue":{"value":{"entity-type":"item","numeric-id":5013890,"id":"Q5013890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$AFEAF747-DA0D-440D-AEFB-DDA669736D92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013907$5EA852B3-3624-4D33-89D7-A82493204287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f773e62b53dc227fd7d4689a6ffa8690516e1c34","datavalue":{"value":"https://arxiv.org/abs/1606.04194","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013907$2AB51BF6-DCEF-4CD1-AEFD-95A86EEBF4CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013907$BBE39FB7-1B5F-4E56-9E79-3CF2365F8716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013907$B09A57D8-F8DF-44AC-ABEF-125893D3C877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d4cadb2080d874347363a7523137f400a1b5c0","datavalue":{"value":"7438599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013907$02261638-29F9-4041-9A54-F0FDCE87A415","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":"Q5013907$3A2CEC32-62C1-4F07-BE93-C3038021BA8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8980b9a6948ac1e8f44898c2664646837a188b73","datavalue":{"value":"W2963822783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013907$95437E3A-697B-45D2-911D-A44EFC97E07F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$EB54C21B-24E3-4BBD-83C6-524826DCBFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$EC53A3AA-91E0-4A8C-A78B-0B065E69F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7612d240a4ad912427d52045626ecc2fb215f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3292575,"id":"Q3292575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$E47E3303-4CC6-4DFF-8D9A-246CE4E5D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245dee262e88208c5956b8ee284e0a0b5bfdd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":768309,"id":"Q768309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$2BBC30BD-3088-4B0D-B656-254A8D989D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$F80D6049-F0F2-4458-9714-E99B6BAD1752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24170d46521c68959354fc7defb44afe4797f5","datavalue":{"value":{"entity-type":"item","numeric-id":3800031,"id":"Q3800031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$4F05FA76-5D78-4EAB-B5EC-4108FE04497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$E621DF07-2775-4CFA-8033-F443A89577B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e88f0d7ac2aba329f84c15b20dfd2d2864075ba","datavalue":{"value":{"entity-type":"item","numeric-id":3322096,"id":"Q3322096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$7602BEE9-146F-41F6-9112-9E2A6B20E327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf570b4f8cfc364a1cf37af2845b521d40478adc","datavalue":{"value":{"entity-type":"item","numeric-id":1192582,"id":"Q1192582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$AD42B4B0-82F8-443F-93A7-EBD178E441E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$CD7F8051-BA53-40C2-B709-A7AC10F51FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$F4F9A41F-85CB-4013-BB69-78E48DF408D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813dc3796cfeaeadc0083e9c9b8bb8c20c00bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5770686,"id":"Q5770686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$FD6B0FD7-EFBA-4693-AB48-DCDA6F87B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$DB8383FB-8B7C-4AD7-A31D-4E24A838B384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6eafdf1c139884ac1ff4deb1cb9bb75eab73391","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$6D270F22-2C10-40EA-9EAB-3D0D14C19F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c20063395d481d6afd6b6ba37dc0e8e042800c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$A9AA7D53-08E1-486B-87E6-82F7D28775D8","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":"Q5013907$B7C1A3EF-BA6C-429C-9834-953E114C64D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$B870DB4F-B72C-4436-A80A-FF543C13771C","rank":"normal"},{"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":"Q5013907$560EA1B5-8011-42AA-89EE-73E5DAB70110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f5c5470db5c93e403e609fe93402427a46b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$1C3B2C03-96D5-4D0C-A937-4523058D2126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013907$F8FA5523-AEF0-4002-9BFA-10C40D6AE966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6666db08e39e5f85f381c352743fe1bb6d0e3e36","datavalue":{"value":{"entity-type":"item","numeric-id":1799034,"id":"Q1799034"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$BE932C2D-81D8-4F52-B6A0-DE65CDCB36B8","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":"0da2c9c1f7187bef761e6729e01593ee29373467","datavalue":{"value":{"amount":"+0.8653345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$7B53BB4E-9AF7-44B5-B71A-8F372F04A6FB","rank":"normal"},{"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":"d32b3bebe7ff20155b0d916ee7c7992d9b9b9ad4","datavalue":{"value":{"amount":"+0.86203134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$25D6F5F9-C79C-479A-BE8D-B392F8ADC41C","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":"ff3494d539544a7ea1c9d0a3b7b107cae1111c5b","datavalue":{"value":{"amount":"+0.8604265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$0E3C68B4-0324-4BF4-9402-96D1BE92E838","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":"0ccad418597ee7e51eda18a9f3091329397ccaac","datavalue":{"value":{"amount":"+0.85570085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$ED5A73A8-8127-4D77-A948-7CC1FD1662A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296db2e9045abbdae4723510f4b0fb9ac88887f4","datavalue":{"value":{"entity-type":"item","numeric-id":2892684,"id":"Q2892684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ad1a52b61fa1a1ffc87e6f807f8aa42d3472cd","datavalue":{"value":{"amount":"+0.84687877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$50578824-130C-4430-BD63-2092547A0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dabf522b1b9336df1816882595ee7ac6616261","datavalue":{"value":{"amount":"+0.84300333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$0A6C695E-F6BD-40B7-8716-B3FB0F0AE609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf88362f6428d5d0299f9f394699d6f8456b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d3adb56c2fa84d3684d2ac5fe12f3dd6d12d4f","datavalue":{"value":{"amount":"+0.83962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$858091A8-DFE9-4B08-A3EF-1CD076F676BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba893c2bf83b428ae49c9fd6baca8ee4b4ec77c","datavalue":{"value":{"amount":"+0.83921003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$A26D7E4F-153F-47F9-91C0-81821134C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1447727762a2f5bad690440907323f3798fe5a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09700862c4b63d0cf95fcc6d69078f4ee75717f","datavalue":{"value":{"amount":"+0.8384305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013907$36DF177A-2315-4DD5-A06C-22016509D83D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013907"}}}}}