{"entities":{"Q3540124":{"pageid":5570028,"ns":120,"title":"Item:Q3540124","lastrevid":50499299,"modified":"2026-01-14T05:22:29Z","type":"item","id":"Q3540124","labels":{"en":{"language":"en","value":"Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369323"}},"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":"Q3540124$8A8EC54B-9327-4CA0-9A66-56285071C605","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af3e4fc58db338a1596ae4c00ed9a593cbcf27a","datavalue":{"value":{"text":"Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540124$8AEDBE8B-1CC5-4FE2-9D20-06C8EBF2A314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbcb39501153699400b8d301e02278da649d2f3e","datavalue":{"value":"1156.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$3906583E-95A3-4D80-9B04-670C60B0B553","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1686cb4ca9a03499badcc6fd4919e649d469a9cb","datavalue":{"value":"10.1007/978-3-540-88282-4_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$E5C95651-14B6-480D-8C0E-17EE1D8F74C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d01cd40f658dfc4c14561fe26e51c9f73d90414d","datavalue":{"value":{"entity-type":"item","numeric-id":1041043,"id":"Q1041043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$9BB521E2-9510-465B-BBA4-D4B9E4147259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$A40EFE69-5975-4B64-B0E3-5D79C1CB6B9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$1BAF13F8-4995-4030-9BBE-6331874BD1D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540124$5F3DD934-86D6-4947-8168-CAA1288F07AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$517669FE-1C6E-49F4-BF14-C6C3A1FD8C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$B30F9C2F-5234-493F-A81E-22859CCA6AE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825b97910070b262730746d4ed15621eac3e1058","datavalue":{"value":"5369323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$D3C4F5BB-6085-4DD8-8536-92D841BEEAA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$9594884B-AEAE-4420-9C8D-B18BA5AE6937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$BFD3C49D-14AE-4575-9170-987C2E8A312E","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":"Q3540124$D8947815-0B3F-433A-93D1-6B1E49410384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1aa63080d31fddbe55eebabb87a7a450946e8f0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88282-4_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540124$6B33A849-87BC-4EB4-9F5C-2B7EFE91B82C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2cbc5b15f121635ed6a885e12af7c644847ef13","datavalue":{"value":"W1489202196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540124$1C8BC018-410C-4C22-823B-F83B96C41905","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$BB6C5458-69CE-4AA6-B7AE-79C3E052BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$4614685D-54C1-4166-9BEB-6C006E7FF198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b72966a319699b998b4693b5e56bc40dadff2","datavalue":{"value":{"entity-type":"item","numeric-id":1762560,"id":"Q1762560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$C14D206B-F9EE-4C72-9750-F8403FEA00CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23a198d86e74d381b2b0e2d607bfe9a850df13","datavalue":{"value":{"entity-type":"item","numeric-id":851146,"id":"Q851146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$FE86D753-8430-43FF-B077-C65CEE54CDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ebe42065072c2651975ffd42ded54071b5d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$7B7C7ECF-5968-4CB1-BF8F-10C1DC2E5BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f56aec464de226bde780d4a3fdd179a2846aab","datavalue":{"value":{"entity-type":"item","numeric-id":876043,"id":"Q876043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$DEAEE9B9-FD79-4012-9439-7F7F812BA350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$70A57FC6-FF10-4374-B0D5-066A148848C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$AAFBA9CA-E6CB-4712-AF66-9743BCBFD41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$C0512CCE-0383-46F0-8396-600EAB61C832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$338DA772-A263-42F0-AB8A-E0F95E049EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$E307411B-C9DD-40DC-A03C-607E293FE04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bfe59ac33fd7ee64c9a6390c710f223368b9eb","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$2F77E9CB-3DDE-4640-9A9E-0441A9E0498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$B5D7745C-9D76-4B67-B88C-ADD59068531E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dd04201c59095126ace1b445dd17268a9523b","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$34264F25-1747-4C0E-A818-B6AEE647DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$75388912-372F-4500-81AF-963A4B3503B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540124$EBB00933-7B5E-4A86-A214-32D543D018BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80392d589cecfdcfc2f68b6fda0ce5e9d763801e","datavalue":{"value":{"entity-type":"item","numeric-id":1041044,"id":"Q1041044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47260f98774a9ae92c126eaeccbfa6e10e241201","datavalue":{"value":{"amount":"+0.8785437345504761","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":"Q3540124$53EDFC8E-E3CA-4CD7-B665-EACF1582A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe90a956af45dd03c0b634344f614870da428a6","datavalue":{"value":{"amount":"+0.8286032676696777","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":"Q3540124$E13E485E-C083-4654-B052-4CB088A31AF9","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":"c94af7fb1b293e216ee1e1d6a4e2e9919533c1d5","datavalue":{"value":{"amount":"+0.8263975977897644","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":"Q3540124$A8DB750A-1D6F-41AC-8B44-2622DCE26741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d357a17248700e96f15b6f18b457ffd2c58a1581","datavalue":{"value":{"amount":"+0.8177697062492371","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":"Q3540124$A64843F8-AD6E-4B4B-B607-E0E4577CCC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107c8a258b177f19d5bb8ab94aa37b0e0316ecf3","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbb9567e45dedcc5754ea0b5ef8f16649452003","datavalue":{"value":{"amount":"+0.8172122240066528","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":"Q3540124$2F43E218-C1F2-405F-B623-ED889E7448C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540124"}}}}}