{"entities":{"Q5055748":{"pageid":7085325,"ns":120,"title":"Item:Q5055748","lastrevid":91919858,"modified":"2026-06-05T00:24:35Z","type":"item","id":"Q5055748","labels":{"en":{"language":"en","value":"Incremental termination proofs and the length of derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631156"}},"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":"Q5055748$519F57F5-5AD0-4BF7-912D-8DCBA598B089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5756ed211a610b593db2b36e0c7c169d2ffabe15","datavalue":{"value":{"text":"Incremental termination proofs and the length of derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055748$6EA9FEBE-A50D-4245-9BBE-ABEE38EE3779","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb2da89052caa00bd44efe447a585728fd32db2e","datavalue":{"value":"1503.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$69D2C84B-DD11-4F3F-8AF5-63F227591E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"544b8cdd88ec16503a8100c04fe763318640c85d","datavalue":{"value":"10.1007/3-540-53904-2_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$B7F14185-A34A-4E5F-97CE-DA3AE1158719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f801005118ef1fc9fa76ca1bd7449d03619d17c5","datavalue":{"value":{"entity-type":"item","numeric-id":208762,"id":"Q208762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$37F92F2A-F7AF-4DCF-98C5-3BCF39B53746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"682e36db539370b8b27b5fe80871658238c85e6d","datavalue":{"value":{"entity-type":"item","numeric-id":493118,"id":"Q493118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$0079672C-31EE-47F6-AE45-D3A1E2677E77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$960891C9-8EDF-4A78-A473-18BD11AA0129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055748$370C7F31-F614-46D7-BE87-71A383F51D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$A7EB95F4-BF39-4733-A97F-9D47A9F61573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$4EDFAD54-C88F-4C00-BCF0-7EC076C85F99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da366fbbfaee3b2c70e56144fc045c466d598dbd","datavalue":{"value":"7631156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$ECF39340-D5C2-4502-9DC9-D8D0C9F11DC8","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":"Q5055748$75492667-80BB-460B-9AC4-1B0D29022741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"399c990c96e6ade617b1d4819f68437f636a83ba","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_85","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055748$D45D986A-6FAB-4E95-AD1E-34BB8FF04266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19fe08d7cdaafa08d1f5544878ccecfa793b61df","datavalue":{"value":"W2127730451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055748$8D77473C-9E44-42F1-8818-1ABF8C435282","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$9BB9BB14-BAD0-461A-ABF5-83DF4D594499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$0A9151B1-C57A-4E19-96DA-044B3A6B282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$0EB2B12A-6755-4A66-AF8F-084079073B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$93DE8516-5B54-454B-8F67-8C476430C61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$500FAD0C-C9F4-4907-A126-16B8982A56ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$66245CE1-9126-4F0C-A36D-9BF49DF710BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$C9E8936E-FFE1-4E45-A8AB-92C4909CF61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$8E7FC0E0-E88B-4791-A214-F0E184496FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$D418A0DE-C54A-4187-BDCC-8580D700CDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29b3c236e91c30852d16d4ed27cc41f72168feb","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055748$C83A0C66-8C64-4DA8-98B1-E523562609FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcf05b41a307dafca434a111ad9507ecd5c0801","datavalue":{"value":{"amount":"+0.8096508979797363","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":"Q5055748$91C25F25-697C-499F-AE00-8705F4AC4F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15dd14431aad79c0ec12bc08e552b2fb5290bbd","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ad8ab984e9db33207b2cdd9a7e6b6b1fac8bf5","datavalue":{"value":{"amount":"+0.8030350804328918","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":"Q5055748$8142A766-9F60-4F3C-8AC7-2F25553A97BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385d4a95c988267a30b98baae30830dc6d1315d","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301ae1f2b5bcbd78d4de1b17de08b14b1899b9c4","datavalue":{"value":{"amount":"+0.781040608882904","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":"Q5055748$DA37D661-9959-4FDE-AB31-E26088C3C3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ff1fb2751727afffb0d7607de020c9fece5b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bd9a5c624453eb0b32ebc610e713fc5caf5771","datavalue":{"value":{"amount":"+0.7771700620651245","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":"Q5055748$A2E9EDAE-BFE3-4A0F-8829-805A604721C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca588ad41d19ce5e54033d07a947da3938fba43e","datavalue":{"value":{"entity-type":"item","numeric-id":3195706,"id":"Q3195706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a497af4d88d8688547e360ffca46f3daac271d","datavalue":{"value":{"amount":"+0.7716290354728699","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":"Q5055748$2E41A071-6F0A-462A-9867-5EC5D01CA284","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental termination proofs and the length of derivations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_termination_proofs_and_the_length_of_derivations"}}}}}