{"entities":{"Q5111329":{"pageid":7140903,"ns":120,"title":"Item:Q5111329","lastrevid":46185364,"modified":"2025-12-24T00:10:45Z","type":"item","id":"Q5111329","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204450"}},"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":"Q5111329$768C4412-E6ED-4806-8A21-FD36FEB7A4EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"599cde0aaee387325dabef55e89c61f645d2fa34","datavalue":{"value":"1434.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111329$F1DD831F-49C5-4A50-BFBB-15F4D63D9B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$6DAD7A77-37E5-4B63-9686-1D5B82529E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111329$CF800C71-0B39-4234-9450-EAE5BED9BE1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111329$2D3E8331-8DE3-4522-B4BC-5365C4508CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111329$BBA3C297-4F99-4A2E-81B9-BB0B3DC5F9E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc83cd24a5ac492861777ee2af492000887ed7c5","datavalue":{"value":"7204450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111329$4625F149-0501-4CA0-8019-FFE218481A29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26aaf7f8d8e6b587c83ad964aae77e7cef8a2e7","datavalue":{"value":"proof equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111329$06E459E2-56D8-486F-9872-586194ACB20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111329$3D848251-A7CE-4ACF-886E-6F6EAF0FEEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111329$E7F887FA-EF94-4C7B-B7AC-843AA77B741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111329$39B69ADA-26E9-4020-B63A-F083540332CA","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":"Q5111329$2B5971AF-BD94-4B90-8FF4-FC1F856BC2E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"818f2044ada61f8186028673bf007a526a9aea73","datavalue":{"value":{"entity-type":"item","numeric-id":4096457,"id":"Q4096457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$62648F0F-4A82-4136-8FA5-9FC326D2A6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b8931cc97b9286fd379243bba1d9fe33561752","datavalue":{"value":{"entity-type":"item","numeric-id":4842977,"id":"Q4842977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$33B9C039-9BC2-4FCD-A6AE-144D9E1F2251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$8401A032-3229-4FB9-8837-9284240459B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$86356B37-F73F-4EE8-AFF0-1A228B1173A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$E4273D38-97CA-421C-B1E2-B53DEF99BABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$2579BD56-9501-4714-974B-C641F3FF5F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$5D47FCD1-7546-4041-A93A-EB7D2CD4A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$EEA9DC40-9F5D-41A8-9FF4-75BBD0875195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cdfc41b3924af7324d0b8d9aeef14b140f8813","datavalue":{"value":{"entity-type":"item","numeric-id":2958382,"id":"Q2958382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$5F056C7D-FE8E-4866-A89C-B560C70640F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25916ae88cfd882e8cb6b5b5569c6957043ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2394739,"id":"Q2394739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$BE6DC089-498F-4BE2-A167-A73DCDA5F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$A2F74ECA-4D2F-4239-A328-E5F61C87F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d590a8f70bc72c2b3c07f87de20b83fab847d9","datavalue":{"value":{"entity-type":"item","numeric-id":3518275,"id":"Q3518275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$F5C6E111-8D94-4893-8774-6FE71205EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513f8c1d7f88d71443c3ad985062335301f34735","datavalue":{"value":{"entity-type":"item","numeric-id":5741579,"id":"Q5741579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$5CA5C7E1-5B13-4122-BD5A-6E6BF4814203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b442700e9f1c677d5d95db2d4b0cdb5bc40853f","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$47D18451-27DA-4CF2-8683-5F01BA309C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581bf3ecbc0dac03b37a51be7589237f484080e3","datavalue":{"value":{"entity-type":"item","numeric-id":4917988,"id":"Q4917988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$3AD05554-FC05-4C56-9CDE-C206F1C42C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$508C388A-7783-4E88-A0C7-7BD5914BAD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$5C05812D-EC1C-4607-9A01-208264FD5FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b77dcf793e4a80772a3eec7193ad156522687c3","datavalue":{"value":{"entity-type":"item","numeric-id":5704013,"id":"Q5704013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$1C0A55E7-6B1A-4D85-B6E9-DFA56243C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$D639CD22-957B-4403-8918-B44E8A9E1A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a676d9b91b73943b8ae39e4293bca75e02a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3100201,"id":"Q3100201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$974BDB7E-1431-4F5C-A191-61F2E0B068AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7cbae1c1118a2e1a65c80b733f652572b93c30","datavalue":{"value":{"entity-type":"item","numeric-id":4918387,"id":"Q4918387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$7960B113-8E49-4708-AEEC-20BA4819A9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92444d81e4da9adcc56624092da7d2a406460fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2946759,"id":"Q2946759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$7B9FAEBE-0726-462B-B103-0FE25F20DA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889cceec78a61ad113b953ff9205866093eb5c05","datavalue":{"value":{"entity-type":"item","numeric-id":1398476,"id":"Q1398476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$ECFB74DA-786F-43D9-8C98-1FFFE31E5923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5170845ad4d274290ddb99e4bb6d6d6f27905124","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$7EBCD665-63FA-46C3-BF9B-CAABE83A8659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee4359d39bbec68783e7d25d693d012aef4b7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3094143,"id":"Q3094143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$6BDFB16D-BA52-4430-A31D-18D959A40E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6752f5bfcd214b548bed40ff03d9ea96ba00b25b","datavalue":{"value":{"entity-type":"item","numeric-id":714731,"id":"Q714731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$4E4C793D-4A3F-443D-8B2C-F58FF78E7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2437cbd1adde615c75aced4c5f0d85fbc0c33ab7","datavalue":{"value":{"entity-type":"item","numeric-id":3576229,"id":"Q3576229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$CE0AC8CD-24F2-4A52-8C75-3E55A2B560D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$1F836F41-F176-4C5A-AA81-76094736DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111329$0A02C4F1-C6F3-4ADC-A995-4318EF0605A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c29c5ef8b16157c9745d97fbee9b88036344e821","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111329$17047EC5-7F57-43C2-8E5C-93396C173C27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f45145e7501c5471d60a1db85e01b9fb9314d3","datavalue":{"value":{"amount":"+0.7646429538726807","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":"Q5111329$6FFF956A-A16D-4F44-9E3E-A4D2F459A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fad5c8bd01d319bab3ffeeed82ebccdbf6d6be","datavalue":{"value":{"entity-type":"item","numeric-id":964500,"id":"Q964500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff14cce755d857af14df523ced792b610e9ab52","datavalue":{"value":{"amount":"+0.7636909484863281","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":"Q5111329$DAC1C189-B6FE-4692-A5BA-48CB1A95204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c77beffb916c06c0cb26368259aeeeea6a7c637","datavalue":{"value":{"amount":"+0.7533963918685913","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":"Q5111329$3F91CAFF-2EC6-48DE-BC6A-98CF65E53534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c14ddd13672110c817bc0726d8db6c9f1a9ff48","datavalue":{"value":{"entity-type":"item","numeric-id":3518275,"id":"Q3518275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063fe0084356b27f528c93e170cf85fde8881b5e","datavalue":{"value":{"amount":"+0.7533734440803528","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":"Q5111329$26969BFF-1802-4976-95E7-358DB163CA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196cd9a5b604a058c4152ddf6e66003ea009b727","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7c98d95818f99b5f31820309328bd9a0aa5164","datavalue":{"value":{"amount":"+0.74078369140625","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":"Q5111329$4DB16171-B904-477B-9BC0-20AF7CEDA4E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111329"}}}}}