{"entities":{"Q5055854":{"pageid":7085431,"ns":120,"title":"Item:Q5055854","lastrevid":47786035,"modified":"2026-01-02T16:51:33Z","type":"item","id":"Q5055854","labels":{"en":{"language":"en","value":"On proving termination by innermost termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631285"}},"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":"Q5055854$A02DAE9E-1028-4BF7-B04F-4213005104A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad00638d55f72275cce26698a0c816e1d0f76ea7","datavalue":{"value":{"text":"On proving termination by innermost termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055854$7926CB3F-8B08-4626-920F-03B0CDF0A800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"609b0937da1bef0a5a665b50d332238b24455296","datavalue":{"value":"1503.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055854$DCAA9DA7-CB13-4DAD-A7E4-D3B08E476BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b5cbbcc0f1afa13ef8bfe234d9bf8d60e55aabf","datavalue":{"value":"10.1007/3-540-61464-8_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055854$E6035F21-B0FA-4E1B-AE02-3F3D296346B8","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":"Q5055854$7D78A032-3776-4EEE-B2E0-CEA121F51B14","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":"Q5055854$EF92DA9A-D73C-4C76-BE2F-D5320B3CD3B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055854$2E4AF6A8-D0BE-436D-8BFE-D3634BA48E38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0e1be320946c371569b57b1f50d707f672076a","datavalue":{"value":"7631285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055854$E073E294-076C-49A1-B431-CBA4C67A001B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$470F0E54-BDF9-4AA6-9B62-CCBD0CB11590","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":"Q5055854$3DA3131A-85E5-4EB5-8E44-95AB59B3BA1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cb33ca221a25da4737193bda32e2a138c5cc4ec","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055854$7347F8DA-3274-4899-966E-DCC2BCF57E8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36a383c53d734fa87bf5c0362ef0ed0db1b7e532","datavalue":{"value":"W1586360976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055854$083EB7E6-3D2C-4776-ADBA-56F800E87B54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95f5b098103aa998ab86838a951ca6d74163b57","datavalue":{"value":{"entity-type":"item","numeric-id":673622,"id":"Q673622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$D8B5521B-E952-4BDE-8BDD-F8F66C521BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$C3F4521F-1EAB-420A-BD1C-FF3021FC6EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$B7C2A148-821F-4270-AF98-5F23286CBC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ef8f388116976512253337c80575b33d068723","datavalue":{"value":{"entity-type":"item","numeric-id":671506,"id":"Q671506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$1A90CFFA-55C5-4F9E-AA78-9410A1222301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$2206F55D-A102-424D-83F3-A7E6D264C960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ad2abfc6cc3ebb890b3b52507b9f0b3bd707ef","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$05EBDD96-E217-47A0-B614-5BD3B0C362ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$A934D683-EDF0-466C-AA44-75A56A4F62E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$1E04800B-A5DC-4B23-A999-740C06320818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$ACD96135-734A-43FC-88F9-B4F4547A0E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f24c9f0634a3b40f1d86c3af8f38a5977fa8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$092928FA-35B9-4847-8F1D-C1F7243CCCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa1cf0911fb9fcf67e7394b6e2ed936887b2f37","datavalue":{"value":{"entity-type":"item","numeric-id":672714,"id":"Q672714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$D0576698-0A6D-482F-A46E-EC34A83750E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$C71853D1-A330-4981-A285-798CA84A6E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13b8b47957d5cbd2ccc811d6a3ea0ab1cb966a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055854$4E0D76BF-3C67-4423-B2B3-1DC55AA8359A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ce6e760bcdaa64c447f67483804e3b86dd0152","datavalue":{"value":{"amount":"+0.8289435505867004","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":"Q5055854$FA030374-F26E-44B4-B5EB-A5B67CCEFFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9b572038c4da4bc0eb0447c1ae105fee8e62fa","datavalue":{"value":{"entity-type":"item","numeric-id":3522030,"id":"Q3522030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ce6e760bcdaa64c447f67483804e3b86dd0152","datavalue":{"value":{"amount":"+0.8289435505867004","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":"Q5055854$8D52F2AB-8B4F-480A-9D28-DD9B842B5D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a8dc981232d4c5a7f37cd382e43325a16e2a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5703854,"id":"Q5703854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897ea460516d1a6958440cae8ed7b3810d46296c","datavalue":{"value":{"amount":"+0.8165486454963684","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":"Q5055854$9A7E448E-5FE1-4E1A-899D-C3D1121A9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12ac8702419fbdeab8632dd5fcabab73ff862ce","datavalue":{"value":{"amount":"+0.8161064982414246","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":"Q5055854$B6745236-43D8-4632-BDE6-859DAAAFB74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb68cb26f1a3f9ef65b73a2df500bee594ac43d","datavalue":{"value":{"amount":"+0.8158493041992188","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":"Q5055854$1EE7B50C-A379-425C-969F-990DDFEC42DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055854"}}}}}