{"entities":{"Q2351155":{"pageid":2361898,"ns":120,"title":"Item:Q2351155","lastrevid":72576150,"modified":"2026-04-14T05:51:26Z","type":"item","id":"Q2351155","labels":{"en":{"language":"en","value":"Analyzing innermost runtime complexity of term rewriting by dependency pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449022"}},"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":"Q2351155$1A21F2FD-C8E1-4A7D-A1C5-6C5C917323FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99aa658f350119145cdd2ab399bbd59b012de413","datavalue":{"value":{"text":"Analyzing innermost runtime complexity of term rewriting by dependency pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351155$4C440B6C-F580-4141-BF85-03A5AAA13744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aecae8cfa8063ea25aedfb343791c7f4675b7b7","datavalue":{"value":"1314.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$93F33A47-B246-4C99-A656-B96394A37415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f7b9fe831f256485e2d257e46c18a381d35f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2018658,"id":"Q2018658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$D94B3F49-EE92-4574-951D-6B93EF704666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46954e25e8dfa4734990921b382dc03a75dfa019","datavalue":{"value":{"entity-type":"item","numeric-id":2351154,"id":"Q2351154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$00DB4E14-5461-4C22-9ADF-E692AFC08C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$1C4AB2FA-CB69-4311-A867-297E083C3DC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$CA703CB8-0B9E-4D5D-905B-AA00AE4133D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351155$4658814A-295E-46DD-BE0A-BE77CA3F1431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$ED3A9C32-3624-4B69-8ABA-5C33A0F027E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$5E74DED4-80C9-40DE-8D30-CB9E0F57D8DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c682f104aed7044254a8ad4ea751f0f928830b","datavalue":{"value":"6449022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$415A4420-1424-45E4-B6F2-3D4F77AE0BAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351155$C90C5EF2-6F45-41AC-9A45-529E00428FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351155$B0BF528F-2125-4E5B-9610-FD84942BBA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351155$1065B475-6DC0-492C-8BF3-DE22D7974BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351155$23A514A4-4B73-4424-9A91-10F854D18222","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":"Q2351155$0C82F409-6DFC-4945-852E-BF3C1B19EA56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53ace103a7283ac84ff82ff21ae18b5be16d54a4","datavalue":{"value":"https://doi.org/10.1007/s10817-013-9277-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351155$F7E7B67F-27AA-4778-935A-25951E50310E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6652772f54b90035581856849e5b875280e07abd","datavalue":{"value":"W1996748114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$FE5E118D-2A2D-4140-B239-07BE74E38357","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":"Q2351155$2A442947-4A76-47DA-A765-CC85C0D3776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e1c918142f9392c9b21ef742a181e2292e75a3","datavalue":{"value":{"entity-type":"item","numeric-id":3541694,"id":"Q3541694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$F7FBA8A6-3093-4916-B08C-27E0CADCE4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be80e409fb0e17c158e3706b85a865036815a4af","datavalue":{"value":{"entity-type":"item","numeric-id":3636818,"id":"Q3636818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$CD694CFB-EDF2-4E55-AFC0-665F33A06952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737acf9bf173c321c793d79a81636cd0309cb615","datavalue":{"value":{"entity-type":"item","numeric-id":5389134,"id":"Q5389134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$E93E7120-2F6B-4627-8901-71F47804B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6276a9e5be6bf4a5ea90e174baaa3007d5c73db2","datavalue":{"value":{"entity-type":"item","numeric-id":3558343,"id":"Q3558343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$0BFC6E90-BBAE-462A-90B4-4E52AA08F3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$8AC77129-7AC2-4334-88F0-39C798BC48B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3806101ef2be47fd9dd3f1dc9f2f7f2a26cfccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2740985,"id":"Q2740985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$C5428503-0B62-4037-9A61-5F27E717C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b2835c4b72d10da17ff1c49743a76618a5fcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3077191,"id":"Q3077191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$864461A5-4336-4ABF-9176-B24581AD7934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$78FDE30C-8724-4E05-AD42-592591507EB9","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":"Q2351155$45805BAE-411C-4902-8474-51D9C26BDBCA","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":"Q2351155$BF61BA50-689A-4D39-B3FD-F7064B46BBF1","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":"Q2351155$BBB4D515-E0A3-43E5-BDF5-FE77A5B45085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a791bafa87b64c7841ed72d1adb7056b01fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5738964,"id":"Q5738964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$A60A784C-E084-4726-89D3-15E34906D723","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":"Q2351155$265A8661-A969-4382-BAF4-C0A6D44AFDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$1E39B837-563C-471A-B63C-2E9115986BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f63c396288a151c03316efc9421f4a1d3d29f82","datavalue":{"value":{"entity-type":"item","numeric-id":5505587,"id":"Q5505587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$291FD5D8-3E31-473A-B887-D74DDD27E2B8","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":"Q2351155$750B9BFB-1707-44D7-9C72-254540A0C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b123db3a4418e7e0b3c4a8923bc434312bc66f","datavalue":{"value":{"entity-type":"item","numeric-id":3165968,"id":"Q3165968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$86DCC7CD-1136-4942-84F5-B917B7821EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c47b803ae3417d59bdf5abe0462b8106abf537","datavalue":{"value":{"entity-type":"item","numeric-id":4933331,"id":"Q4933331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$E0ABD5FC-ECA8-4D5C-8155-70E0FA30F65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91181409afe43a0d20c546b914dc0d6d0c755687","datavalue":{"value":{"entity-type":"item","numeric-id":5200041,"id":"Q5200041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$7AB01D62-23B8-4F4A-AB26-93A713024B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$03846118-3612-4637-86EF-97D7B2D21B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23219815202c781951ef934ec25bf96b0ff01db","datavalue":{"value":{"entity-type":"item","numeric-id":5389155,"id":"Q5389155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$4C7C9184-5211-4C75-8AE2-8DE5FD4928B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657ad85f37f04b4d7dfc9abe82606843fc77cd97","datavalue":{"value":{"entity-type":"item","numeric-id":5389157,"id":"Q5389157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351155$FEBAD3C8-47AE-4FAE-B1BB-40428A5D84CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc2f62f27da80fa3dfe165d622a5e36cca193a15","datavalue":{"value":"10.1007/S10817-013-9277-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351155$DD7361EE-5E18-441D-9BD9-E503F71E64D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee2d46496b423dcc531760e8359592b39ead141","datavalue":{"value":{"entity-type":"item","numeric-id":5200041,"id":"Q5200041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961b4b5dd599492e6276daa1afa53c16cd6ab433","datavalue":{"value":{"amount":"+0.9707264304161072","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":"Q2351155$5EA7FED5-03D6-4FD5-95E3-8F86C49989AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7ba9574f939b0ea6f9abfcd9ee7057ffbba68e","datavalue":{"value":{"entity-type":"item","numeric-id":4645739,"id":"Q4645739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb1b66218114126836c6a85d0e0df2f9e9143a8","datavalue":{"value":{"amount":"+0.8711966276168823","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":"Q2351155$82F131E9-51B1-4747-8065-18FC6D977012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9646d11fe91101f538e5343c7d82a0e574a05af6","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec7d0bd095f86b8a7f713fc175bac92597d3f15","datavalue":{"value":{"amount":"+0.8633286952972412","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":"Q2351155$CD90EA0C-FED6-4BFE-BCF4-640959D61C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129504732a95b622055aa15d1df2d553e7bc39eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712adc9c54c20abf2fdbeaddb1ccb6ea2be57f31","datavalue":{"value":{"amount":"+0.8353850841522217","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":"Q2351155$1B2D477A-1E92-42F2-A91E-D0EB0D64D6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5d4e9310c9e82fdbba835c6f3dc6caa4fd3fa5","datavalue":{"value":{"entity-type":"item","numeric-id":276251,"id":"Q276251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cf8bf1015a09ada4372943046e8e08b74e9ea7","datavalue":{"value":{"amount":"+0.8263104557991028","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":"Q2351155$39C94354-C12E-4F47-AB98-E34474EC148A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyzing innermost runtime complexity of term rewriting by dependency pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analyzing_innermost_runtime_complexity_of_term_rewriting_by_dependency_pairs"}}}}}