{"entities":{"Q1200982":{"pageid":1211731,"ns":120,"title":"Item:Q1200982","lastrevid":42941984,"modified":"2025-07-16T06:06:32Z","type":"item","id":"Q1200982","labels":{"en":{"language":"en","value":"Termination proofs by multiset path orderings imply primitive recursive derivation lengths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96005"}},"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":"Q1200982$C2565D3F-6349-49FD-AD5F-B4134D1F2C8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"704ad3e1fa26f4bd33c8bc9230c405f324066cd0","datavalue":{"value":{"text":"Termination proofs by multiset path orderings imply primitive recursive derivation lengths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200982$CC7833A0-8268-423D-8DD9-11301E36EA84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b0756d3ef0aa0bfe149900839f285f1ac5fe1e","datavalue":{"value":"0759.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200982$42F7A9EE-0C42-43E3-BB49-4F8696769223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ecd3a4207bce74d419801cc4bc78bb1d5b43d0c","datavalue":{"value":"10.1016/0304-3975(92)90289-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200982$F4888906-4AB9-4762-BD99-A5818608BE11","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":"Q1200982$C095817C-FD27-4180-ACF1-DDCCA14ACA89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$8D4CCCFF-D788-4652-BC9F-6189BDBD9605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1200982$182D3720-546E-4336-B091-FD7E90B101C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08a59cabb8dff8814d7072a3415e79c750fec2a8","datavalue":{"value":"It is shown that a termination proof for a term rewriting system using multiset path orderings (i.e. recursive path orderings with multiset status only) yields a primitive recursive bound on the length of derivations, measured in the size of the starting term, confirming a conjecture of \\textit{D. Plaisted} [A recursively defined ordering for proving termination of term rewriting systems, Report UIUCDCS-R-78-943, University of Illinois, Urbana, IL (1978)]. The result is essentially optimal as such derivation lengths can be found in each level of the Grzegorczyk hierarchy, even for string rewriting systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200982$68DE6AC4-979E-4A4C-ACCB-64450FDDA67A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200982$224F17C7-D505-4021-AFE6-6E0890368B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a13dc7cd119050cc4107bcee4215d753e894769","datavalue":{"value":"96005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200982$563EF954-E101-431D-889F-35C1D3091FF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200982$912688EC-207B-4977-A891-59E6FD421E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200982$86D2937A-563A-4B5F-A263-903A5215AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8591f1b59b923fe6a209a9a51d8e1b3ecd7da579","datavalue":{"value":"multiset path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200982$6AC35C4A-1940-4C15-AEF0-37B97336E630","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":"Q1200982$9C2BCF5F-E161-423D-BA7B-46767D4366B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477c95b36c3b114f8ee0eff92c86db1f1dd27c9","datavalue":{"value":{"entity-type":"item","numeric-id":1187648,"id":"Q1187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$63091D8B-1F3B-4AA2-B392-08D6A9A55AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$B269E38D-4ACD-425F-A469-113F9E09F74C","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":"Q1200982$6051597D-EA28-416B-9F4E-C8E3489E88DC","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":"Q1200982$AC742DE9-B5E1-4AE5-B4E2-E53999BE2107","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":"Q1200982$1EF7FB0C-219A-4FD1-9936-88D4B89CF5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$39CBECAF-8329-494B-9047-BCA4E7904324","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":"Q1200982$03D58F04-9838-4759-9F1F-394A4BD3362E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$504E5FA3-4F92-4D07-A7DF-00E8CC48393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108976005e438ca70f7496d07e6faca25fa804e7","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$50C90C14-38AB-488E-9AB7-B9C6302F6A99","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":"Q1200982$C7CFC0C6-2548-4551-ABEE-98AAD93C4569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$D1E0EE65-B3A1-453D-A705-E0AEFF8ECD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec90514b3ee51c6aeaedd6a27b942e28206d994","datavalue":{"value":{"entity-type":"item","numeric-id":1099655,"id":"Q1099655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200982$8D5616AB-484D-4C57-B36B-3F6301FDD285","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":"Q1200982$364DB85E-E69B-4B38-8CB1-F127582E1757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3928cb0c6dc3d36c83e5ca7372468c1fb1aa30d2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90289-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200982$66DE9AFF-C1DC-4BB2-A8B1-07E079075B4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff83f3de040ebed0ae9c23b1635696f714ae3de5","datavalue":{"value":"W1489374747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200982$E508CC24-412B-4F3E-B2FA-3BF7503EE40B","rank":"normal"}],"P1643":[{"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":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$8CAF5E29-45B0-4D62-B646-5A463B1393EF","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":"7c80db7b1a7664901d9b5963ad2a6fcbc5485788","datavalue":{"value":{"amount":"+0.9289291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$B75FD03A-60B1-4BB8-96FE-8C91B2F29CA2","rank":"normal"},{"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":"d2546a42b4c813d39c8cb1f9c620ea739401d315","datavalue":{"value":{"amount":"+0.90024006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$934A00A5-843E-42E1-989C-14499EBF1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cd1a497e9d5bd1ff971781bbed7782a9278c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7273558938110637be965e1789c5c0098ce3c4c","datavalue":{"value":{"amount":"+0.8878683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$36AED061-6DDC-45E5-8FB7-20A6629D3B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0957955259f03a55827104a1f8b6247fa0afed34","datavalue":{"value":{"entity-type":"item","numeric-id":5055748,"id":"Q5055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e33b9b82fc154eba18e367b14313f959d49635d","datavalue":{"value":{"amount":"+0.87925637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$271DD1DE-BD2E-493F-9E62-7A7678C6C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb9353ebde6b94a8df99237fed92a72f2004b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d289db96ff2cb8b8b357445fe6e7c1d3e395e29","datavalue":{"value":{"amount":"+0.87442154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$668B1B31-21A7-4C95-9C6D-95E994A126B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52fcf596c33d4e72bc1403e5baa80b48a7c6fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5389084,"id":"Q5389084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2610283dcb51b02ecb5e115ca2504c16c6da7ed3","datavalue":{"value":{"amount":"+0.8699566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$5656D372-6B08-4226-A227-01AE17E9AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf00d78dba38081d710d62187402849bdd55995","datavalue":{"value":{"entity-type":"item","numeric-id":3024845,"id":"Q3024845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fcc01adbdb7fb9ca7f23fa78c84c5003f3913c","datavalue":{"value":{"amount":"+0.86527604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$361E4D40-F2F4-4F0A-8F2D-037C13B07E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca30068b2aa0eaf69bd4bd1d7021afb92925a22","datavalue":{"value":{"entity-type":"item","numeric-id":857884,"id":"Q857884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17640250f71f3e0a15bef67effaf36641eec3cff","datavalue":{"value":{"amount":"+0.857412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$74636201-B436-4C03-82AD-E8DA1D5D5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3cf8c5d48fe0550acfd82378ab273d76d810a","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ee9745231132d66eb2d8f3dfc945d833a8b5a9","datavalue":{"value":{"amount":"+0.85654664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1200982$F3619DC0-24D3-4D36-8302-0BF10826E15D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1200982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1200982"}}}}}