{"entities":{"Q1661673":{"pageid":1672414,"ns":120,"title":"Item:Q1661673","lastrevid":57425112,"modified":"2026-03-30T21:43:20Z","type":"item","id":"Q1661673","labels":{"en":{"language":"en","value":"Epsilon substitution for \\(ID_1\\) via cut-elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6919822"}},"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":"Q1661673$126AE34F-B85D-4EB4-9664-F374DFA80631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bdb273e9a24e6f2cabe9847eea8e2de477a3b14","datavalue":{"value":{"text":"Epsilon substitution for \\(ID_1\\) via cut-elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1661673$3E95D15B-DB69-4CD2-B25F-934CD0F11ADE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"608da782636c5479ca6bd9b2830a3525dfd873dd","datavalue":{"value":"1455.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$F1A05C6E-760E-49DC-98B7-2390C5B10A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$ED5979DE-4686-40E4-9C79-99B47E46FE70","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":"Q1661673$83DF988B-FC1D-4B3B-B1DF-E09CEA931A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea849c4eb281a412bedffe61a8651446b5233ab","datavalue":{"value":{"time":"+2018-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1661673$66946650-A2E8-4FA8-BBC3-BE270FDD9A45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de919a9e8f1c12ef620fe528e43922037497694c","datavalue":{"value":"https://arxiv.org/abs/1509.00390","type":"string"},"datatype":"url"},"type":"statement","id":"Q1661673$19FEB43F-5B54-4A5D-9AA5-410EEAE50203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$05308FA6-997B-4148-921D-83ECE260A8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$364B5E77-E1A0-43AD-ADCD-75122C1A208B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$81693E92-2A54-4763-A403-0BD5814A6163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48cc62c12ea893a06e6862d267ddac19387b86a","datavalue":{"value":"6919822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$A1337172-4D27-45EA-8ED0-41C9F3E71535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5e57e9f1a947591e15f9e0dc4c42940c39094b","datavalue":{"value":"epsilon substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1661673$A2A90A60-7EBF-4E08-A430-09B2A57476A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60114ffcaa67627759d391337d4826e5aced2647","datavalue":{"value":"ordinal interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1661673$1EDB7FC1-C410-456A-BD05-920ECF425AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3ca4a6cbd279b42e521c34520e7efdd1df0b39","datavalue":{"value":"termination proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1661673$F75FC2C2-D4D4-4999-A021-3029CA893914","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":"Q1661673$D113A21C-A7F4-433F-98E7-ABE188A3F43B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a94707729e0e0060458803a7b910a230fbaa641","datavalue":{"value":"W2756418407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$8FC7B52D-71E8-485D-AD04-7385C46CE00D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b30375f07d768174ed094de7321528d2b3c51b","datavalue":{"value":{"entity-type":"item","numeric-id":2646541,"id":"Q2646541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$3A470F27-34E6-4B07-8574-E26D19870AED","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":"Q1661673$4697308A-194B-401C-9A5C-38960A96E1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973f6bf6c69678cd9a656a7e5b366fda4d57bf05","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$8328F46F-6098-4229-B862-2F738F7AD885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31291a3dd4a99b6e7b6897958f564beb936e92cd","datavalue":{"value":{"entity-type":"item","numeric-id":1399101,"id":"Q1399101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$31E19C47-66EE-4F7A-B3A0-5F0AA09E3DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d00387896589b5e49220f22dbb558564f833852","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$9CF24F86-D687-4F3C-97DB-1BE20596E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6404031e3487a254ffd26c5ee9b891acf4fc0b","datavalue":{"value":{"entity-type":"item","numeric-id":3416109,"id":"Q3416109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$E9968934-0FDA-40C1-A2B0-A03FD83C3F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d6cbd01dd0ea8ea26131a68d909048005c899","datavalue":{"value":{"entity-type":"item","numeric-id":5800868,"id":"Q5800868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$CE1BC062-2913-43B4-8D23-CE821F39AB2D","rank":"normal"},{"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":"Q1661673$4C7742DE-34CF-4E29-9D02-C33A7C530311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$507E9E41-CD12-4EB0-A222-5A2CE3D72DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$958DB7EF-B037-4A08-ADAB-5CFDA765E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688cea5a817911a84036b242cb5a151143cdc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5680102,"id":"Q5680102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$E2ECAB57-1BAB-4600-9CD8-CED0CDF80CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$EFF88B80-790F-4FA4-98BB-639F21F6054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc5131b0b7964726299b118b83461f6bf3bdb2","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$D809B7A4-BC12-425B-89BD-698478609397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0505ede94b8676fd33aa3acf5965ab53873886","datavalue":{"value":{"entity-type":"item","numeric-id":4981452,"id":"Q4981452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$1296EB02-0A47-4514-AA74-D3E99257FAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57909496d4ea01d110201f888a44980e06bab8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5361259,"id":"Q5361259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$331F7E31-3423-493D-B846-B055F49437DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839f84674fbc4960d57f999dfddb193181d8344e","datavalue":{"value":{"entity-type":"item","numeric-id":4941993,"id":"Q4941993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$569CC162-B11A-433D-AB65-34E34827A9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$36E467AC-67F7-4A81-930D-964540BBC6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be1b6632483453b27adfcbd7f1d6fdef9bfbb3f","datavalue":{"value":{"entity-type":"item","numeric-id":3942955,"id":"Q3942955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$99D9611C-F7EB-470E-9D84-7FBEE55AE182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$0847BCDA-CA58-4F1B-A16D-32968B30822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$9D4EA01F-574C-4BF8-B0AB-819EB321E7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc17e04af4bdbbac3426f952031299f7a13fb2f7","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$406101CB-92A4-49BB-86E7-31010DC18524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916746dc03607d40228c71b62b930a926c881aef","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$CEB1408B-9A7D-4DCE-85F7-9DBC3FB1BCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1d6593cd0ebfca53ff73204240e1bf28b6816d","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$92D074AC-28AD-4A2F-A515-9A5C28B011A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2f68614948a6f9639403077e134483bc245d5","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$E7E2D5C8-906C-4462-9095-BCEB5FF55005","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":"Q1661673$6A7E69C0-9499-4114-A370-C83EABF6FE3B","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":"Q1661673$2F39842D-C9E9-420A-997D-5F7357C56DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ce4f09bd5d7ade18a796d816737205a58c7016","datavalue":{"value":{"entity-type":"item","numeric-id":1778059,"id":"Q1778059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1661673$487D6A4C-74B7-409F-8ABA-0D88244777AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a56c896050ee013a2d33cdec1ed23d4dfb20f0de","datavalue":{"value":"10.1007/S00153-017-0590-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1661673$EBA418A4-A543-4152-9F6A-46716EECE1EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1c7427d3c71381a2d1d6b79725a7a3c51f38cf","datavalue":{"value":{"entity-type":"item","numeric-id":1399101,"id":"Q1399101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adef06892f3f13ce5b8fefcc0d01f886edcfe95","datavalue":{"value":{"amount":"+0.843718409538269","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":"Q1661673$33921D04-6B95-4A5A-8BB7-1497FB577510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60129007ce7a2d2da6e9d2e2d0aab5334ef657a","datavalue":{"value":{"entity-type":"item","numeric-id":1807464,"id":"Q1807464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adef06892f3f13ce5b8fefcc0d01f886edcfe95","datavalue":{"value":{"amount":"+0.843718409538269","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":"Q1661673$3DF519EA-2682-4C44-BD50-007DE3FCC291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0c7e74e9d7c8b9d69046b8e03cefc083790027","datavalue":{"value":{"entity-type":"item","numeric-id":4981452,"id":"Q4981452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb023cb91a8e0ac90a9cde206e3f72511388148","datavalue":{"value":{"amount":"+0.8170313239097595","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":"Q1661673$054CB029-C222-471F-B3B7-C486B111C6A3","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":"0659bb61af72d48563899634e9437dde9d0d41ae","datavalue":{"value":{"amount":"+0.7974302768707275","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":"Q1661673$6085D88C-E6FE-4761-ACA6-7F1B4FB1F803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a751f9d4e79b620673c28b4511ed3776e89bd273","datavalue":{"value":{"entity-type":"item","numeric-id":1401363,"id":"Q1401363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eca34cdbdfb58aefce5273a8e573952ddede6a4","datavalue":{"value":{"amount":"+0.7972445487976074","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":"Q1661673$AC2AD4A7-CCC7-4162-935B-1C71CDB2D2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1661673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1661673"}}}}}