{"entities":{"Q5055719":{"pageid":7085296,"ns":120,"title":"Item:Q5055719","lastrevid":47785747,"modified":"2026-01-02T16:49:57Z","type":"item","id":"Q5055719","labels":{"en":{"language":"en","value":"Termination proofs and the length of derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631115"}},"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":"Q5055719$25726C56-AF3C-44B6-A38A-930C33DC6DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b71e626b2dbe2d4befee427e0997da7fe241381","datavalue":{"value":{"text":"Termination proofs and the length of derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055719$42ADE374-2D75-475B-8AB9-7F8718D82EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed2d9d9c97de4084073fb4bcab847ee4ee888a90","datavalue":{"value":"1503.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055719$2952A491-5E96-41BA-8FAE-A387C8F05F5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08c1cb65ced88ed793e60d4554031433d5f516eb","datavalue":{"value":"10.1007/3-540-51081-8_107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055719$A2FA3AE9-A8C1-4137-9CD3-E8BC717C9933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055719$D9E2610A-A373-4ABC-8D44-325C3FE00CB6","rank":"normal"},{"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":"Q5055719$79DB0F44-727D-4C41-9829-B3DF35E95CF0","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":"Q5055719$5E632E93-5709-4B6A-94F9-E4B2BB9857D8","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":"Q5055719$0B7E3A3C-7538-4BF1-8A9D-04417EBC501A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055719$FAF8B739-E7D9-4CF9-89E1-5C8C0952DE69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19ec9191c3f6f243d19150ae084bedd9414deedc","datavalue":{"value":"7631115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055719$106BBB4D-0ADF-41C3-91EE-27540E469BF0","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":"Q5055719$8363D0EE-363F-4C02-9A35-0961849840B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde8d666f087757178c4179cefb1dcab41ab31fa","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_107","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055719$34CF89E1-EBAB-41BC-97A0-312F7E7C42DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42e051485f994d1961ad0889694d4271f53522f8","datavalue":{"value":"W1597089442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055719$16C85BA9-9FFE-4225-BC8C-DD5A43B02767","rank":"normal"}],"P223":[{"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":"Q5055719$FFC23DAA-AAFE-4949-B342-AED3A651F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055719$57E9C816-8C9B-4C5C-B8C1-7337DC450F94","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":"Q5055719$F44475BA-05CB-4D3F-A192-A4A3DE0EA7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28f96052c1770b766320b64ebbf02b3f8198951","datavalue":{"value":{"entity-type":"item","numeric-id":3833603,"id":"Q3833603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055719$81852F83-2FB4-4C89-A083-DFFF2969E79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a5fa9e9b115d53ed202db01eea8f77a2322660","datavalue":{"value":{"entity-type":"item","numeric-id":4430288,"id":"Q4430288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055719$6DE6E612-9883-4ADE-8050-C553C39B9B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a664fcd7d41eeb4ed77ef9a598d8a6631479e23a","datavalue":{"value":{"entity-type":"item","numeric-id":3779786,"id":"Q3779786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055719$AFDFE395-9BF4-4B0B-A6C1-C84A30110BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e75a6853abcf72a160bb0d2054234b62f9bc154","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d6766ad8620a68944cfbc8cbd0796a8ca92275","datavalue":{"value":{"amount":"+0.8672934174537659","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":"Q5055719$852EE8AC-3ACD-42C2-8453-72C1CAC40A9F","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":"c04ade333353edf37eb49981c0b5628703fb1044","datavalue":{"value":{"amount":"+0.8400028347969055","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":"Q5055719$F198ED0F-273F-491B-935E-EC0A37F28DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21fc61e24bcf06d15b4561829985c06d7c6daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3833603,"id":"Q3833603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d47ad508ef46540ad936f3f5226798e1dda7f72","datavalue":{"value":{"amount":"+0.837892472743988","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":"Q5055719$DAA492E2-DFEA-45A7-B210-DFB5655B5C7C","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":"60eab531bd725826d4853b641c8164d0964f8130","datavalue":{"value":{"amount":"+0.8275279998779297","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":"Q5055719$192CDC8E-2BDC-4F35-BC7B-0FDD122126E6","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":"f698b12883cc7f9c6ea7f7c6b1b2bedff6400ce5","datavalue":{"value":{"amount":"+0.8235324025154114","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":"Q5055719$B24EEAF7-7116-45D9-82CE-02C81C2001F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055719"}}}}}